From Paper to Proof: How We Can Formally Verify Blockchain Protocols with Lean4
medium.com·2d·
Discuss: Hacker News
📨Message Queues
Piramidal (YC W24) Is Hiring a Full Stack Engineer
ycombinator.com·9h·
Discuss: Hacker News
💡Entrepreneurship
Security is a Renewals Problem: How to negotiate in vendor renewals
securityis.substack.com·3h·
Discuss: Substack
💡Entrepreneurship
Not Even Bronze? Evaluating LLMs on 2025 International Math Olympiad
matharena.ai·1d·
Discuss: Hacker News, Hacker News, Hacker News
🤖AI
Hiding messages in a deck playing cards
asherfalcon.com·1d·
Discuss: Hacker News
🔒Security Engineering
New Thought Experiments for Probing Personal Identity and Survival
preservinghope.substack.com·2h·
Discuss: Substack
💻Programming
Show HN: Open-source project that use LLM as deception system
news.ycombinator.com·4h·
Discuss: Hacker News
🤖AI
Optimising DeepSeek-R1-Distill-Qwen-7B for use in production
fin.ai·1d·
Discuss: Hacker News
⚙️AI Infrastructure
How TPMs Work and Why We Added Support in Bottlerocket
molnett.com·2d·
Discuss: Hacker News, r/linux
🏛️Technical Architecture
Graham's Number
en.wikipedia.org·7h·
Discuss: Hacker News
💻Programming
Engineering Behind Fast Analytics: Data in Motion
outofdesk.netlify.app·2d·
Discuss: Hacker News
🏗️System Design
A night-watchman ASI as a first step toward a great future
lesswrong.com·1d
🤖AI
You Can't Buy Integration (2021)
martinfowler.com·13h·
Discuss: Hacker News
🕸️WASM
No, phishers are not bypassing FIDO MFA, at least not yet. Here’s why.
arstechnica.com·1d·
Discuss: Hacker News
🔒Security Engineering
Spectrally Tunable Lighting: How LEDs can emulate blackbody emitters
enody.lighting·6h·
Discuss: Hacker News
💻Programming
De novo assembly&delivery of synthetic megabase-scale human DNA to mouse embryos
nature.com·19h·
Discuss: Hacker News
🔄Data Engineering
Hyperdimensional Connections a Lossless, Queryable Semantic Reasoning Framework
zenodo.org·1d·
Discuss: Hacker News
🔄Data Engineering
Quadratic Forms Beyond Arithmetic
ams.org·1d·
Discuss: Hacker News
🦀Rust Systems
Europe's Quantum Leap Challenges US Dominance
cepa.org·4d·
Discuss: Hacker News
💡Entrepreneurship
Show HN: An Intuitive Go Library for Handling Complex Permission/RBAC
github.com·2h·
Discuss: Hacker News
🔌API Design