现已上线！2025 年 Telegram 研究 — 年度关键洞察 
Programming Deadlock
前往频道在 Telegram
Channel about programming: C, C++, Rust, Zig, Go, Type Theory, Compilers, Threading, Distributed Systems and more...
显示更多1 682
订阅者
-124 小时
+127 天
+4330 天
帖子存档
1 683
Things Zig comptime Won’t Do
https://matklad.github.io/2025/04/19/things-zig-comptime-wont-do.html
1 683
GCC 16 Adding Support For GNU/Hurd On RISC-V Targets
https://www.phoronix.com/news/GCC-16-RISC-V-GNU-Hurd-Targets
1 683
Mathematics for Computer Science
https://courses.csail.mit.edu/6.042/spring18/mcs.pdf
1 683
Program Analysis with Interpolants
https://www.georg.weissenbacher.science/papers/dissertation.pdf
1 683
Hacktical C: A practical hacker's guide to the C programming language
https://github.com/codr7/hacktical-c1 683
Learning Assembly for Fun, Performance and Profit
https://thechipletter.substack.com/p/learning-assembly-for-fun-and-profit
1 683
An Introduction to Modern CMake
https://cliutils.gitlab.io/modern-cmake/README.html
1 683
Don’t use a coverage-guided fuzzer on an uninstrumented binary
https://alexdowad.github.io/dont-fuzz-uninstrumented-binary/
1 683
Mixin’ Up the ML Module System
https://people.mpi-sws.org/~rossberg/papers/Rossberg,%20Dreyer%20-%20Mixin%27%20Up%20the%20ML%20Module%20System.pdf
1 683
My Own Private Binary: An Idiosyncratic Introduction to Linux Kernel Modules
https://www.muppetlabs.com/~breadbox/txt/mopb.html
1 683
How OCaml type checker works -- or what polymorphism and garbage collection have in common
https://okmij.org/ftp/ML/generalization.html
1 683
Against essential and accidental complexity
https://danluu.com/essential-complexity/
1 683
Infinite λ-calculus and non-sensible models
http://people.dm.unipi.it/berardu/Art/1996Nonsensible/non-sensible.pdf
1 683
Understanding Machine Learning: From Theory to Algorithms
https://www.cs.huji.ac.il/~shais/UnderstandingMachineLearning/understanding-machine-learning-theory-algorithms.pdf
1 683
Follow the Denotation
https://reasonablypolymorphic.com/blog/follow-the-denotation/
1 683
Denotational design with type class morphisms (extended version)
http://conal.net/papers/type-class-morphisms/type-class-morphisms-long.pdf
1 683
Sell yourself, Sell Your Work
https://www.solipsys.co.uk/new/SellYourselfSellYourWork.html
1 683
Abelian sandpile model (ASM): Encoding turing completeness on a sand castel
https://en.m.wikipedia.org/wiki/Abelian_sandpile_model