es
Feedback

¡No caigas en manos de tramposos! Telemetrio encuentra y marca estos canales 👉 Si quieres ver la etiqueta, suscríbete

Programming Deadlock

Programming Deadlock

Ir al canal en Telegram

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

Mostrar más
Buy Ad
1 864
Suscriptores
+124 horas
+47 días
+3530 días
Archivo de publicaciones
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