๐Ÿ”ข Binary Formats

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

Outages on Nerdculture.de due to Ceph
blog.windfluechter.netยท22m
๐Ÿ’พProxmox Storage
CVE-2025-11371: Unpatched zero-day in Gladinet CentreStack, Triofox under attack
securityaffairs.comยท14h
๐Ÿ”“Hacking
Tangled, a Git collaboration platform, built on atproto
blog.tangled.orgยท1dยท
Discuss: Hacker News, r/programming
๐Ÿ”„Sync Engine
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
Quantum Autonomy: Algorithms That Design Themselves by Arvind Sundararajan
dev.toยท3hยท
Discuss: DEV
โš›๏ธQuantum Algorithms
Relational Database Distillation: From Structured Tables to Condensed Graph Data
arxiv.orgยท3d
๐Ÿ“ŠGraph Databases
Show HN: An open-source starter kit for implementing OWASP ASVS 5.0
github.comยท1dยท
Discuss: Hacker News
๐Ÿ”“Open Source Software
More Than Code: Gearing Up for the Hackathon of the Year!๐Ÿš€
dev.toยท15hยท
Discuss: DEV
๐Ÿด๓ ง๓ ข๓ ณ๓ ฃ๓ ด๓ ฟScottish Computing
The Bit Shift Paradox: How "Optimizing" Can Make Code 6ร— Slower
hackernoon.comยท4d
๐ŸงฎCompute Optimization
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ยท16hยท
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
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
English - the hottest programming language of the future
dev.toยท1dยท
Discuss: DEV
๐Ÿ”„Language Evolution
An enough week
blog.mitrichev.chยท2dยท
Discuss: blog.mitrichev.ch
๐Ÿ“ˆLinear programming
GNN Predictions: Hidden Bugs and the Verification Nightmare by Arvind Sundararajan
dev.toยท1dยท
Discuss: DEV
โš™๏ธProof Engineering
CubicLog โ€“ A single-binary logging server with zero-config smart analytics
github.comยท2dยท
Discuss: Hacker News
๐Ÿ“Log Parsing