Government Accountability Office Gets Schooled by the Department of Education
eatingpolicy.com·51m·
Discuss: Hacker News
🔄Reproducible Builds
Structs and Embedded Schemas in Elixir: Beyond Maps
blog.appsignal.com·3d·
Discuss: Hacker News
💎Refinement Types
The 10x DevRel
adatosystems.com·1d·
Discuss: Hacker News
⚙Operational Semantics
Exceptions vs. Results
tifi.blog·5d·
Discuss: Hacker News
💎Refinement Types
'Make invalid states representable' considered harmful
seangoedecke.com·4d·
Discuss: Lobsters, Hacker News, r/programming
🧪Property-Based Testing
OCR and RAG for Tables
mrm1001.github.io·2d·
Discuss: Hacker News, Hacker News
🐫Embedded OCaml
I built a free tool to take down pirated versions of my app – AMA
news.ycombinator.com·1d·
Discuss: Hacker News
🍎Apple
Designing user interfaces with bots not buttons
interconnected.org·23h·
Discuss: Hacker News
🔬Unikernels
NVIDIA Rubin CPX Accelerates Inference Performance and Efficiency for 1M+ Token Context Workloads
developer.nvidia.com·4d·
Discuss: Hacker News
🧩Separation Logic
Show HN: Recall.ai (YC W20) – API for meeting recordings and transcripts
news.ycombinator.com·1d·
Discuss: Hacker News
👁️System Observability
Bringing memory to teams at work
anthropic.com·1d·
Discuss: Hacker News
⚡Process Calculi
For everyone who wants simple data analysis, and sick stuff like data podcasts
news.ycombinator.com·1d·
Discuss: Hacker News
🐳Containerization
Exploring approaches to computational representation and classification of user-generated meal logs
arxiv.org·3d
📚Automata Learning
You too can run malware from NPM (I mean without consequences)
github.com·3d·
Discuss: Hacker News
🐳Containerization
Microsoft just announced Visual Studio 2026!
visualstudio.microsoft.com·2d·
Discuss: DEV, Hacker News
🔄Reproducible Builds
Real-time CBCT reconstructions using Krylov solvers in repeated scanning procedures
arxiv.org·1d
⚡Process Calculi
Identifying rack-mountable drive chassis
reddit.com·1d·
Discuss: r/homelab
🏠HomeLab
Accuracy analysis and optimization of scale-independent third-order WENO-Z scheme with critical-point accuracy preservation
arxiv.org·1d
🐫OCaml
Impact of Labeling Inaccuracy and Image Noise on Tooth Segmentation in Panoramic Radiographs using Federated, Centralized and Local Learning
arxiv.org·3d
🧩Separation Logic
A simple clustering and replication solution for Postgres
enterprisedb.com·2h·
Discuss: Hacker News
🏠HomeLab