Writing a competitive BZip2 encoder in Ada from scratch in a few days - part 4: programming
📦Deflate
Flag this post
AI-Powered Cover Letter Generator
✅Format Verification
Flag this post
Specifications like temporal logic but with ordinary mathematics
yodaiken.com·1d
📄PostScript
Flag this post
html-is-a-tree
📝Concrete Syntax
Flag this post
What’s New in Calico v3.31? eBPF, NFTables, and More
tigera.io·21h
🛡️eBPF Security
Flag this post
Cryptographic Algorithms Identification in Java Bytecode
binarly.io·2d
📏Code Metrics
Flag this post
Valgrind 3.26 Released
🔩Systems Programming
Flag this post
We Programmers Need "Results"
📜Proof Carrying Code
Flag this post
Slow NihAV week
codecs.multimedia.cx·7h
🎞️MKV Internals
Flag this post
A Vision for Future Low-Level Languages
🦀Rust Borrowing
Flag this post
Release Highlights: VMRay Platform 2025.4.0
vmray.com·1d
🏺ZIP Archaeology
Flag this post
Hacking the Color BASIC PRINT command – part 3
subethasoftware.com·1d
📺VT100
Flag this post
Ken Thompson's "Trusting Trust" compiler backdoor - Now with the actual source code (2023)
💻Programming languages
Flag this post
Raspberry Pi Makes Tinkering Easy, but IoT Productization Remains Difficult
⚙️DIY Electronics
Flag this post
This Week in Security: Court Orders, GlassWorm, TARmageddon, and It was DNS
hackaday.com·1d
🌐DNS Security
Flag this post
The Limits of LLM-Generated Unit Tests
hackernoon.com·1d
🧪Property-Based Testing
Flag this post
Loading...Loading more...