A Practical Tour of How Code Runs: Binaries, Bytecode and Shared Libraries
๐ฉSystems Programming
Flag this post
Research Worth Reading Week 43/2025
pentesterlab.comยท1h
๐ก๏ธProof-Carrying Archives
Flag this post
A bestiary of single-file programming language implementations
๐Concatenative Programming
Flag this post
Cryptographic Algorithms Identification in Java Bytecode
binarly.ioยท3d
๐Code Metrics
Flag this post
Valgrind 3.26 Released
๐ฉSystems Programming
Flag this post
Codeminer42 Dev Weekly #84
blog.codeminer42.comยท2d
๐ณIncremental Parsing
Flag this post
Dependent Session Types for Verified Concurrent Programming
arxiv.orgยท3d
๐Session Types
Flag this post
GSoC '25: Parallel Macro Expansion
๐ฆRust Macros
Flag this post
Mastering Lock-Free Data Structures in Go: Ring Buffers, Queues, and Performance Optimization
โกHardware Transactional Memory
Flag this post
A moonlit week
ฮปLambda Encodings
Flag this post
Pepsi, when they don't have coke
bitecode.devยท11h
๐Brotli Internals
Flag this post
Writing a competitive BZip2 encoder in Ada from scratch in a few days - part 4: programming
๐ฆDeflate
Flag this post
Loading...Loading more...