Common Expression Language – Fast, safe expression language
cel.dev·1d·
Discuss: Hacker News
🤖AI
Show HN: NativeSwap – Low cost cross-chain swaps without wrappers or bridges
nativeswap.io·4d·
Discuss: Hacker News
🤖AI
Chess Llama - Training a tiny Llama model to play chess
lazy-guy.github.io·2d·
Discuss: Hacker News, r/LocalLLaMA, r/programming
🤖AI
A Self-hosted, BSD-native Gemini Protocol Server Stack – The BSD Cafe Journal
journal.bsd.cafe·1d·
Discuss: Lobsters, Hacker News
🤖AI
The Argument Against Quantum Computers (2018)
quantamagazine.org·1d·
Discuss: Hacker News
🤖AI
Why Java Is Still Worth Learning in 2025: A Developer's 25-Year Journey
empatheticdeveloper.wordpress.com·2d·
Discuss: Hacker News
🤖AI
Humans beat AI at international math contest despite gold-level AI scores
phys.org·8h·
Discuss: Hacker News
🤖AI
Reflex v0.8.0 – Refactoring for Performance
reflex.dev·1d·
Discuss: Hacker News
🤖AI
Dark Source, Dark Forest: Rethinking Open Source and Blockchain in the Age of AI
darksource.ai·1d·
Discuss: Hacker News, r/opensource
🤖AI
The Reason Your AI Code Becomes Unmaintainable (and How to Fix It)
blog.daviddodda.com·13h·
Discuss: Hacker News
🤖AI
Response to DHH on the gift of open source
bholmes.dev·1d·
Discuss: Hacker News
🤖AI
AI Sovereignty: The Emperor Has No Clothes
engineeringprompts.substack.com·1d·
Discuss: Substack
🤖AI
Advanced version of Gemini with Deep Think officially achieves gold-medal standard at the International Mathematical Olympiad
deepmind.google·1d·
Discuss: Lobsters, Hacker News
🤖AI
From Paper to Proof: How We Can Formally Verify Blockchain Protocols with Lean4
medium.com·5d·
Discuss: Hacker News
🤖AI
Where have the IMO gold medallists ended up, part four of three?
xquant.substack.com·23h·
Discuss: Substack
🤖AI
How I keep up with AI research
thijsverreck.com·1d·
Discuss: Hacker News
🤖AI
Python 3.14.0rc1
python.org·12h·
Discuss: Hacker News
🤖AI
Vibe coding a Greek learning app without knowing Gree
mikeborozdin.com·3d·
Discuss: Hacker News
🤖AI
Type Checking with Symbolic Execution
bullno1.com·3d·
Discuss: Hacker News
🤖AI
Input-leap/input-leap: Open-source KVM software (barrier fork)
github.com·3d·
Discuss: Hacker News
🤖AI