ru
Feedback
Programming Deadlock

Programming Deadlock

Открыть в Telegram

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

Больше
1 684
Подписчики
-124 часа
+127 дней
+4330 день
Архив постов
Capabilities: Linux Privilege Escalation https://juggernaut-sec.com/capabilities/

Synquid synthesizes programs from refinement types. https://github.com/nadia-polikarpova/synquid/tree/master

Enhancing Locality for Recursive Traversals of Recursive Structures https://dl.acm.org/doi/pdf/10.1145/2048066.2048104

CompCert C verified compiler: a compiler for a large subset of the C programming language that generates code for the PowerPC, ARM, x86 and RISC-V processors https://github.com/AbsInt/CompCert

Programming in Assembly without an Operating System https://youtu.be/ZFHnbozz7b4?si=_9eqsvsyIqW3FVad

Mic-E-Mouse: Covert Eavesdropping through Computer Mice https://sites.google.com/view/mic-e-mouse

More speculations on arenas in C++ https://nullprogram.com/blog/2025/09/30/

86-020.pdf

How I Block All 26 Million Of Your Curl Requests (eBPF) https://foxmoss.com/blog/packet-filtering/

PPMP-Iceberg: Preprocessor metaprogramming knowledge obscurity chart https://jadlevesque.github.io/PPMP-Iceberg/explanations

A 'for each' loop macro, with unlimited number of iterations https://github.com/HolyBlackCat/macro_sequence_for