Astronomers witness dawn of new solar system for first time
abcnews.go.com·11h·
Discuss: Hacker News
📈Timeseries
Google DeepMind Formal Conjectures
google-deepmind.github.io·3h·
Discuss: Hacker News
📐Formal Methods
Paylias: A payment network alternative to Visa and Mastercard
paylias.xyz·2d·
Discuss: Hacker News
🌐Distributed systems
PostgreSQL Schema Management via Source Files
github.com·1d·
Discuss: Hacker News
🗃️Database Internals
Don't Trust Machines
campbellramble.ai·1h·
Discuss: Hacker News
📈Timeseries
Breaking to Build: Fuzzing the Kotlin Compiler
blog.jetbrains.com·3d·
Discuss: Hacker News
💻Programming languages
OpenAI's gold medal performance on the International Math Olympiad
simonwillison.net·1d
📐Formal Methods
Transitioning to Virtual Threads Using the Micronaut Loom Carrier
micronaut.io·4d·
Discuss: Hacker News
📮Message Queues
This Should Not Be Possible
ghuntley.com·1d·
Discuss: Hacker News
💻Programming languages
Fastest BSC RPC: GetBlock Achieves Top Speeds in the Americas
hackernoon.com·2d
🌊Stream Processing
My favorite use-case for AI is writing logs
newsletter.vickiboykis.com·2d·
Discuss: Lobsters, Hacker News
💻Programming languages
Getting off US tech: a guide
disconnect.blog·2d·
Discuss: Hacker News, r/privacy
📮Message Queues
When Everything Is Vibing
computerworld.com·23h·
Discuss: Hacker News
💻Programming languages
OpenAI's ChatGPT Agent Outperforms the Model Alone: Impact for Developers
belitsoft.com·2d·
Discuss: Hacker News
📮Message Queues
From Paper to Proof: How We Can Formally Verify Blockchain Protocols with Lean4
medium.com·3d·
Discuss: Hacker News
📐Formal Methods
How Distillation Makes AI Models Smaller and Cheaper
quantamagazine.org·2d·
Discuss: Hacker News, Hacker News
🗃️Database Internals
CVE-2024-43402: What You Need to Know
hackernoon.com·1d
🏹Apache Arrow
MCP with Postgres – Querying my data in plain English
punits.dev·2d·
Discuss: Hacker News
🚀Query Engines
Dear Sam Altman
news.ycombinator.com·1h·
Discuss: Hacker News
🧠Memory Management
Navigating AI Dementia: Strategies for Safe Rollback
news.ycombinator.com·59m·
Discuss: Hacker News
🌐Distributed systems