iPhone 17 Pro: Three reasons you might want to upgrade from iPhone 16 Pro
9to5mac.com·55m
🍎Apple
The Component Manifesto
lifeiscontent.net·20h·
Discuss: Hacker News
🧱Immutable Infrastructure
NIST Ion Clock Sets New Record for Most Accurate Clock in the World
nist.gov·1d·
Discuss: Hacker News
💾Retro Computing
Claude for Financial Services
anthropic.com·1d·
Discuss: Hacker News
✓Automated Theorem Proving
Differential geometry of ML: a geometric interpretation of gradient descent
research.fal.ai·21h·
Discuss: Hacker News
➡️Category Theory
The Cost of Human-Centric Tools in LLM Workflows
joshbeckman.org·3d·
Discuss: Hacker News
👁️System Observability
Claude is kicking ChatGPT's butt (in one thing)
ben-mini.com·18h·
Discuss: Hacker News
🏹Effect Systems
Why AIOps Failed and Event Intelligence Solutions Are Different
thenewstack.io·1d
👁️System Observability
SentiDrop: A Multi Modal Machine Learning model for Predicting Dropout in Distance Learning
arxiv.org·1d
💻CS
Reflecting on PLDI 2025
people.csail.mit.edu·3d·
Discuss: Hacker News
⚙️PL Implementation
A code quality battle between 6 AI agents
sourcery.ai·1d·
Discuss: Hacker News
👁️System Observability
Caltech Scientists Make Producing Plastics From CO2 More Efficient
hackaday.com·7h
🐫OCaml
Enhancing ALS Progression Tracking with Semi-Supervised ALSFRS-R Scores Estimated from Ambient Home Health Monitoring
arxiv.org·1d
🔬Static Analysis
Computational algorithm for downward continuation of gravity anomalies
arxiv.org·2d
✓Automated Theorem Proving
Looking for Resources on Agentic Coding for Game Development
news.ycombinator.com·1d·
Discuss: Hacker News
🛡️seL4
A former OpenAI engineer describes what it’s really like to work there
techcrunch.com·21h·
Discuss: Hacker News
📦Unikernel Systems
Could smart goggles bridge the gap between Vision Pro and Apple Glasses?
9to5mac.com·1d
🍎Apple
EquiContact: A Hierarchical SE(3) Vision-to-Force Equivariant Policy for Spatially Generalizable Contact-rich Tasks
arxiv.org·14h
🏹Effect Systems
Google's Reverse Acquihire of Windsurf and the Future of AI Developer Tools
qodo.ai·1d·
Discuss: Hacker News
📦Unikernel Systems
LRMR: LLM-Driven Relational Multi-node Ranking for Lymph Node Metastasis Assessment in Rectal Cancer
arxiv.org·14h
🐫OCaml