The Why of PGP Authentication
articles.59.ca·19h
🔑Cryptographic Protocols
Cisco Silicon One P200 and Cisco 8223 for 51.2T Scale Across Networking
servethehome.com·3h
🏠Homelab Federation
"The insane effort to preserve this ancient script"
languagelog.ldc.upenn.edu·3d
🔤Character Encoding
Codeminer42 Dev Weekly #82
blog.codeminer42.com·15h
🎯Gradual Typing
Three ways formally verified code can go wrong in practice
buttondown.com·15h
📜Proof Carrying Code
How we built a structured Streamlit Application Framework in Snowflake
about.gitlab.com·1d
🌊Streaming Systems
Efficient and accurate search in petabase-scale sequence repositories
nature.com·2d·
Discuss: Hacker News
🔄Burrows-Wheeler
How to Eliminate DevOps Toil Using Automation Scripts
devops.com·20h
🐚Shell Automation
OCaml 5.4 Release: New Features, Fixes, and More
tarides.com·1h·
Discuss: Lobsters, Hacker News
🔗Functional Compilers
SPAD: Specialized Prefill and Decode Hardware for Disaggregated LLM Inference
arxiv.org·1d·
Discuss: r/LLM
💻Local LLMs
Att&Df: Update the Operating System's "Dead Drop"
zenodo.org·2d·
Discuss: Hacker News
🛡️eBPF Security
The A.I. Prompt That Could End the World
nytimes.com·23h·
Discuss: Hacker News
⚡Proof Automation
11+ Best All-in-One AI Platforms in 2025
dev.to·2d·
Discuss: DEV
🤖AI Curation
GNN Predictions: Hidden Bugs and the Verification Nightmare by Arvind Sundararajan
dev.to·10h·
Discuss: DEV
⚙️Proof Engineering
Operable Software
ferd.ca·19h·
Discuss: Hacker News
👁️System Observability
Beyond Vector Search: Building a RAG That *Actually* Understands Your Data
dev.to·1d·
Discuss: DEV
🗂️Vector Databases
AI Guardrails, Gateways, Governance Nightmares
go.mcptotal.io·1d·
Discuss: Hacker News
🎯Threat Hunting
Meet Amazon Quick Suite: The agentic AI application reshaping how work gets done
aboutamazon.com·1d·
Discuss: Hacker News
🌊Streaming Systems
Show HN: A Field Report on Teaching a Chinese AI to Deconstruct Its Censorship
github.com·2d·
Discuss: Hacker News, r/PromptEngineering
🔲Cellular Automata
The Trillion Dollar AI Software Development Stack
a16z.com·11h·
Discuss: Hacker News
⚡Proof Automation