Type-Hinting DataFrames for Static Analysis and Runtime Validation
medium.com·2d·
Discuss: Hacker News
🔬Static Analysis
Can We Build Trustable Hardware? (2019)
bunniestudios.com·13h·
Discuss: Hacker News
🔄Reproducible Builds
God Created the Real Numbers
ethanheilman.com·10h·
Discuss: Hacker News
➡️Category Theory
The Emacs thread-related code needs a maintainer
lists.gnu.org·1d·
Discuss: Hacker News
🐫Embedded OCaml
strongly typed?
dotat.at·23h·
Discuss: Hacker News
🔬Static Analysis
Google Debuts Device-Bound Session Credentials Against Session Hijacking
feistyduck.com·11h·
Discuss: Hacker News
🌐NetworkProtocols
Context Engineering 101: What We Can Learn from Anthropic
omnigeorgio.beehiiv.com·4h·
Discuss: Hacker News
🐫Embedded OCaml
LLMs for Software Developers (notes from my talk at NWRUG)
theartandscienceofruby.com·1d·
Discuss: Lobsters, Hacker News
🐫Embedded OCaml
Relacy Race Detector is a verifier for relaxed memory models
1024cores.net·3d·
Discuss: Hacker News
🔬Static Analysis
In Praise of CliffsNotes Study Guides in the Age of AI
lithub.com·16h·
Discuss: Hacker News
✓Automated Theorem Proving
Detecting and countering misuse of AI: August 2025
anthropic.com·2d·
Discuss: Hacker News, Hacker News
✓Automated Theorem Proving
Skills You Need to Develop to Be a Better CTO (2017)
m.brianmcmanus.org·7h·
Discuss: Hacker News
🧗Climbing Tech
Thoughts on Vibe Coding from a 40-year veteran
reddit.com·11h·
Discuss: r/programming
🤖Program Synthesis
You're doing context engineering wrong
github.com·1d·
Discuss: Hacker News
🛡️seL4
"She was useful, but a bit too optimistic": Augmenting Design with Interactive Virtual Personas
arxiv.org·21h
📡Network Protocol Design
Hallucinating with AI: AI Psychosis as Distributed Delusions
arxiv.org·21h
💻CS
Some thoughts on LLMs and Software Development
martinfowler.com·11h·
Discuss: Lobsters, Hacker News, r/programming
🐫Embedded OCaml
MTalk-Bench: Evaluating Speech-to-Speech Models in Multi-Turn Dialogues via Arena-style and Rubrics Protocols
arxiv.org·2d
🐫OCaml
The Performance Spectrum
mropert.github.io·1d·
Discuss: Hacker News
🔬Static Analysis
Llamora is an experimental, local-first diary companion
github.com·15h·
Discuss: Hacker News
🐫OCaml