Programming Deadlock

Kanalga Telegram’da o‘tish

Channel about programming: C, C++, Rust, Zig, Go, Type Theory, Compilers, Threading, Distributed Systems and more...

Ko'proq ko'rsatish

AQSH11 803 Texnologiyalar & Aralashmalar34 211

1 685

Obunachilar

-424 soatlar

+77 kunlar

+3530 kunlar

1 163

Post ko'rishlar

~ 33724 soatlar

~ 39048 soatlar

69.14%

Muloqot nisbati

Ma'lumot yo'q

Kuniga postlar

Ads index

beta

Postlar arxiv

1 685

Kernel optimization with BOLT https://lwn.net/Articles/993828/

1 685

A Fast WebAssembly Interpreter design in WASM-Micro-Runtime https://www.intel.com/content/www/us/en/developer/articles/technical/webassembly-interpreter-design-wasm-micro-runtime.html

1 685

Lesser known tricks, quirks and features of C https://jorenar.com/blog/less-known-c

1 685

Comprehensive C Archive Network https://ccodearchive.net/

1 685

Zero-size Reallocations are Undefined Behavior

1 685

Chad Strings - The Chad way to handle strings in C. https://github.com/skullchap/chadstr

1 685

Symbol Versions in NetBSD Libraries https://wiki.netbsd.org/symbol_versions/

1 685

Total Type Error Localization and Recovery with Holes

1 685

Build Systems à la Carte

1 685

Prismatic Category Theory https://golem.ph.utexas.edu/category/2024/08/prismatic_category_theory.html

1 685

Proof of the geometric Langlands conjecture https://people.mpim-bonn.mpg.de/gaitsgde/GLC/

1 685

On Deciding Typing in Bidirectional Martin-Löf Type Theory https://types2024.itu.dk/slides/S3/TYPES2023-Lennon-Bertrand-Krishnaswami.pdf

1 685

Lessons learned from a successful Rust rewrite https://gaultier.github.io/blog/lessons_learned_from_a_successful_rust_rewrite.html

1 685

Nobody needs equations https://arxiv.org/pdf/2410.19976

1 685

Minotaur: A SIMD-Oriented Synthesizing Superoptimizer

1 685

SELinux bypasses https://klecko.github.io/posts/selinux-bypasses/

1 685

A deep dive into Linux’s new mseal syscall https://blog.trailofbits.com/2024/10/25/a-deep-dive-into-linuxs-new-mseal-syscall/

1 685

Category Theory Illustrated https://abuseofnotation.github.io/category-theory-illustrated/05_logic/

1 685

Checking Polynomial Time Complexity with Types https://link.springer.com/chapter/10.1007/978-0-387-35608-2_31

1 685

Computability and Complexity: From a Programming Perspective http://hjemmesider.diku.dk/~neil/comp2book2007/book-whole.pdf