Programming Deadlock
رفتن به کانال در Telegram
Channel about programming: C, C++, Rust, Zig, Go, Type Theory, Compilers, Threading, Distributed Systems and more...
نمایش بیشتر1 792
مشترکین
+124 ساعت
+107 روز
+4330 روز
آرشیو پست ها
1 790
Understanding the Y Combinator
https://8dcc.github.io/programming/understanding-y-combinator.html
1 790
Modern multicore and manycore architectures: Modelling, optimisation and benchmarking a multiblock CFD code
https://www.sciencedirect.com/science/article/pii/S00104655163009591 790
Computed goto for efficient dispatch tables
https://eli.thegreenplace.net/2012/07/12/computed-goto-for-efficient-dispatch-tables
1 790
Wedson Almeida Filho: Retiring from the Rust for Linux Project
https://lore.kernel.org/lkml/20240828211117.9422-1-wedsonaf@gmail.com/1 790
Notes on Distributed Systems for Young Bloods
https://www.somethingsimilar.com/2013/01/14/notes-on-distributed-systems-for-young-bloods/
1 790
Turing-Completeness Totally Free
https://personal.cis.strath.ac.uk/conor.mcbride/TotallyFree.pdf
1 790
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 790
granule: A statically-typed linear functional language with graded modal types for fine-grained program reasoning
https://github.com/granule-project/granule1 790
Ad Astra is a configurable scripting language platform designed for embedding in Rust applications
https://github.com/Eliah-Lakhin/ad-astra
1 790
Turnstyle is a graphical esoteric programming language based on lambda calculus
https://jaspervdj.be/turnstyle/
1 790
How OCaml type checker works -- or what polymorphism and garbage collection have in common
https://okmij.org/ftp/ML/generalization.html
1 790
Better Firmware with LLVM/Clang
https://interrupt.memfault.com/blog/arm-cortexm-with-llvm-clang
1 790
Delimited continuations in operating systems
https://okmij.org/ftp/continuations/ZFS/context-OS.pdf
