现已上线！2025 年 Telegram 研究 — 年度关键洞察 
Programming Deadlock
前往频道在 Telegram
Channel about programming: C, C++, Rust, Zig, Go, Type Theory, Compilers, Threading, Distributed Systems and more...
显示更多1 685
订阅者
-424 小时
+77 天
+3530 天
帖子存档
1 684
Turing-Completeness Totally Free
https://personal.cis.strath.ac.uk/conor.mcbride/TotallyFree.pdf
1 684
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 684
granule: A statically-typed linear functional language with graded modal types for fine-grained program reasoning
https://github.com/granule-project/granule1 684
Ad Astra is a configurable scripting language platform designed for embedding in Rust applications
https://github.com/Eliah-Lakhin/ad-astra
1 684
An Introduction to Categorical Proof Theory
https://arxiv.org/pdf/2408.09488
1 684
Turnstyle is a graphical esoteric programming language based on lambda calculus
https://jaspervdj.be/turnstyle/
1 684
How OCaml type checker works -- or what polymorphism and garbage collection have in common
https://okmij.org/ftp/ML/generalization.html
1 684
Better Firmware with LLVM/Clang
https://interrupt.memfault.com/blog/arm-cortexm-with-llvm-clang
1 684
Delimited continuations in operating systems
https://okmij.org/ftp/continuations/ZFS/context-OS.pdf
1 684
Isometric Projection in Game Development
https://pikuma.com/blog/isometric-projection-in-games
1 684
An experimental proof assistant based on a type theory for synthetic ∞-categories.
https://github.com/rzk-lang/rzk
1 684
ML Module Mania: A Type-Safe, Separately Compiled, Extensible Interpreter
https://www.cs.tufts.edu/~nr/pubs/maniaws.pdf
1 684
Parallel programming facilities in OCaml
https://ocaml.org/manual/5.2/parallelism.html
1 684
Type-Safe Modular Hash-Consing
https://usr.lmf.cnrs.fr/~jcf/ftp/publis/hash-consing2.pdf
1 684
SSA is Functional Programming
https://dl.acm.org/doi/pdf/10.1145/278283.278285
