Programming Deadlock
Open in Telegram
Channel about programming: C, C++, Rust, Zig, Go, Type Theory, Compilers, Threading, Distributed Systems and more...
Show more1 800
Subscribers
+524 hours
+97 days
+5030 days
Posts Archive
1 800
I've spent way too much time creating benchmarks of C++ hashmaps
https://martin.ankerl.com/2022/08/27/hashmap-bench-01/
1 800
C++26 is done! - Trip report: March 2026 ISO C++ standards meeting
https://herbsutter.com/2026/03/29/c26-is-done-trip-report-march-2026-iso-c-standards-meeting-london-croydon-uk/
1 800
What Category Theory Teaches Us About DataFrames
https://mchav.github.io/what-category-theory-teaches-us-about-dataframes/
1 800
Abstraction and Computation
https://scispace.com/pdf/abstraction-and-computation-type-theory-algebraic-structures-3ttu401nkv.pdf
1 800
Abstract Interpretation, Symbolic Execution and Constraints
https://drops.dagstuhl.de/storage/01oasics/oasics-vol086-gabbriellis-festschrift/OASIcs.Gabbrielli.7/OASIcs.Gabbrielli.7.pdf
1 800
FORCE: A Fast and Easy-To-Implement Variable-Ordering Heuristic
https://dl.acm.org/doi/pdf/10.1145/764808.764839
1 800
babble: Learning Better Abstractions with E-Graphs and Anti-unification
https://dl.acm.org/doi/epdf/10.1145/3571207
1 800
Game Theory Analysis of Strategic Choicesin Programming Education and AI-AssistedDevelopment.pdf
1 800
How to Choose Between Hindley-Milner and Bidirectional Typing
https://thunderseethe.dev/posts/how-to-choose-between-hm-and-bidir/
