Hackernews posts about SeL4

SeL4 is a highly-configurable and reliable microkernel operating system designed to provide a robust foundation for building secure and efficient systems in various domains.

1. Point AI at a "Proven" Microkernel?
   4 points by RantyDave 23 days ago | 2 comments
2. Document-borne AI worms can self-propagate through Copilot for Word (enklypesalt.com)
   384 points by Canopy9560 22 days ago | 300 comments
3. Harness engineering for self-improvement (lilianweng.github.io)
   334 points by tosh 17 days ago | 80 comments
4. Celld: Self-hosted, distributed Durable Objects (github.com)
   286 points by calvinfo 15 days ago | 54 comments
5. Prime Agent: A self-improving RLM agent (www.primeintellect.ai)
   254 points by Xeophon 15 days ago | 69 comments
6. Ornith-1.5: From Self-Scaffolding to Self-Improvement (ornith.ai)
   208 points by CommonGuy 1 day ago | 73 comments
7. Self-contained highly-portable Python distributions (gregoryszorc.com)
   167 points by jcbhmr 24 days ago | 43 comments
8. Self-hosting Kimi K3: 20% more hardware cost, 20% better task resolution (aistack.imec-int.com)
   161 points by flifenstein 22 days ago | 47 comments
9. Show HN: CheapSecurity – Lightweight, Self-Hosted CCTV for Linux SBCs (github.com)
   140 points by zeldone 25 days ago | 37 comments
10. The bond market isn’t buying what Fed Chair Warsh is selling (www.reuters.com)
    139 points by kaycebasques 21 days ago | 96 comments
11. Self-host your mail server (blog.haschek.at)
    130 points by geek_at 28 days ago | 138 comments
12. Self hosted email continues to steeply decline (labs.ripe.net)
    123 points by minusf 3 days ago | 176 comments
13. Introducing selfie for sign-in: a new way to access your Google Account (blog.google)
    116 points by lkurtz 28 days ago | 111 comments
14. Red queen hypothesis – A new way forward for self-improving AI (www.cst.cam.ac.uk)
    103 points by hardlianotion 4 days ago | 28 comments
15. Show HN: Let's Seal – Let's Encrypt for document signing, free and self-hosted (github.com)
    94 points by nsokin 24 days ago | 32 comments
16. Amazon, which started off selling books, is destroying rare texts to train AI (techcrunch.com)
    94 points by rzk 3 days ago | 17 comments
17. Dario Amodei's stance on open weights is self-serving and short-sighted (janilowski.pl)
    82 points by janilowski 20 days ago | 30 comments
18. Self-hosted web push Cloudflare Worker, works on iOS (kukuroo.cc)
    76 points by saiday 6 days ago | 16 comments
19. US sells 30-year bonds at highest borrowing costs since 2001 (www.ft.com)
    64 points by petethomas 7 days ago | 77 comments
20. Show HN: Vocal Slice – Cut audio by selecting text, fully on-device (vocalslice.com)
    51 points by terranivium 10 days ago | 41 comments
21. Show HN: Computable – Buy, sell, and redeem GPU for the exact weeks you want (www.getcomputable.com)
    46 points by yuansong98 30 days ago | 29 comments
22. Waymo CEO explains why Tesla’s camera-only self-driving falls short (electrek.co)
    43 points by theanonymousone 16 days ago | 94 comments
23. Chip stocks tumble as AI sell-off deepens (www.ft.com)
    36 points by JumpCrisscross 23 days ago | 7 comments
24. Coldcard's $38M (so far) exploit shakes faith in self-custody (www.coindesk.com)
    32 points by wslh 19 days ago | 30 comments
25. Show HN: How to build and self-host a code review agent (www.trytilde.ai)
    29 points by solsol94 20 days ago | 6 comments
26. The Future of CSS: Target Multiple Classes with the Class Prefix Selector (www.bram.us)
    28 points by cdrnsf about 23 hours ago | 13 comments
27. Show HN: Flashpaper – Self-destructing secret sharing with no database (flashpaper.app)
    25 points by minpym 23 days ago | 12 comments
28. Celld: Self-hosted, distributed Durable Objects (celld.dev)
    22 points by godisdad 8 days ago | 7 comments
29. Show HN: PyScrappy, self-healing web scraping selectors plus an MCP server (github.com)
    22 points by vedaant00 5 days ago | 2 comments
30. 'This is insider trading by definition': Trump sells $100k monthly subscription (www.msn.com)
    22 points by petethomas 16 days ago | 2 comments