Schrödinger's TOCTOU: The binary you run is not the program you wrotehttps://github.com/xoreaxeaxeax/schrodingers-toctou
GitHub
GitHub - xoreaxeaxeax/schrodingers-toctou: The binary you run is not the program you wrote.
The binary you run is not the program you wrote. Contribute to xoreaxeaxeax/schrodingers-toctou development by creating an account on GitHub.
🗿7🤣3👍1
🔥8🗿1
Why You Should Learn To Program The Hard Way
https://youtube.com/watch?v=Qf56xUKbx24
https://youtube.com/watch?v=Qf56xUKbx24
YouTube
Why You Should Learn To Program The Hard Way
Even if it takes more time, learning to program the hard way using as few libraries and external dependencies as possible will make you more confident.
Research shows that confident people make more money, so it also makes you rich.
In this audio stream…
Research shows that confident people make more money, so it also makes you rich.
In this audio stream…
💯6❤4
Specifications Don't Exist
https://www.galois.com/articles/specifications-dont-exist
https://www.galois.com/articles/specifications-dont-exist
👍8🤔3🤯2
quantitative-reliability.pdf
796.8 KB
Verifying Quantitative Reliability for Programs That Execute on Unreliable Hardware
https://dl.acm.org/doi/pdf/10.1145/2544173.2509546
https://dl.acm.org/doi/pdf/10.1145/2544173.2509546
🔥3😱1
Data races and the limits of ThreadSanitizer in C and Go
https://theconsensus.dev/p/2026/09/06/data-races-and-the-limits-of-threadsanitizer-in-c-and-go.html
https://theconsensus.dev/p/2026/09/06/data-races-and-the-limits-of-threadsanitizer-in-c-and-go.html
The Consensus
Data races and the limits of ThreadSanitizer in C and Go - The Consensus
Have you ever wondered what a data race is? How a race detector works? If there are bugs in your race detector? We take a look.
❤4
2023.findings-acl.426.pdf
393.8 KB
"Low-Resource" Text Classification: A Parameter-Free Classification Method with Compressorshttps://aclanthology.org/2023.findings-acl.426/
❤2
357172.357176.pdf
1.2 MB
The Byzantine Generals Problem
https://dl.acm.org/doi/10.1145/357172.357176
https://dl.acm.org/doi/10.1145/357172.357176
👍4❤1
Bringing memory safety to BSD with CHERI
https://exquisite.tube/w/vcvKTpxeEtjcPwrocykghC
https://exquisite.tube/w/vcvKTpxeEtjcPwrocykghC
Exquisite.tube
Brooks Davis - Bringing memory safety to BSD with CHERI
After a decade and a half of academic and industrial research, products using CHERI to provide hardware enforced, deterministic memory safety are making their way to market. CheriBSD, a research fo...
🔥3