Programming Deadlock
СтатистикаChannel about programming: C, C++, Rust, Zig, Go, Type Theory, Compilers, Threading, Distributed Systems and more...
- Последний пост
- 15 авг.
- Последнее чтение
- 15:42
- Постов за неделю
- 6
- Всего постов
- 23
- Тип
- открытый
- Язык
- английский
- Категория
- Новости и СМИ (по похожим)
- В каталоге с
- 12 авг.
- 1/24сутки в ленте
- 772
- 1/48двое суток
- 884
- 1/72трое суток
- 954
Оценка по просмотрам недавних постов: пост набирает почти всё за первые сутки.
Посты
Unlocking everything on the CPU with DRAM scrambling https://github.com/xoreaxeaxeax/skitter-creek-bath-salts
XOR https://www.chiark.greenend.org.uk/~sgtatham/quasiblog/xor/
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
93% of Paint Splatters are Valid Perl Programs https://www.mcmillen.dev/sigbovik/2019.pdf
The Clockwise/Spiral Rule https://c-faq.com/decl/spiral.anderson.html
Compiling Pattern Matching to Good Decision Trees https://dl.acm.org/doi/pdf/10.1145/1411304.1411311
Coroutines Trilogy (C/C++) https://www.chiark.greenend.org.uk/~sgtatham/coroutines.html
High-performance model counter https://github.com/meelgroup/ganak
A Final Return for OpenBSD Anti-Return-Oriented Programming Mitigations https://papers.ssrn.com/sol3/papers.cfm?abstract_id=6869668
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
A passive self-correcting quantum memory in three dimensions https://arxiv.org/abs/2605.10943
Epsilon number (Georg Cantor) https://en.wikipedia.org/wiki/Epsilon_number
Categories for the Working Hacker https://youtu.be/gui_SE8rJUM
Memory Safe Inline Assembly https://fil-c.org/inlineasm
PulseCore: An Impredicative Concurrent Separation Logic for Dependently Typed Programs https://fstar-lang.org/papers/pulsecore-indirection-2025.pdf
Generating Compiler Optimizations from Proofs https://rosstate.org/publications/proofgen/proofgen_tate_popl10_tr.pdf