The Sail instruction-set semantics specification language
alasdair.github.io·4h·
Discuss: Hacker News
🧩RISC-V Assembly
MCP Context Forge Gateway — Try it now! ⚡
dev.to·1d·
Discuss: DEV
🏠Homelab Archaeology
OpenBSD Meets the Solar Neighborhood
laser-coder.net·1h·
Discuss: Hacker News
🔌Operating system internals
Computed GOTO, in MS BASIC
masswerk.at·16h
📺VT100 Emulation
Serializable Isolation for Snapshot Databases
muratbuffalo.blogspot.com·2d·
Discuss: www.blogger.com
🔀CRDT
High level design of replacement for 1130 core memory
rescue1130.blogspot.com·1d·
Discuss: rescue1130.blogspot.com
⚡Hardware Transactional Memory
Save the date: Itanium will die at the end of 2025 (2019)
techrepublic.com·8h·
Discuss: Hacker News
🖥️Modern Terminals
mariadb-operator 📦 25.08.0 has landed: PhysicalBackups, VolumeSnapshots, VECTOR support, new cluster Helm chart, and more!
github.com·1d
🌳Git Internals
My first and second Homelab
i.redd.it·22h·
Discuss: r/homelab
🏠HomeLab
A brief history of time synchronisation
eclecticlight.co·17h
⏱️SMPTE Timecode
Formal specs as sets of behaviors
surfingcomplexity.blog·1h
✅Formal Methods
Building cmarkprocess
rsdoiel.github.io·1d
✅Format Verification
Decentralized Identity Isn’t Coming from Silicon Valley. It’s Coming from Africa
hackernoon.com·1d
🔐PKI Archaeology
Blossom protocol
markjgsmith.com·13h
🌐NetworkProtocols
FreeBSD Guide to Lock-In Free Infrastructure
discoverbsd.com·1d
🔌Operating system internals
Children of the TI
bumbershootsoft.wordpress.com·5h
🎮Vintage Gaming
Bibi Binary Notation
en.wikipedia.org·13h·
Discuss: Hacker News
📜Binary Philology
Show HN: Mcp-chromautomation – Chrome MCP that is not a puppeteer
github.com·6h·
Discuss: Hacker News
🕸️WebAssembly
Finding entities with given uuids in the current project
mbork.pl·17h
🗄️Database Internals
Artificial intelligence: Vibe coding service Replit deletes production database
heise.de·1d
🧮Z3 Solver