The Why of PGP Authentication
articles.59.ca·14h
🔑Cryptographic Protocols
Alibaba's Joe Tsai says the AI race has no winner — and the US has to learn from China
businessinsider.com·1d
🌍Cultural Algorithms
Codeminer42 Dev Weekly #82
blog.codeminer42.com·9h
🎯Gradual Typing
Three ways formally verified code can go wrong in practice
buttondown.com·9h
📜Proof Carrying Code
Efficient and accurate search in petabase-scale sequence repositories
nature.com·2d·
Discuss: Hacker News
🔄Burrows-Wheeler
Bidirectional type checking step by step (in Ruby)
luizpvas.github.io·4h·
Discuss: Hacker News
⬌Bidirectional Typing
Sorting encrypted data without decryption: a practical trick
dev.to·11h·
Discuss: DEV
🔐Hash Functions
How Macaron AI Bridges Cultural Gaps: Cross-Lingual Personalization for 2025
dev.to·1d·
Discuss: DEV
🇯🇵Japanese Computing
A Retrospective Survey of 2024/2025 Open Source Supply Chain Compromises
words.filippo.io·11h·
Discuss: Lobsters, Hacker News
🔓Open Source Software
Experimenting with ACL2 and Claude Code
mikedodds.org·14h·
Discuss: Hacker News
👑Isabelle
When Will Quantum Computing Work?
tommccarthy.net·11h·
Discuss: Hacker News
🔐Quantum Security
PHP's New URI Extension
thephp.foundation·15h·
Discuss: Hacker News
🌐Web Standards
Getting a Hypergraph of Functions to a Browser
systeminit.com·1d·
Discuss: Hacker News
📐E-graphs
GNN Predictions: Hidden Bugs and the Verification Nightmare by Arvind Sundararajan
dev.to·4h·
Discuss: DEV
⚙️Proof Engineering
How to Eliminate DevOps Toil Using Automation Scripts
devops.com·14h
🐚Shell Automation
Show HN: I built a SaaS in 8 weeks, solo, using our own AI platform
zine.ai·9h·
Discuss: Hacker News
🚀Indie Hacking
10 Data + AI Observations for Fall 2025
towardsdatascience.com·13h
🌊Stream Processing
2025-10-10 # LLMs Are Transpilers
alloc.dev·1d·
Discuss: Hacker News
🔄Language Evolution
Writing regex is pure joy. You can't convince me otherwise.
triangulatedexistence.mataroa.blog·1d·
Discuss: Hacker News, r/programming
✅Format Verification
Trusted Execution Environments? More Like "Trust Us, Bro" Environments
libroot.org·8h·
Discuss: Hacker News
🛡️RISC-V Security