IBM 1130 MRAM memory replacement - continuity test, then testing on the IBM 1130
rescue1130.blogspot.com·5h·
Discuss: rescue1130.blogspot.com
💾Floppy Imaging
Three ways formally verified code can go wrong in practice
buttondown.com·1d
📜Proof Carrying Code
Consciousness could emerge from Glymphatic-generated Electromagnetic Fields
meded.georgetown.edu·11h·
Discuss: Hacker News
⏰Time Crystals
7 reasons to use Bayesian inference!
statmodeling.stat.columbia.edu·11h·
Discuss: Hacker News
🧮Kolmogorov Bounds
Performant 2D Renderer: A Tour of Cute Framework's Renderer
randygaul.github.io·6h·
Discuss: Hacker News
🎯Emulator Accuracy
Understanding conflict resolution and avoidance in PostgreSQL: a complete guide
pgedge.com·1d·
Discuss: Hacker News, r/programming
🛡️Byzantine Fault Tolerance
Why Self-Host?
romanzipp.com·2d·
Discuss: Hacker News
🏠Personal Archives
QUIC! Jump to User Space!
hackaday.com·1d
🌐Network Protocols
LogSTOP: Temporal Scores over Prediction Sequences for Matching and Retrieval
arxiv.org·2d
📊Learned Metrics
Automated Copyright Infringement Detection via Semantic Fingerprinting and Dynamic Thresholding
dev.to·3d·
Discuss: DEV
👁️Perceptual Hashing
Software Architecture Horror Story
blog.mihaisafta.com·18h·
Discuss: Hacker News
🔌Interface Evolution
BQN "Macros" with •Decompose (2023)
saltysylvi.github.io·1d·
Discuss: Hacker News
🦀Rust Macros
Exponential Error Bounds for Information Bottleneck Source Coding Problems
arxiv.org·1d
📐Compression Bounds
Covert Quantum Learning: Privately and Verifiably Learning from Quantum Data
arxiv.org·2d
🔐Quantum Cryptography
Homelab Jouney, Planning stage
reddit.com·8h·
Discuss: r/homelab
🏠HomeLab
ACE: Attribution-Controlled Knowledge Editing for Multi-hop Factual Recall
arxiv.org·1d
✨Effect Handlers
Turning data into knowledge: How Huawei is upgrading storage for the AI era
techradar.com·2d
💾Persistence Strategies
HiPRAG: Hierarchical Process Rewards for Efficient Agentic Retrieval Augmented Generation
arxiv.org·1d
⚡Proof Automation
Audio-Visual Separation with Hierarchical Fusion and Representation Alignment
arxiv.org·1d
💿FLAC Archaeology
Curing Miracle Steps in LLM Mathematical Reasoning with Rubric Rewards
arxiv.org·1d
🧮Theorem Proving