News
Daily tech news with AI-generated summaries
Jun 12, 2026
The first game engine for robotics
luckyrobots.com•26 points•17 comments
Jun 11, 2026
Formal Methods and the Future of Programming
blog.janestreet.com•93 points•2 comments
Jun 11, 2026
Bitsy
bitsy.org•85 points•3 comments
Jun 11, 2026
Working in Glass
asimov.press•4 points•0 comments
Jun 11, 2026
The only scalable delete in Postgres is DROP TABLE
planetscale.com•147 points•53 comments
Jun 11, 2026
Lisp's Influence on Ruby
blog.tacoda.dev•230 points•66 comments
Jun 11, 2026
The 90-year-old idea behind JEPA models: Canonical Correlation Analysis
shonczinner.github.io•26 points•6 comments
Jun 11, 2026
Cohere's First Model for Developers
cohere.com•49 points•12 comments
Jun 11, 2026
Segmented type appreciation corner (2018)
aresluna.org•69 points•15 comments
Jun 11, 2026
USB Power Delivery: Plugging into the Benefits
aptiv.com•43 points•90 comments