🤖 AI

new AI models, new AI APIs, experience and best practices from creating AI-based applications

Great Ideas in Theoretical Computer Science
ocw.mit.edu·2d·
Discuss: Hacker News
✓Formal verification
Typechecker Zoo
sdiehl.github.io·14h·
Discuss: Lobsters, r/programming
✓Formal verification
Lasso Transactions – Fund Creators and Combat Free-Riders Without Copyright
rasmuskirk.com·1d·
Discuss: Hacker News
🤝Using AI for programming
Top Free Web Scrapers in 2025 for Easy Data Scraping
momoproxy.com·2d·
Discuss: Hacker News
🗃️Local databases
Show HN: Let Claude Code/Cursor agents page your phone when they're finished
heyoncall.com·2d·
Discuss: Hacker News
🤝Using AI for programming
Once an AI world leader, Canada is now losing the AI startup race
theglobeandmail.com·4d·
Discuss: Hacker News
🤝Using AI for programming
GPT-5 Set the Stage for Ad Monetization and the SuperApp
semianalysis.com·3d·
Discuss: Hacker News
🤝Using AI for programming
We need a Reasoning Effort standard (for benchmarking and reporting)
reddit.com·3d·
Discuss: r/LocalLLaMA
🤝Using AI for programming
Red teams are safe from robots for now, as AI makes better shield than spear
theregister.com·4d·
Discuss: Hacker News
🤝Using AI for programming
Quality Wednesdays: How we trained our team to see what doesn’t work
linear.app·2d·
Discuss: Hacker News
🤝Using AI for programming
Wrong Again
pearsa.substack.com·1d·
Discuss: Substack
✓Formal verification
Is the AI bubble about to burst?
unherd.com·4d·
Discuss: Hacker News, unherd.com
🤝Using AI for programming
Answering the BfDI's questions on personal data in LLMs
desfontain.es·2d·
Discuss: Lobsters, Hacker News
🤝Using AI for programming
The Great Generalist Extinction
wryco.com·4d·
Discuss: Hacker News
🤝Using AI for programming
Vibe coding is not the AI utopia it seems
northpodie.blogspot.com·6d·
Discuss: Hacker News
🤝Using AI for programming
Simple Claude Code Review Prompt
josecasanova.com·3d·
Discuss: Hacker News
🤝Using AI for programming
DeepSeek delays next AI model due to poor performance of Chinese-made chips
arstechnica.com·1d·
Discuss: Hacker News, r/hardware
🤝Using AI for programming
The 5 stages of SaaS Death
arnon.dk·5d·
Discuss: Hacker News
🤝Using AI for programming
Zero-to-Hero Deep Reinforcement Learning Course: Update with Advanced Topics
drlzh.ai·5d·
Discuss: Hacker News
🤝Using AI for programming
Show HN: Veo 3: AI Video with Built-In Sound
veo3-ai.co·4d·
Discuss: Hacker News
🤝Using AI for programming