Programming Deadlock
الذهاب إلى القناة على Telegram
Channel about programming: C, C++, Rust, Zig, Go, Type Theory, Compilers, Threading, Distributed Systems and more...
إظهار المزيد1 868
المشتركون
+124 ساعات
+77 أيام
+3730 أيام
أرشيف المشاركات
1 869
ShareJIT: JIT code cache sharing across processes and its practical implementation
https://dl.acm.org/doi/10.1145/32764941 869
How to wrap a C compiler and preprocessor
https://www.humprog.org/~stephen/blog/2024/08/27/#how-to-wrap-cc-really
1 869
Understanding the Y Combinator
https://8dcc.github.io/programming/understanding-y-combinator.html
1 869
Modern multicore and manycore architectures: Modelling, optimisation and benchmarking a multiblock CFD code
https://www.sciencedirect.com/science/article/pii/S00104655163009591 869
Computed goto for efficient dispatch tables
https://eli.thegreenplace.net/2012/07/12/computed-goto-for-efficient-dispatch-tables
1 869
Wedson Almeida Filho: Retiring from the Rust for Linux Project
https://lore.kernel.org/lkml/20240828211117.9422-1-wedsonaf@gmail.com/1 869
Notes on Distributed Systems for Young Bloods
https://www.somethingsimilar.com/2013/01/14/notes-on-distributed-systems-for-young-bloods/
1 869
Turing-Completeness Totally Free
https://personal.cis.strath.ac.uk/conor.mcbride/TotallyFree.pdf
1 869
Logic and Computation Intertwined : Prepares one for Agda or Coq by constructing a small proof assistant (Proust) in Racket
https://cs.uwaterloo.ca/~plragde/flaneries/LACI/1 869
granule: A statically-typed linear functional language with graded modal types for fine-grained program reasoning
https://github.com/granule-project/granule1 869
Ad Astra is a configurable scripting language platform designed for embedding in Rust applications
https://github.com/Eliah-Lakhin/ad-astra
1 869
Turnstyle is a graphical esoteric programming language based on lambda calculus
https://jaspervdj.be/turnstyle/
