The Why of PGP Authentication
articles.59.ca·9h
🔑Cryptographic Protocols
Three ways formally verified code can go wrong in practice
buttondown.com·4h
📜Proof Carrying Code
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·4h
🎯Gradual Typing
Trillion-Scale Goldbach Verification on Consumer Hardware -novel Algorithm [pdf]
zenodo.org·22h·
Discuss: Hacker News
🔢Reed-Solomon Math
Why Your Simple Password Is a Mathematical Catastrophe
tawandamunongo.dev·1d·
Discuss: Hacker News
🔐Hash Functions
rule-router: I built a high-performance rule engine for NATS in Go
reddit.com·1d·
Discuss: r/golang
🌊Streaming Systems
Slip – A Lisp System in JavaScript
lisperator.net·8h·
Discuss: Hacker News
🔗Lisp
GoMem is a high-performance memory allocator library for Go
github.com·19h
🧠Memory Allocators
The billion-dollar infrastructure deals powering the AI boom
techcrunch.com·4h
🏠Homelab Federation
Customizing text content moderation with Amazon Nova
aws.amazon.com·1d
📊Feed Optimization
Do language models favor their home countries?
misinforeview.hks.harvard.edu·1d·
Discuss: Hacker News
📰RSS Archaeology
Speed Matters: How We Achieve the Fastest Web Agent
browser-use.com·1d·
Discuss: Hacker News
🎬WebCodecs
A Story About Bypassing Air Canada's In-Flight Network Restrictions
ramsayleung.github.io·14h·
Discuss: Hacker News, r/programming
🌐DNS over QUIC
ParsTranslit: Truly Versatile Tajik-Farsi Transliteration
arxiv.org·18h
📜Digital Philology
Experimenting with ACL2 and Claude Code
mikedodds.org·9h·
Discuss: Hacker News
👑Isabelle
2025-10-10 # LLMs Are Transpilers
alloc.dev·22h·
Discuss: Hacker News
🔄Language Evolution
Sorting encrypted data without decryption: a practical trick
dev.to·6h·
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·6h·
Discuss: Lobsters, Hacker News
🔓Open Source Software