en
Feedback

Don't get caught by a cheater! Telemetrio finds and tags such channels 👉 If you want to see the tag, subscribe

Programming Deadlock

Programming Deadlock

Open in Telegram

Channel about programming: C, C++, Rust, Zig, Go, Type Theory, Compilers, Threading, Distributed Systems and more...

Show more
Buy Ad
1 864
Subscribers
+124 hours
+47 days
+3530 days
Posts Archive
Why You Should Learn To Program The Hard Way https://youtube.com/watch?v=Qf56xUKbx24

Copy-and-Patch: Building a JIT https://transactional.blog/copy-and-patch/

Why I chose OCaml as my primary language https://xvw.lol/en/articles/why-ocaml.html

Schrödinger's TOCTOU: The binary you run is not the program you wrote https://github.com/xoreaxeaxeax/schrodingers-toctou

Larger than RAM Vector Indexes for Relational Databases https://planetscale.com/blog/larger-than-ram-vector-indexes-for-relational-databases

Unlocking everything on the CPU with DRAM scrambling https://github.com/xoreaxeaxeax/skitter-creek-bath-salts

Low-Level Software Security for Compiler Developers https://llsoftsec.github.io/llsoftsecbook/

Domain-specific hyperspecialization (for SAT) https://c.mov/lymphosat/

Tail-call optimization in C is relatively recent https://lwn.net/Articles/1034703/

The little book about OS development https://littleosbook.github.io

2019 (1).pdf6.95 MB

Compiling Pattern Matching to Good Decision Trees https://dl.acm.org/doi/pdf/10.1145/1411304.1411311

High-performance model counter https://github.com/meelgroup/ganak

ssrn-6869668.pdf