متاح الآن! بحث تيليغرام 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
