From Paper to Proof: How We Can Formally Verify Blockchain Protocols with Lean4
medium.com·2d·
Discuss: Hacker News
🤝Distributed Consensus
OpenAI's gold medal performance on the International Math Olympiad
simonwillison.net·13h
👑Isabelle
Laws of quantum physics may rule out a universe that came before ours
newscientist.com·1d
⏰Time Crystals
I built an MCP server for observability, here's my unhyped take
signoz.io·12h·
Discuss: Hacker News
🛡️Error Boundaries
Hiding messages in a deck playing cards
asherfalcon.com·1d·
Discuss: Hacker News
🦠Parasitic Storage
This Week in Security: Trains, Fake Homebrew, and AI Auto-Hacking
hackaday.com·1d
🔓Hacking
Cauchy coup
leancrew.com·2h
📐Linear Algebra
First Electronic-Photonic Quantum Chip Created In Commercial Foundry
hardware.slashdot.org·5h
⚛️Quantum Circuits
The CIA's 'Minerva' Secret
nsarchive.gwu.edu·6h·
Discuss: Hacker News
🔐Cryptographic Archaeology
Show HN: Open-source project that use LLM as deception system
news.ycombinator.com·12h·
Discuss: Hacker News
🕵️Vector Smuggling
Unexpected inconsistency in records
codeblog.jonskeet.uk·16h·
Discuss: Hacker News
🛡️Proof-Carrying Archives
Decay of antimatter solves physics puzzle: Why observation is important
heise.de·1d
⚛️Quantum Tape
Optimising DeepSeek-R1-Distill-Qwen-7B for use in production
fin.ai·1d·
Discuss: Hacker News
📊Quantization
Effectively Zero-Knowledge Proofs for NP with No Interaction, No Setup
eccc.weizmann.ac.il·4d·
Discuss: Hacker News
🎯Interactive Provers
OCC 2025 - Protoweb and Browservice web proxies
82mhz.net·1d
🕸️WASM Archives
Type Checking with Symbolic Execution
bullno1.com·12h·
Discuss: Hacker News
🧮Algebraic Datatypes
Spectrally Tunable Lighting: How LEDs can emulate blackbody emitters
enody.lighting·15h·
Discuss: Hacker News
🌈Color Science
H-Nets – The Future
goombalab.github.io·1d·
Discuss: Hacker News
📼Cassette Combinators
MakeShift: Security Analysis of Shimano Di2 Wireless Gear Shifting in Bicycles
usenix.org·17h·
Discuss: Hacker News
📼Cassette Networking
Joy & Curiosity #46
registerspill.thorstenball.com·31m
🖥️Terminal Renaissance