Can All Knowledge Be Mined? A Formal Framework for φ^∞ Consequence Closure
researchgate.net·15h·
Discuss: Hacker News
🔢Denotational Semantics
5 Things I Learned Building a Database File Format from Scratch
dev.to·1d·
Discuss: DEV
🗄️Database Internals
Linters, Formatters, and Type-Checkers
playfulprogramming.com·1d
🎯Gradual Typing
My first experience with Formal Methods | ZipCPU
zipcpu.com·22h
🔧Hardware Verification
Type Inference for Decompiled Code: From Hidden Semantics to Structured Insights
binarly.io·2d
🔓Decompilation
graven-image: Portability library for CL image in REPL
github.com·13h·
Discuss: Lobsters
🦀Rust Macros
Boot disk structure in macOS, iOS and iPadOS, and AI cryptexes
eclecticlight.co·1h
🔌Operating system internals
What I learned from the book Designing Data-Intensive Applications
newsletter.techworld-with-milan.com·17h·
Discuss: r/compsci, r/programming
🗄️Database Internals
Pennybase: a Pound-Shop BaaS
zserge.com·3d
✅Format Validation
All is Not Lost: LLM Recovery without Checkpoints
arxiv.org·1d
🛡️Error Boundaries
miniDVD
preservation.tylerthorsted.com·2h
💽MiniDisc Format
How to Handle Conditional Variants in Documentation
deltaxignia.com·21h
🦋Format Evolution
An unfinished post: "Compressing short Unicode strings with BOCU-1"
evanhahn.com·1d
🔤Character Encoding
C++ in Jupyter — Interpreting C++ in the Web
blog.jupyter.org·16h·
Discuss: Hacker News
🔩Systems Programming
3D Printing just saved my budget (for now) NAS project :)
reddit.com·10h·
Discuss: r/homelab
🏠Homelab Preservation
What’s the Difference Between Authenticity and Non-Repudiation in Cybersecurity?
securityscorecard.com·21h
🌳Archive Merkle Trees
Exposure Protocol: Information Disclosure in the Wild [Part 3]
infosecwriteups.com·1d
🏺ZIP Archaeology
“We’re in an era of consistent attack” - how offline storage architecture could save your business
techradar.com·1d
💾Persistence Strategies
Qfex (YC X25) – Founding Back End Engineer for a 24/7 Stock Exchange
ycombinator.com·1h·
Discuss: Hacker News
🔗Hash Chains
Universal Data Orchestrator in Action: Enterprise Best Practices
ssp.sh·3d
🔄Archive Workflows