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