Babies and LLMs
blog.karliner.net·1d·
Discuss: Hacker News
📏Linear Types
Gauss, an Agent for Autoformalization
math.inc·1d·
Discuss: Hacker News, Hacker News, Hacker News
📐Formal Methods
Claude's Memory Architecture Is the Polar Opposite of ChatGPT's
shloked.com·1d·
Discuss: Hacker News, r/ClaudeAI
💻Programming languages
The Weekly Win
yusufaytas.com·4h·
Discuss: Hacker News
📊Systems Monitoring
Optimizing 100B ClickHouse Events
replo.computer·1d·
Discuss: Hacker News
🗃️Database Internals
OpenStreetMap Foundation – Chairperson's Report
osmfoundation.org·1h·
Discuss: Hacker News
🌐Distributed systems
How to Use RTSP Protocol in Browsers and Why Direct Integration Isn't Possible
red5.net·4d·
Discuss: Hacker News
🌊Stream Processing
The Grammar Checker That Gets Developers
wearefounders.uk·1d·
Discuss: Hacker News
💻Programming languages
Demystifying Tensor Parallelism
robotchinwag.com·4d·
Discuss: Hacker News
⚡SIMD Optimization
I built my own CDN with Varnish and Nginx
polso.info·2d·
Discuss: Hacker News
🌐Distributed systems
humanely dealing with humungus crawlers
flak.tedunangst.com·3d·
Discuss: Lobsters, Hacker News, Hacker News, Hacker News
🏹Apache Arrow
Performance Improvements in .NET 10
devblogs.microsoft.com·3d·
Discuss: Lobsters, Hacker News, r/programming
💻Programming languages
Massively Parallel Agentic Simulations with Ray
anyscale.com·2d·
Discuss: Hacker News
🌐Distributed systems
An ER Trip in Ireland Taught Me Why Convex Is Saving Startups from Themselves
hackerpug.ghost.io·2d·
Discuss: Hacker News
🦆DuckDB
Show HN: YC Web Scraper – Collection of scripts to scrape YC Startup Directory
github.com·12h·
Discuss: Hacker News
🧩Microservices
Debian Trixie: the 2025 flavor release
collabora.com·4d·
Discuss: Hacker News
🌐Distributed systems
How We Built Our Model-Agnostic Agent for Log Analysis
blog.runreveal.com·3d·
Discuss: Hacker News
🌊Stream Processing
A New Type of Computing
news.ycombinator.com·1d·
Discuss: Hacker News
🌐Distributed systems
Reversing the licensing on a Quantum Scalar i40
blackjack.codes·2d·
Discuss: Hacker News
🏹Apache Arrow
An introduction to program synthesis
mchav.github.io·1d·
Discuss: Hacker News, r/programming
💻Programming languages