最近验证的频道：

ch

不要被骗子欺骗！Telemetrio 会找到并标记这些频道 👉 如果想查看标记，请订阅

Programming Deadlock

前往频道在 Telegram

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

显示更多

美国10 685 技术与应用32 862

1 864

订阅者

+124 小时

+47 天

+3530 天

1 556

帖子浏览量

~ 40724 小时

~ 42648 小时

83.48%

参与率

无数据

每日帖子数

帖子存档

1 865

Specifications Don't Exist https://www.galois.com/articles/specifications-dont-exist

1 865

Why You Should Learn To Program The Hard Way https://youtube.com/watch?v=Qf56xUKbx24

1 865

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

1 865

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

1 865

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

1 865

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

1 865

gf2p8affineqb: Bit reversal https://wunkolo.github.io/post/2020/11/gf2p8affineqb-bit-reversal/

1 865

Fear the `Obj.magic` https://gist.github.com/polytypic/4b6793782a7ed68debb3da8215b1d2b9

1 865

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

1 865

XOR https://www.chiark.greenend.org.uk/~sgtatham/quasiblog/xor/

1 865

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

1 865

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

1 865

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

1 865

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

1 865

2019 (1).pdf6.95 MB

1 865

The Clockwise/Spiral Rule https://c-faq.com/decl/spiral.anderson.html

1 865

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

1 865

Coroutines Trilogy (C/C++) https://www.chiark.greenend.org.uk/~sgtatham/coroutines.html

1 865

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

1 865

ssrn-6869668.pdf