Explore
TLA+ Web Explorer
Github url with docs is at https://github.com/will62794/tla-web Comments
LLVM is Smarter Than Me - sulami's blog
I was reading Algorithms for Modern Hardware recently, specifically the chapter on SIMD, and was impressed...
3 important things I overlooked during code reviews | Piglei
Code review is a popular practice in software development. By incorporating human reviews before merging code...
pzuraq | On Signal Relays
If you haven’t heard, Signals are a new proposal for the JavaScript language, and they’ve just...
What are you doing this weekend? | Lobsters
Feel free to tell what you plan on doing this weekend and even ask for help...
Raw flux streams and obscure formats: Further work around imaging 5.25-inch floppy disks
Leontien Talboom, Technical Analyst, Cambridge University LibraryChris Knowles, Digital Archivist, Churchill Archives CentreThis blog is a...
XZ/LZMA Worked Example Part 1: Range Coding
This blog post is one of a five part series. Background XZ is a general purpose...