Government Accountability Office Gets Schooled by the Department of Education
eatingpolicy.com·3h·
Discuss: Hacker News
🔄Reproducible Builds
EU regulators let Microsoft off the hook after Teams unbundling pledge
theregister.com·4h·
Discuss: Hacker News
🐳Containerization
The 10x DevRel
adatosystems.com·2d·
Discuss: Hacker News
⚙Operational Semantics
How Python Implements List Comprehensions
pythonkoans.substack.com·3d·
Discuss: Substack
📐Denotational Semantics
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
I built a free tool to take down pirated versions of my app – AMA
news.ycombinator.com·1d·
Discuss: Hacker News
🍎Apple
AIs will greatly change engineering in AI companies well before AGI
lesswrong.com·2d
👁️System Observability
Anchoring Refusal Direction: Mitigating Safety Risks in Tuning via Projection Constraint
arxiv.org·3d
🐫OCaml
Students' Perception of LLM Use in Requirements Engineering Education: An Empirical Study Across Two Universities
arxiv.org·3d
⚙Operational Semantics
QualityFM: a Multimodal Physiological Signal Foundation Model with Self-Distillation for Signal Quality Challenges in Critically Ill Patients
arxiv.org·3d
🩹Self-Healing Systems
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·1d
📚Automata Learning
Kubernetes v1.34: Mutable CSI Node Allocatable Graduates to Beta
kubernetes.io·20h
⎈Kubernetes
Designing user interfaces with bots not buttons
interconnected.org·1d·
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