Cliodynamics – History as Science
peterturchin.com·48m·
Discuss: Hacker News
⚡Process Calculi
Structs and Embedded Schemas in Elixir: Beyond Maps
blog.appsignal.com·2d·
Discuss: Hacker News
💎Refinement Types
The 10x DevRel
adatosystems.com·1d·
Discuss: Hacker News
⚙Operational Semantics
Week 1: Building ZipZen – Zero-Config Apt/YUM/Helm Repos
indiehackers.com·3d·
Discuss: Hacker News
🐳Containerization
A framework for pricing AI products
stripe.com·1d·
Discuss: Hacker News
👁️System Observability
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
The new compression algorithm is not like the standard ones
ferki-git-creator.github.io·4d·
Discuss: Hacker News
🧮Lambda Calculus
Type Checking is a Symptom, Not a Solution
programmingsimplicity.substack.com·6d·
Discuss: Substack
🐫Embedded OCaml
Ask HN: When it's too much observability?
news.ycombinator.com·4d·
Discuss: Hacker News
👁️System Observability
I built a free tool to take down pirated versions of my app – AMA
news.ycombinator.com·19h·
Discuss: Hacker News
🍎Apple
Anchoring Refusal Direction: Mitigating Safety Risks in Tuning via Projection Constraint
arxiv.org·2d
🐫OCaml
QualityFM: a Multimodal Physiological Signal Foundation Model with Self-Distillation for Signal Quality Challenges in Critically Ill Patients
arxiv.org·2d
🩹Self-Healing Systems
Students' Perception of LLM Use in Requirements Engineering Education: An Empirical Study Across Two Universities
arxiv.org·2d
⚙Operational Semantics
For everyone who wants simple data analysis, and sick stuff like data podcasts
news.ycombinator.com·12h·
Discuss: Hacker News
🐳Containerization
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·21h
📚Automata Learning
Kubernetes v1.34: Mutable CSI Node Allocatable Graduates to Beta
kubernetes.io·6h
⎈Kubernetes
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