A framework for pricing AI products
stripe.com·21h·
Discuss: Hacker News
👁️System Observability
'Make invalid states representable' considered harmful
seangoedecke.com·3d·
Discuss: Lobsters, Hacker News, r/programming
🧪Property-Based Testing
Type Checking is a Symptom, Not a Solution
programmingsimplicity.substack.com·6d·
Discuss: Substack
🐫Embedded OCaml
🔗 I've got your shovelware right here
justin.searls.co·3d·
Discuss: Substack, Hacker News
👁️System Observability
I built a free tool to take down pirated versions of my app – AMA
news.ycombinator.com·16h·
Discuss: Hacker News
🍎Apple
MasconCube: Fast and Accurate Gravity Modeling with an Explicit Representation
arxiv.org·17h
🐫OCaml
Optimization Methods and Software for Federated Learning
arxiv.org·17h
🔠Type-Level Programming
An End-to-End Deep Learning Framework for Arsenicosis Diagnosis Using Mobile-Captured Skin Images
arxiv.org·17h
📚Automata Learning
FOSS Projects Handle Legal Takedown Requests
f-droid.org·7h·
Discuss: Hacker News
❄️Nixified Development
The Four Fallacies of Modern AI
blog.apiad.net·19h·
Discuss: Hacker News
🧠Automated Reasoning
Don't Build an RL Environment Startup
benanderson.work·3d·
Discuss: Hacker News
🔄Reproducible Builds
Anchoring Refusal Direction: Mitigating Safety Risks in Tuning via Projection Constraint
arxiv.org·2d
🐫OCaml
Students' Perception of LLM Use in Requirements Engineering Education: An Empirical Study Across Two Universities
arxiv.org·2d
⚙Operational Semantics
QualityFM: a Multimodal Physiological Signal Foundation Model with Self-Distillation for Signal Quality Challenges in Critically Ill Patients
arxiv.org·2d
🩹Self-Healing Systems
Lessons in Disabling RC4 in Active Directory
syfuhs.net·9h·
Discuss: Hacker News
🛡️seL4
The Future of Agentic Coding Is Multiplayer
thenewstack.io·2d
🔄Reproducible Builds
Narrative-Guided Reinforcement Learning: A Platform for Studying Language Model Influence on Decision Making
arxiv.org·17h
📚Automata Learning
Designing user interfaces with bots not buttons
interconnected.org·8h·
Discuss: Hacker News
🔬Unikernels
NVIDIA Rubin CPX Accelerates Inference Performance and Efficiency for 1M+ Token Context Workloads
developer.nvidia.com·3d·
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