Evidence Preservation: Why iPhone Data Can Expire
blog.elcomsoft.com·1d
🌡️Preservation Entropy
Issue 730
iosdevweekly.com·1d
🔌Interface Evolution
pgtricks – two tools for backing up PostgreSQL database dumps
github.com·13h·
Discuss: Hacker News
🌳Git Internals
The Custom Conveyor: Building Your Own Iterators
dev.to·3h·
Discuss: DEV
🔄Burrows-Wheeler
Zelos Tech Manages Hundreds of Millions of Files for Autonomous Driving with JuiceFS
dev.to·1d·
Discuss: DEV
💾Proxmox Storage
The artificial complexity of OOXML files (the PPTX case)
blog.documentfoundation.org·15h·
Discuss: Hacker News
📟Terminal Typography
AsyncSpade: Efficient Test-Time Scaling with Asynchronous Sparse Decoding
arxiv.org·1d
⚙️Compression Benchmarking
We May Have a Path to the Fundamental Theory of Physics (2020)
writings.stephenwolfram.com·1h·
Discuss: Hacker News
⏰Time Crystals
Vexing Exceptions
ericlippert.com·1d·
Discuss: Hacker News
🧪Binary Fuzzing
Experimenting with ACL2 and Claude Code
mikedodds.org·19h·
Discuss: Hacker News
👑Isabelle
Curing Miracle Steps in LLM Mathematical Reasoning with Rubric Rewards
arxiv.org·1d
🧮Theorem Proving
What's your workflow to pass cloud secrets/config metadata to apps safely?
news.ycombinator.com·1d·
Discuss: Hacker News
🛡️Preservation Proofs
From Documents to Dialogue: A step-by-step RAG Journey
dev.to·17h·
Discuss: DEV
📊Multi-vector RAG
How to store ordered information in a Relational Database (2015)
softwareengineering.stackexchange.com·1d·
Discuss: Lobsters, Hacker News
🧮Algebraic Datatypes
AI-Driven Ethical Risk Assessment & Mitigation in Supply Chain Compliance
dev.to·4h·
Discuss: DEV
🔗Supply Chain
Show HN: I built a LSP with its own parser to learn Rust
github.com·4h·
Discuss: Hacker News
⚡Dependent Rust
Software Architecture Horror Story
blog.mihaisafta.com·24m·
Discuss: Hacker News
🔌Interface Evolution
On some 2-binomial coefficients of binary words: geometrical interpretation, partitions of integers, and fair words
arxiv.org·2d
📜Manuscript Algebras
A new breed of analyzers
daniel.haxx.se·19h·
Discuss: Lobsters, Hacker News, r/programming
🐛Fuzzing
I Built the Perfect Workflow and attracted some friends in the process
graemefawcett.ca·8h·
Discuss: Hacker News
⚡Proof Automation