Programming Deadlock
الذهاب إلى القناة على Telegram
Channel about programming: C, C++, Rust, Zig, Go, Type Theory, Compilers, Threading, Distributed Systems and more...
إظهار المزيد1 869
المشتركون
+124 ساعات
+77 أيام
+3730 أيام
أرشيف المشاركات
1 870
Fixing a Bug in PyPy's Incremental GC
https://www.pypy.org/posts/2024/03/fixing-bug-incremental-gc.html
1 870
Garbage Collection for Systems Programmers
https://bitbashing.io/gc-for-systems-programmers.html
1 870
CONS Should not CONS its Arguments, or, a Lazy Alloc is a Smart Alloc
https://www.cs.tufts.edu/~nr/cs257/archive/henry-baker/cons-lazy-alloc.pdf
1 870
About the efficient reduction of lambda terms
Andrea Asperti
https://arxiv.org/pdf/1701.04240v1.pdf
1 870
Build systems a la carte: theory and practice
https://simon.peytonjones.org/build-systems-a-la-carte-theory-and-practice/
1 870
Experimental undelimited continuations in C via x86-64 assembly
https://github.com/cslarsen/callcc-c/blob/master/callcc.c
1 870
Reflection and Metaprogramming in Smalltalk
https://m-sp.org/downloads/titech_programming_langauge_design.pdf
1 870
Abstract interpretation: A semantics-based tool for program analysis
https://www.researchgate.net/publication/234803097_Abstract_interpretation_A_semantics-based_tool_for_program_analysis
1 870
Dependently typed programming with singletons
https://repository.brynmawr.edu/cgi/viewcontent.cgi?article=1009&context=compsci_pubs
1 870
Tagless-final embedding of (a subset of) C in OCaml
https://okmij.org/ftp/meta-programming/tutorial/genc.html#tf
1 870
What Cannot be Skipped About the Skiplist: A Survey of Skiplists and Their Applications in Big Data Systems
https://arxiv.org/abs/2403.04582v2
1 870
Asynchronous Probabilistic Couplings in Higher-Order Separation Logic
https://arxiv.org/abs/2301.10061v3
