Loving Your Tree to Death: Girdling
bridgingthegap.org·23h·
Discuss: Hacker News
🔬Static Analysis
System Design Basics - Databases and Connection Pools
javarevisited.substack.com·16h·
Discuss: Substack, r/programming
👁️System Observability
How to Detect Text Truncation in SwiftUI?
fatbobman.com·1d·
Discuss: Hacker News
🐫Embedded OCaml
TierListMaker – Create epic tier list
tierlistmaker.org·13h·
Discuss: Hacker News
🍎Apple
The Surgeon and the Homemaker
thepublicdiscourse.com·20h·
Discuss: Hacker News
🎮Verification Games
A chemical language model for molecular taste prediction
nature.com·4d·
Discuss: Hacker News
🐫OCaml
Hypercapitalism and the AI Talent Wars
blog.johnluttig.com·12h·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
SFrame-based stack unwinding for the kernel
lwn.net·2d·
Discuss: Hacker News
👁️System Observability
Ready lists
11011110.github.io·6d·
Discuss: Hacker News
💻CS
Meta Superintelligence – Leadership Compute, Talent, and Data
semianalysis.com·2d·
Discuss: Hacker News, Hacker News
🖥️Self-hosted Infrastructure
Nvidia Unveils Helix Parallelism: 32x Faster AI Inference
storagereview.com·2d·
Discuss: Hacker News
⚙️Operating System Design
Tools using tools
cassidoo.co·1d·
Discuss: Hacker News
✓Automated Theorem Proving
Most comprehensive review of AI coding agents for Kotlin/Android tasks
jasonpearson.dev·4d·
Discuss: Hacker News
🧱Immutable Infrastructure
Show HN: A Raycast-compatible launcher for Linux
github.com·15h·
Discuss: Hacker News, r/linux
🍎XNU Internals
Microbeam Decision Pathways for Goal-Aligned Autonomous Agents
news.ycombinator.com·4d·
Discuss: Hacker News
🛡️seL4
Effect of Static vs. Conversational AI-Generated Messages on Colorectal Cancer Screening Intent: a Randomized Controlled Trial
arxiv.org·4h
🎮Verification Games
Claude Opus Analysis of Twitter's 2023 ML Algorithm
github.com·1d·
Discuss: Hacker News
🛡️seL4
Ask HN: Using AI/LLM APIs makes me want to give up. What am I doing wrong?
news.ycombinator.com·1h·
Discuss: Hacker News
🍎Apple
Prompt Engineering for Requirements Engineering: A Literature Review and Roadmap
arxiv.org·3d
🔍Formal Verification
Perceptual Distortions and Autonomous Representation Learning in a Minimal Robotic System
arxiv.org·3d
🔄Finite State Machines