Steven Heller's Font of the Month: Archive Matrix
ilovetypography.com·2d·
Discuss: Hacker News
🦀Rust
Flag this post
How I Built a Kindle Reading Stats Dashboard That Works
aacevski.com·1d·
🔐Zero-Knowledge Proofs
Flag this post
The Case for Boring APIs
metorial.com·1d·
Discuss: Hacker News
Formal Methods
Flag this post
Bootc for Workstation Use
lwn.net·1d·
🐛Vulnerability Research
Flag this post
ASD – Barriers and Pathways in Formal and Self-Diagnosis
codeberg.org·23h·
Discuss: Hacker News
Formal Methods
Flag this post
Notes on Google's Space Data Centers
angadh.com·4d·
Discuss: Hacker News
📡Side-Channel Attacks
Flag this post
AI Ruined Programming, So I Fixed It (2025)
lightcapai.medium.com·1d·
Discuss: Hacker News
🔐Zero-Knowledge Proofs
Flag this post
Alchemy
joshcollinsworth.com·20h·
Discuss: Hacker News
🦀Rust
Flag this post
OpenAI asked Trump administration to expand Chips Act tax credit to cover data centers
techcrunch.com·1d·
Discuss: Hacker News
CUDA
Flag this post
Zensical – A modern static site generator built by the Material for MkDocs team
squidfunk.github.io·4d·
🐛Vulnerability Research
Flag this post
LangChain Open Deep Research Internals: A step-by-step guide
bolshchikov.com·1d·
Discuss: Hacker News
Formal Methods
Flag this post
Deployment Confidence in Era of AI Coding
techblog.cloudkitchens.com·4h·
Discuss: Hacker News
📡Side-Channel Attacks
Flag this post
Patterns for Building a Scalable Multi-Agent System
devblogs.microsoft.com·1d·
Discuss: Hacker News
📡Side-Channel Attacks
Flag this post
Why we should all be terrified of a myopia epidemic
healio.com·3d·
Discuss: Hacker News
🔒Cryptography
Flag this post
Topographical sparse mapping: A training framework for deep learning models
sciencedirect.com·4d·
Discuss: Hacker News
📡Side-Channel Attacks
Flag this post
Readtape: Decode the analog waveform extracted from old computer mag tapes
github.com·1d·
Discuss: Hacker News
🐛Vulnerability Research
Flag this post
Drax: Speech Recognition with Discrete Flow Matching
huggingface.co·7h·
Discuss: Hacker News
Formal Methods
Flag this post
Show HN: Linguistic RL – A 7B model discovers Occam's Razor through reflection
github.com·2d·
Formal Methods
Flag this post
AI Assisted Website Navigation
willvincentparrone.com·7h·
Discuss: Hacker News
🐛Vulnerability Research
Flag this post
Benchmarking the Most Reliable Document Parsing API
tensorlake.ai·3d·
Discuss: Hacker News
Formal Methods
Flag this post