现已上线！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 685
A Brief History of Microprogramming
https://people.computing.clemson.edu/~mark/uprog.html
1 685
Safety Goggles for Alchemists
https://jack.wrenn.fyi/blog/safety-goggles-for-alchemists/
1 685
Code Generation in Rust vs C++26
https://brevzin.github.io/c++/2024/09/30/annotations/
1 685
Advanced C: The UB and optimizations that trick good programmers
https://youtu.be/w3_e9vZj7D8?si=YqdjSq6JpzIIvFwc1 685
Cello: A Fat Pointer Library
https://libcello.org/learn/a-fat-pointer-library1 685
Total Denotational Semantics
https://fixpt.de/blog/2024-09-23-total-denotational-semantics.html
1 685
What Vale Taught Me About Linear Types, Borrowing, and Memory Safety
https://verdagon.dev/blog/linear-types-borrowing
1 685
Dependent Types in ATS
https://bluishcoder.co.nz/2010/09/01/dependent-types-in-ats.html
1 685
LMAX Disruptor: High performance alternative to bounded queues for exchanging data between concurrent threads
https://lmax-exchange.github.io/disruptor/disruptor.html1 685
Applied Mathematical Programming by Bradley, Hax, and Magnanti (Addison-Wesley, 1977)
https://web.mit.edu/15.053/www/AMP.htm
1 685
Tagged Union Subsets with Comptime in Zig
https://mitchellh.com/writing/zig-comptime-tagged-union-subset
1 685
Structural Refinement Types
https://dl.acm.org/doi/pdf/10.1145/3546196.3550163
1 685
Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism
https://arxiv.org/pdf/1306.6032
1 685
Maximizing Limited Resources: a Limit-Based Study and Taxonomy
of Out-of-Order Commit