Ultrasound movie review and film summary (2022)
rogerebert.com·9h·
Discuss: Hacker News
➡️Category Theory
Quadratic Voting
radicalxchange.org·1d·
Discuss: Hacker News
🎮Verification Games
Hallmarks of cellular senescence: biology, mechanisms, regulations
nature.com·1d·
Discuss: Hacker News
🐫OCaml
Accessing the Kubernetes API from SQL Server 2025
dbafromthecold.com·1d·
Discuss: Hacker News
⎈Kubernetes
Do LLMs Identify Fonts?
maxhalford.github.io·3d·
Discuss: Hacker News
🐫Embedded OCaml
China state media says Nvidia must provide 'security proofs' to regain trust
reuters.com·1d·
Discuss: Hacker News, r/China
🧪Property-Based Testing
Bringing Together Clazy and Clang-Tidy
alex1701c.github.io·5d·
Discuss: Lobsters, Hacker News, r/cpp
🔬Static Analysis
"Tivoization" and Your Right to Install Under Copyleft and The GNU GPL
sfconservancy.org·5d·
Discuss: Hacker News
📦Unikernel Systems
Defining Observability for the AI Era, with $156M Series C Funding
observeinc.com·3d·
Discuss: Hacker News
👁️System Observability
Mama, There's a Plagiarist Behind You
thenoosphere.substack.com·1d·
Discuss: Substack
✓Automated Theorem Proving
The AI Stack No One Talks About: Data Acquisition as Infrastructure
ai.plainenglish.io·5d·
Discuss: r/programming
👁️System Observability
Engineering Buy-In
venki.dev·2d·
Discuss: Hacker News
🛡️seL4
Reddit Popularity Made Our Simulated Conscious AI Crash and How We Scaled Fast
dreami.me·4d·
Discuss: Hacker News
📦Unikernel Systems
AI is the Software. You are the Hardware
new.anupshinde.com·6d·
Discuss: Hacker News
🤖Program Synthesis
GenosDB: Distributed Graph-Based Database
genosdb.com·1d·
Discuss: Hacker News
🧱Immutable Infrastructure
Show HN: SilentGPT – Terminal ChatGPT Client in C (AES-256, No Telemetry)
github.com·5d·
Discuss: Hacker News
🍎XNU Internals
Recovering Diagnostic Value: Super-Resolution-Aided Echocardiographic Classification in Resource-Constrained Imaging
arxiv.org·1d
🐫Embedded OCaml
RL from Teacher-Model Refinement: Gradual Imitation Learning for Machine Translation
arxiv.org·2d
🐫OCaml
From Sufficiency to Reflection: Reinforcement-Guided Thinking Quality in Retrieval-Augmented Reasoning for LLMs
arxiv.org·2d
🎮Verification Games
Show HN: Send real-time updates to your mobile apps with Stac Framework
github.com·3d·
Discuss: Hacker News
🌐NetworkProtocols