Programming Deadlock
Відкрити в Telegram
Channel about programming: C, C++, Rust, Zig, Go, Type Theory, Compilers, Threading, Distributed Systems and more...
Показати більше1 866
Підписники
+124 години
+47 днів
+3330 днів
Архів дописів
1 867
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/CompCert1 867
How we found a bug in Go's arm64 compiler
https://blog.cloudflare.com/how-we-found-a-bug-in-gos-arm64-compiler/
1 867
Programming in Assembly without an Operating System
https://youtu.be/ZFHnbozz7b4?si=_9eqsvsyIqW3FVad
1 867
C++26: std::optional<T&>
https://www.sandordargo.com/blog/2025/10/01/cpp26-optional-of-reference1 867
Mic-E-Mouse: Covert Eavesdropping through Computer Mice
https://sites.google.com/view/mic-e-mouse1 867
How I Block All 26 Million Of Your Curl Requests (eBPF)
https://foxmoss.com/blog/packet-filtering/
1 867
PPMP-Iceberg: Preprocessor metaprogramming knowledge obscurity chart
https://jadlevesque.github.io/PPMP-Iceberg/explanations1 867
A 'for each' loop macro, with unlimited number of iterations
https://github.com/HolyBlackCat/macro_sequence_for
1 867
Defer: Resource cleanup in C with GCCs magic
https://oshub.org/projects/retros-32/posts/defer-resource-cleanup-in-c-with-gccs-magic1 867
GuixHPC: Reproducible software deployment for high-performance computing
https://hpc.guix.info/1 867
Reverse Engineering of Intel’s Branch Prediction
https://www.its.uni-luebeck.de/fileadmin/files/theses/BA_NickMahling_ReverseEngineeringIntelsBranchPrediction.pdf
1 867
Eliminating Data Races in Firefox: A Technical Report
https://hacks.mozilla.org/2021/04/eliminating-data-races-in-firefox-a-technical-report/