Уже доступно! Исследование Telegram 2025 — ключевые инсайты года 
Programming Deadlock
Открыть в Telegram
Channel about programming: C, C++, Rust, Zig, Go, Type Theory, Compilers, Threading, Distributed Systems and more...
Больше1 682
Подписчики
-124 часа
+127 дней
+4330 день
Архив постов
1 682
Category Theory for Programmers
https://bartoszmilewski.com/2014/10/28/category-theory-for-programmers-the-preface/
1 682
A Fast, Growable Array With Stable Pointers in C
https://danielchasehooper.com/posts/segment_array/
1 682
A Simplification of Girard's Paradox
https://www.cs.cmu.edu/afs/cs.cmu.edu/Web/People/kw/scans/hurkens95tlca.pdf
1 682
A Minimalistic Verified Bootstrapped Compiler
https://popl21.sigplan.org/details/CPP-2021/6/A-Minimalistic-Verified-Bootstrapped-Compiler-Proof-Pearl-
1 682
RefinedC: Automating the Foundational Verification of C Code with Refined Ownership Types
https://plv.mpi-sws.org/refinedc/1 682
Synthesis of Heap-Manipulating Programs from Separation Logic
https://gopiandcode.uk/logs/log-certified-synthesis.html
1 682
Resizable structs in Zig
https://tristanpemble.com/resizable-structs-in-zig/
1 682
Checking Polynomial Time Complexity With Types
https://rd.springer.com/content/pdf/10.1007/978-0-387-35608-2_31.pdf
1 682
Engineering for Slow Internet
https://brr.fyi/posts/engineering-for-slow-internet
1 682
Ryan Fleury – Cracking the Code: Realtime Debugger Visualization Architecture – BSC 2025
https://youtu.be/_9_bK_WjuYY?si=Me3aMV7c2jI4F0x4
1 682
A Whirlwind Tutorial on Creating Really Teensy ELF Executables for Linux
http://www.muppetlabs.com/~breadbox/software/tiny/teensy.html
1 682
Case study of over-engineered C++ code (Reimplementing C++ in Object Oriented C)
https://blog.kowalczyk.info/a-aiow/case-study-of-over-engineered-c-code.html
