Search Explore

• day
• week
• month
• year
• all

• martin.kleppmann.com
  AI will make formal verification go mainstream
  827 points · 6 months ago · 434 comments
• pudding.cool
  Sizing chaos
  827 points · 4 months ago · 425 comments
• github.com
  Spanish legislation as a Git repo
  827 points · 3 months ago · 233 comments
• www.nair.sh
  Why senior developers fail to communicate their expertise
  826 points · 1 months ago · 333 comments
• mistral.ai
  Mistral 3 family of models released
  826 points · 7 months ago · 236 comments
• nolanlawson.com
  We mourn our craft
  824 points · 5 months ago · 869 comments
• axelk.ee
  AI is just unauthorised plagiarism at a bigger scale
  824 points · 1 months ago · 733 comments
• seattleultrasonics.com
  Ultrasonic Chef's Knife
  824 points · 9 months ago · 671 comments
• developers.googleblog.com
  Gemma 3 270M: Compact model for hyper-efficient AI
  824 points · 10 months ago · 317 comments
• twitter.com
  SpaceX says it has agreement to acquire Cursor for $60B
  823 points · 2 months ago · 989 comments
• www.reuters.com
  Norway imposes near ban on AI in elementary school
  823 points · 20 days ago · 588 comments
• agent-safehouse.dev
  Agent Safehouse – macOS-native sandboxing for local agents
  823 points · 4 months ago · 178 comments
• support.last.fm
  Last.fm is now independent
  822 points · 1 months ago · 220 comments
• maurycyz.com
  5x5 Pixel font for tiny screens
  822 points · 2 months ago · 162 comments
• hackernewstrends.com
  Show HN: I made Google Trends for Hacker News by indexing 18 years of comments
  822 points · 14 days ago · 156 comments
• pistachioapp.com
  Copilot broke audit logs, but Microsoft won't tell customers
  821 points · 10 months ago · 309 comments
• alexschapiro.com
  Reverse engineering a $1B Legal AI tool exposed 100k+ confidential files
  821 points · 7 months ago · 288 comments
• www.bloomberg.com
  Google plans to invest up to $40B in Anthropic
  820 points · 2 months ago · 828 comments
• openwrt.org
  OpenWrt One – Open Hardware Router
  820 points · 3 days ago · 320 comments
• www.theverge.com
  OpenAI declares 'code red' as Google catches up in AI race
  819 points · 7 months ago · 930 comments