Programming Deadlock
الذهاب إلى القناة على Telegram
Channel about programming: C, C++, Rust, Zig, Go, Type Theory, Compilers, Threading, Distributed Systems and more...
إظهار المزيد1 791
المشتركون
+124 ساعات
+107 أيام
+4230 أيام
أرشيف المشاركات
1 792
The quest for the fastest linked list
https://johnnysswlab.com/the-quest-for-the-fastest-linked-list/
1 792
BMI2, an x86-64 expansion of bit-manipulation instructions by Intel.
https://www.chessprogramming.org/BMI2
1 792
Detecting if an expression is constant in C
https://nrk.neocities.org/articles/c-constexpr-macro
1 792
Things Zig comptime Won’t Do
https://matklad.github.io/2025/04/19/things-zig-comptime-wont-do.html
1 792
GCC 16 Adding Support For GNU/Hurd On RISC-V Targets
https://www.phoronix.com/news/GCC-16-RISC-V-GNU-Hurd-Targets
1 792
Program Analysis with Interpolants
https://www.georg.weissenbacher.science/papers/dissertation.pdf
1 792
Hacktical C: A practical hacker's guide to the C programming language
https://github.com/codr7/hacktical-c1 792
Learning Assembly for Fun, Performance and Profit
https://thechipletter.substack.com/p/learning-assembly-for-fun-and-profit
1 792
Don’t use a coverage-guided fuzzer on an uninstrumented binary
https://alexdowad.github.io/dont-fuzz-uninstrumented-binary/
1 792
Mixin’ Up the ML Module System
https://people.mpi-sws.org/~rossberg/papers/Rossberg,%20Dreyer%20-%20Mixin%27%20Up%20the%20ML%20Module%20System.pdf
1 792
My Own Private Binary: An Idiosyncratic Introduction to Linux Kernel Modules
https://www.muppetlabs.com/~breadbox/txt/mopb.html
1 792
How OCaml type checker works -- or what polymorphism and garbage collection have in common
https://okmij.org/ftp/ML/generalization.html
