Available now! Telegram Research 2025 — the year's key insights 
Programming Deadlock
Open in Telegram
Channel about programming: C, C++, Rust, Zig, Go, Type Theory, Compilers, Threading, Distributed Systems and more...
Show more1 686
Subscribers
No data24 hours
+67 days
+3330 days
Posts Archive
1 686
Solving the mystery behind Abstract Algorithm’s magical optimizations
https://medium.com/@maiavictor/solving-the-mystery-behind-abstract-algorithms-magical-optimizations-144225164b07
1 686
CLOS: Integrating Object-Oriented and Functional Programming
https://dreamsongs.com/Files/clos-cacm.pdf
1 686
Introduction to Information Geometry
https://www.robots.ox.ac.uk/~lsgs/posts/2019-09-27-info-geom.html
1 686
Abelian sandpiles in three or more dimensions can be used to simulate a Turing machine and are therefore Turing complete
https://en.m.wikipedia.org/wiki/Abelian_sandpile_model
1 686
All about Sanitizer Interceptors
https://maskray.me/blog/2023-01-08-all-about-sanitizer-interceptors
1 686
Putting the “You” in CPU: a rabbit hole into how your computer runs programs
https://cpu.land/1 686
RISC-V: Origins and Architecture
https://thechipletter.substack.com/p/risc-v-part-1-origins-and-architecture1 686
CS 378, Symbolic Programming
https://www.cs.utexas.edu/users/novak/cs378.pdf
1 686
C++ vs Rust Move Semantics Efficiency Comparison
https://arewestackefficientyet.com/
1 686
CrossHair: Analysis tool for Python that blurs the line between testing and type systems
https://github.com/pschanely/CrossHair1 686
High-numerical-aperture EUV lithography: The next trick to tinier transistors
https://spectrum.ieee.org/high-na-euv1 686
Typed Design Patterns for the Functional Era
https://arxiv.org/pdf/2307.07069.pdf
1 686
Boxes Go Bananas: Encoding Higher-Order Abstract Syntax with Parametric Polymorphism
https://www.seas.upenn.edu/~sweirich/papers/itabox/icfp-published-version.pdf
1 686
Time, Clocks, and the Ordering of Events in a Distributed System (Lamport) - Paper Review
https://percisely.xyz/syncronicity
1 686
Building and operating a pretty big storage system called S3
https://www.allthingsdistributed.com/2023/07/building-and-operating-a-pretty-big-storage-system.html
