uk
Feedback
Programming Deadlock

Programming Deadlock

Відкрити в Telegram

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

Показати більше
1 789
Підписники
+224 години
+117 днів
+3930 день
Архів дописів
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

Introduction to Compilers and Language Design https://dthain.github.io/books/compiler/

Strictness Analysis using Abstract Reduction https://dl.acm.org/doi/pdf/10.1145/165180.165219

2605.10943v1.pdf1.48 MB

Epsilon number (Georg Cantor) https://en.wikipedia.org/wiki/Epsilon_number