Programming Deadlock
Open in Telegram
Channel about programming: C, C++, Rust, Zig, Go, Type Theory, Compilers, Threading, Distributed Systems and more...
Show more1 869
Subscribers
+124 hours
+77 days
+3730 days
Posts Archive
1 869
Common Misconceptions about Compilers
https://sbaziotis.com/compilers/common-misconceptions-about-compilers.html
1 869
Common Compiler Optimisations are Invalid in the C11 Memory Model and what we can do about it
1 869
Free Monads, Intrinsic Scoping, and Higher-Order Preunification
https://arxiv.org/pdf/2204.05653
1 869
Curiously Cumbersome Rust: Type-level Programming
https://geo-ant.github.io/blog/2023/rust-type-level-programming/1 869
Tail recursion for macros in C
https://gustedt.wordpress.com/2024/07/19/tail-recursion-for-macros-in-c/
1 869
Making memcpy(NULL, NULL, 0) well-defined
https://developers.redhat.com/articles/2024/12/11/making-memcpynull-null-0-well-defined#compiler_builtins
1 869
Loop-checking and the uniform word problem for join-semilattices with an inflationary endomorphism
https://www.sciencedirect.com/science/article/pii/S0304397522000317
1 869
The 70% problem: Hard truths about AI-assisted coding
https://addyo.substack.com/p/the-70-problem-hard-truths-about1 869
This equation will change how you see the world (the logistic map)
https://youtu.be/ovJcsL7vyrk?si=XuE-Rdd8qgD8g14I
1 869
Deriving Dependently-Typed OOP from First Principles
https://dl.acm.org/doi/pdf/10.1145/3649846
1 869
Modular Polymorphic Defunctionalization
https://pdfs.semanticscholar.org/4035/76fd488b34418bccd446b7abaee80f4176f5.pdf
1 869
Defunctionalization at Work
https://www.cs.cornell.edu/courses/cs6110/2012sp/Defunctionalization-at-work-Danvy.pdf
