snuffle / salsa / chacha
graydon2.dreamwidth.org·1h
🦠Parasitic Storage
Challenging LR Parsing (2020)
rust-analyzer.github.io·3h·
Discuss: Lobsters, r/programming
🦀Rust Macros
Ethereum Protocol Update 003 – Improve UX
blog.ethereum.org·8h·
Discuss: Hacker News
🔌Interface Evolution
What Is Mojo?
harshal.is-cool.dev·1d·
Discuss: Hacker News
💧Liquid Types
Simulating the Commodore PET
hackaday.com·2d
🎮Gameboy Emulation
Posts Perseverance – A History of Manifold
elalish.blogspot.com·1d·
Discuss: Hacker News
🌀Differential Geometry
GPT-5 Made SEO Irreplaceable
dejan.ai·7h·
Discuss: Hacker News
🌀Brotli Internals
Formal verification effort for the ABDK Math 64.64 library using echidna/hevm
github.com·4d·
Discuss: Hacker News
✅Format Verification
Thoughts on AI, Intelligence, and Knowledge
kudmitry.com·2h·
Discuss: Hacker News
⚖️Emulation Ethics
Machine Learning with Python for Aluminum Fence Durability
dev.to·2h·
Discuss: DEV
🧠Machine Learning
PRISM: Robust VLM Alignment with Principled Reasoning for Integrated Safety in Multimodality
arxiv.org·2d
💻Local LLMs
Clever algorithm enables real-time noise mitigation in quantum devices
phys.org·1d
⚛️Quantum Tape
This DIY Electronic Device Will Protect Your Home
hackster.io·7h
⚙️DIY Electronics
Agentic AI May Be A Better Summary Tool Than You Realize
hackernoon.com·15h
⚡Proof Automation
Proving You Are You, Again and Again
dev.to·2d·
Discuss: DEV
🔐PKI Archaeology
P2C: Path to Counterfactuals
arxiv.org·17h
🔍BitFunnel
DIY vs UGreen NAS
reddit.com·1d·
Discuss: r/homelab
🔌Operating system internals
Beyond CAP: Understanding the PACELC Theorem in Distributed Systems
dev.to·17h·
Discuss: DEV
🤝Distributed Consensus
I built a production app in a week by managing a swarm of 20 AI agents
zachwills.net·2d·
Discuss: Hacker News
🤖Network Automation
GENRE-CMR: Generalizable Deep Learning for Diverse Multi-Domain Cardiac MRI Reconstruction
arxiv.org·17h
🧲Magnetic Resonance