FastHTML page

1. Tony Hoare has died (blog.computationalcomplexity.org)

810 points by speckx 4 hours ago | 90 comments

2. Show HN: RunAnwhere – Faster AI Inference on Apple Silicon (github.com)

80 points by sanchitmonga22 an hour ago | 23 comments

3. Debian decides not to decide on AI-generated contributions (lwn.net)

157 points by jwilk 4 hours ago | 120 comments

4. Billion-Parameter Theories (www.worldgov.org)

16 points by seanlinehan 35 minutes ago | 5 comments

5. I built a programming language using Claude Code (ankursethi.com)

42 points by GeneralMaximus 2 hours ago | 48 comments

6. Intel Demos Chip to Compute with Encrypted Data (spectrum.ieee.org)

165 points by sohkamyung 5 hours ago | 51 comments

7. Rebasing in Magit (entropicthoughts.com)

135 points by ibobev 5 hours ago | 94 comments

8. Redox OS has adopted a Certificate of Origin policy and a strict no-LLM policy (gitlab.redox-os.org)

298 points by pjmlp 10 hours ago | 315 comments

9. I put my whole life into a single database (howisfelix.today)

344 points by lukakopajtic 8 hours ago | 164 comments

10. Meta acquires Moltbook (www.axios.com)

226 points by mmayberry 4 hours ago | 143 comments

11. Show HN: How I Topped the HuggingFace Open LLM Leaderboard on Two Gaming GPUs (dnhkng.github.io)

143 points by dnhkng 5 hours ago | 48 comments

12. Launch HN: Didit (YC W26) – Stripe for Identity Verification

36 points by rosasalberto 3 hours ago | 37 comments

13. More agent tools and AI tools should be pricing on outcomes (2025) (jxnl.co)

12 points by AnhTho_FR 16 hours ago | 2 comments

14. The Enterprise Context Layer (andychen32.substack.com)

10 points by zachperkel 3 hours ago | 0 comments

15. RFC 454545 – Human Em Dash Standard (gist.github.com)

76 points by jdauriemma 4 hours ago | 60 comments

16. I used pulsar detection techniques to turn a phone into a watch timegrapher (www.chronolog.watch)

26 points by tylerjaywood 3 days ago | 5 comments

17. Throwing away 18 months of code and starting over (tompiagg.io)

7 points by tomaspiaggio12 3 hours ago | 0 comments

18. Online age-verification tools for child safety are surveilling adults (www.cnbc.com)

350 points by bilsbie 5 hours ago | 206 comments

19. Open Weights Isn't Open Training (www.workshoplabs.ai)

15 points by addiefoote8 19 hours ago | 3 comments

20. Defeat as Method (www.cabinetmagazine.org)

6 points by akbarnama an hour ago | 0 comments

21. The Gervais Principle, or the Office According to "The Office" (2009) (www.ribbonfarm.com)

230 points by janandonly 3 days ago | 97 comments

22. We are building data breach machines and nobody cares (idealloc.me)

21 points by idealloc_haris 4 hours ago | 8 comments

23. PgAdmin 4 9.13 with AI Assistant Panel (www.pgadmin.org)

70 points by __natty__ 6 hours ago | 20 comments

24. Yann LeCun's AI startup raises $1B in Europe's largest ever seed round (www.ft.com)

395 points by ottomengis 8 hours ago | 212 comments

25. Levels of Agentic Engineering (www.bassimeledath.com)

11 points by bombastic311 10 hours ago | 2 comments

26. How many options fit into a boolean? (herecomesthemoon.net)

35 points by luu 4 days ago | 17 comments

27. Sending Jabber/XMPP Messages via HTTP (gultsch.de)

42 points by inputmice 5 hours ago | 5 comments

28. MariaDB innovation: vector index performance (smalldatum.blogspot.com)

13 points by gslin 3 days ago | 0 comments

29. A New Version of Our Oracle Solaris Environment for Developers (blogs.oracle.com)

38 points by naves 3 days ago | 24 comments

30. Show HN: DD Photos – open-source photo album site generator (Go and SvelteKit) (github.com)

46 points by dougdonohoe 5 hours ago | 11 comments

Scroll for more..