🔢 Binary Formats

Serialization Performance, Schema Evolution, Compression, Zero-copy Parsing, ELF, PE, Object files, Linking, Binary analysis

Rohan Paul on X: "New paper from @Google is a major memory breakthrough for AI agents. ReasoningBank helps an AI agent improve during use by learning from its w...
x.com·7h·
Discuss: X
🧮SMT Solvers
Cranemail: $75 Lifetime email host, 250gb storage, unlimited domains and aliases
namecrane.com·20h·
Discuss: Hacker News
🏠Homelab Preservation
Show HN: Munshig – runtime API security proxy that catches BOLA and SQLi
news.ycombinator.com·9h·
Discuss: Hacker News
🛡️eBPF Security
Printing Petscii Faster
retrogamecoders.com·1d·
Discuss: Hacker News
📺VT100
7-Zip: Information on closed security gaps available
heise.de·2d
💣ZIP Vulnerabilities
I/O Multiplexing (select vs. poll vs. epoll/kqueue)
nima101.github.io·3d·
Discuss: Hacker News
🌊Stream Processing
Multi-Core By Default
rfleury.com·2d·
Discuss: Lobsters, Hacker News
🔩Systems Programming
I Built the Perfect Workflow and attracted some friends in the process
graemefawcett.ca·1d·
Discuss: Hacker News
⚡Proof Automation
The Custom Conveyor: Building Your Own Iterators
dev.to·1d·
Discuss: DEV
🔄Burrows-Wheeler
The Bit Shift Paradox: How "Optimizing" Can Make Code 6× Slower
hackernoon.com·4d
🧮Compute Optimization
Welcome to the ‘papers, please’ internet
theverge.com·1h
🛡Cybersecurity
Show HN: Static builds of popular open source libraries on npmjs.org
github.com·1d·
Discuss: Hacker News
🔓Open Source Software
The Tech Stack That's Dying in 2025 (Stop Wasting Time on It)
dev.to·18h·
Discuss: DEV
🦋Format Evolution
From Clicks to Code: Building a Production‑Ready EVM Transaction Client (Approve, Mint, Swap, EIP‑1559)
dev.to·2d·
Discuss: DEV
✅Format Verification
Real-Time Disaster Response via Distributed CubeSat EO with Adaptive Spectral Unmixing
dev.to·2h·
Discuss: DEV
📥Feed Aggregation
Statistical Analysis Using NumPy and SciPy: A Practical Guide
dev.to·4d·
Discuss: DEV
📐Linear Algebra
Indexing, Hashing
dev.to·3d·
Discuss: DEV
🚀Query Optimization
An enough week
blog.mitrichev.ch·2d·
Discuss: blog.mitrichev.ch
📈Linear programming
CubicLog – A single-binary logging server with zero-config smart analytics
github.com·2d·
Discuss: Hacker News
📝Log Parsing
GNN Predictions: Hidden Bugs and the Verification Nightmare by Arvind Sundararajan
dev.to·1d·
Discuss: DEV
⚙️Proof Engineering