ru
Feedback
Programming Deadlock

Programming Deadlock

Открыть в Telegram

Channel about programming: C, C++, Rust, Zig, Go, Type Theory, Compilers, Threading, Distributed Systems and more...

Больше
1 683
Подписчики
-424 часа
+77 дней
+3530 день
Архив постов
Machine-Assisted Proof

On Ada's Dependent Types, and its Types as a Whole https://nytpu.com/gemlog/2024-12-27

11-ghuloum.pdf

Hefty Algebras: Modular Elaboration of Higher-Order Algebraic Effects https://casperbp.net/store/hefty-algebras.pdf

2004-01-30-CGO-LLVM.pdf

My failed attempt at AGI on the Tokio Runtime https://www.christo.sh/building-agi-on-the-tokio-runtime/

Collection of insane and fun facts about SQLite https://avi.im/blag/2024/sqlite-facts

An unofficial guide to the Rust ecosystem https://blessed.rs/crates

Recursive Programming - Dijkstra (1960)

Compiling C to Safe Rust, Formalized https://arxiv.org/pdf/2412.15042

Parsing millions of URLs per second (C++) https://onlinelibrary.wiley.com/doi/10.1002/spe.3296

The Simple Essence of Algebraic Subtyping: Principal Type Inference with Subtyping Made Easy (Functional Pearl) https://dl.acm.org/doi/pdf/10.1145/3409006

Interactive Programs in Dependent Type Theory https://csetzer.github.io/articles/ioconf.pdf

Clay: a flex-box style UI auto layout library in C, with declarative syntax and microsecond performance https://www.nicbarker.com/clay

Microsoft Research Detours Package https://github.com/microsoft/Detours