Type-Hinting DataFrames for Static Analysis and Runtime Validation
medium.com·2d·
Discuss: Hacker News
🔬Static Analysis
God Created the Real Numbers
ethanheilman.com·18h·
Discuss: Hacker News
➡️Category Theory
The Emacs thread-related code needs a maintainer
lists.gnu.org·2d·
Discuss: Hacker News
🐫Embedded OCaml
Rare IBM Schools Computer 1969
retrocomputingforum.com·33m·
Discuss: Hacker News
💾Retro Computing
What Is Mojo?
harshal.is-cool.dev·21h·
Discuss: Hacker News
🔤DSLs
Google Debuts Device-Bound Session Credentials Against Session Hijacking
feistyduck.com·19h·
Discuss: Hacker News
🌐NetworkProtocols
Context Engineering 101: What We Can Learn from Anthropic
omnigeorgio.beehiiv.com·12h·
Discuss: Hacker News
🐫Embedded OCaml
In Praise of CliffsNotes Study Guides in the Age of AI
lithub.com·1d·
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·15h·
Discuss: Hacker News
🧗Climbing Tech
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·1d
📡Network Protocol Design
Hallucinating with AI: AI Psychosis as Distributed Delusions
arxiv.org·1d
💻CS
Some thoughts on LLMs and Software Development
martinfowler.com·19h·
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·3d
🐫OCaml
The Performance Spectrum
mropert.github.io·1d·
Discuss: Hacker News
🔬Static Analysis
Disposable vs. Durable Code: You Can’t Build Rome with Sticky Notes
spin.atomicobject.com·21h·
Discuss: Hacker News
🧱Immutable Infrastructure
Llamora is an experimental, local-first diary companion
github.com·23h·
Discuss: Hacker News
🐫OCaml
Sound and Solution-Complete CCBS
arxiv.org·4d
✓Automated Theorem Proving
FLAegis: A Two-Layer Defense Framework for Federated Learning Against Poisoning Attacks
arxiv.org·2d
✓Automated Theorem Proving