I am an SSD expert – here are 5 reasons why choosing a small SSD could cost you later
techradar.com·12h
🛡️Preservation Logic
The Why of PGP Authentication
articles.59.ca·13h
🔑Cryptographic Protocols
How we built a structured Streamlit Application Framework in Snowflake
about.gitlab.com·1d
🌊Streaming Systems
Intro to RL: Off-Policy Methods
neelsomaniblog.com·1d·
Discuss: Hacker News
🔲Cellular Automata
On some 2-binomial coefficients of binary words: geometrical interpretation, partitions of integers, and fair words
arxiv.org·1d
📜Manuscript Algebras
Evaluating Gemini 2.5 Deep Think's math capabilities
epoch.ai·12h·
Discuss: Hacker News
🎯Performance Proofs
The tiny server is growing.
i.redd.it·22h·
Discuss: r/homelab
🌐IPFS
Why Self-Host?
romanzipp.com·1d·
Discuss: Hacker News
🏠Personal Archives
Building the Reasoning Engine at Axiom
axiommath.ai·6h·
Discuss: Hacker News
⚔️Lean Tactics
Dynamic Adaptive Redundancy Allocation via Hierarchical Bayesian Optimization
dev.to·7h·
Discuss: DEV
💾Storage Replication
BQN "Macros" with •Decompose (2023)
saltysylvi.github.io·4h·
Discuss: Hacker News
🦀Rust Macros
Implementing ZADD If Key Exists
rozumem.xyz·20h·
Discuss: Hacker News
⚡Redis Internals
A Proof of the Riemann Hypothesis
dev.to·1d·
Discuss: DEV
⚔️Lean Theorem
Slip – A Lisp System in JavaScript
lisperator.net·12h·
Discuss: Hacker News
🔗Lisp
Building Resilient AI Agents on Serverless | Restate
restate.dev·1d·
Discuss: Hacker News, r/programming
🧱Immutable Infrastructure
Sorting encrypted data without decryption: a practical trick
dev.to·11h·
Discuss: DEV
🔐Hash Functions
10 Command-Line Tools Every Data Scientist Should Know
kdnuggets.com·2d
🤖Archive Automation
The People Rescuing Forgotten Knowledge Trapped On Old Floppy Disks
it.slashdot.org·4h
💽Floppy disks
GNN Predictions: Hidden Bugs and the Verification Nightmare by Arvind Sundararajan
dev.to·4h·
Discuss: DEV
⚙️Proof Engineering
What's your workflow to pass cloud secrets/config metadata to apps safely?
news.ycombinator.com·20h·
Discuss: Hacker News
🛡️Preservation Proofs