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. CRISPR tech selectively shreds cancer cells, including "undruggable" cancers (innovativegenomics.org)
   1002 points by gmays 24 days ago | 220 comments
2. .self: A new top-level domain designed to support self-hosting (hccf.onmy.cloud)
   676 points by HumanCCF 7 days ago | 382 comments
3. Farmer donates land for a park, city sells it for $10M as data center land (www.tomshardware.com)
   476 points by maxloh 26 days ago | 3 comments
4. CS 6120: Advanced Compilers: The Self-Guided Online Course (2020) (www.cs.cornell.edu)
   454 points by ibobev 18 days ago | 61 comments
5. Has AI already killed self-help nonfiction books? (tim.blog)
   422 points by imakwana 20 days ago | 489 comments
6. Ornith-1.0: self-improving open-source models for agentic coding (github.com)
   261 points by danboarder 7 days ago | 52 comments
7. Amazon seller reveals glimpse of shadow bribery market (www.latimes.com)
   150 points by petethomas 6 days ago | 96 comments
8. Bootimus – A Self-Contained PXE and HTTP Boot Server (bootimus.com)
   125 points by car 16 days ago | 50 comments
9. Tesla Full Self Driving uses bicycle lane in official Denmark approval video (politiken.dk)
   122 points by Veserv 24 days ago | 55 comments
10. Tectonic: A modernized, complete, self-contained TeX/LaTeX engine (tectonic-typesetting.github.io)
    92 points by maxloh 27 days ago | 44 comments
11. Show HN: Kyushu – A self-hostable WASM sandbox for JavaScript workers (kyushu.dev)
    89 points by le_chuck 30 days ago | 39 comments
12. Ornith-1.0: Self-scaffolding LLMs for agentic coding (deep-reinforce.com)
    86 points by kordlessagain 8 days ago | 10 comments
13. Self-Harness: Harnesses That Improve Themselves (arxiv.org)
    83 points by jonnonz 14 days ago | 6 comments
14. Tech sell-off widens as South Korea index plunges (www.ft.com)
    61 points by JumpCrisscross 29 days ago | 23 comments
15. Feds deny Polestar authorization to sell cars in US from model year 2027 (arstechnica.com)
    57 points by Quinner 11 days ago | 26 comments
16. US AI stock sell-off shakes markets from Wall Street to Asia (www.theguardian.com)
    55 points by colinprince 13 days ago | 40 comments
17. Scammers Sell Seeds for Exotic AI-Generated Flowers That Don't Exist (www.404media.co)
    51 points by Brajeshwar 6 days ago | 36 comments
18. Show HN: Learn from 30 historical figures, open source, nonprofit, self-hosted (github.com)
    49 points by micstradev 27 days ago | 24 comments
19. Show HN: Selector Forge – browser extension for AI-generated resilient selectors (github.com)
    38 points by ahmadilaiwi 14 days ago | 2 comments
20. California bans 'sell by' labels, hoping to cut food waste (www.nytimes.com)
    37 points by randycupertino 2 days ago | 74 comments
21. A QNX-inspired operating system with selectable kernels (qsoe.net)
    37 points by edvinbesic 8 days ago | 2 comments
22. How to Passive-Aggressively Shame People Who Use LLMs Selfishly (joshmoody.org)
    33 points by joshmoody24 13 days ago | 20 comments
23. Tesla presented misleading 'Full Self-Driving' safety data to European regulator (www.reuters.com)
    31 points by vrganj 21 days ago | 8 comments
24. Meta building cloud business to sell excess AI capacity (www.reuters.com)
    30 points by mgh2 4 days ago | 66 comments
25. Sealed Super Mario Bros Sells for $3M Setting New Record for a Video Game (www.ha.com)
    29 points by HelloUsername 23 days ago | 12 comments
26. Djevops: Self-Host Django Easily (github.com)
    29 points by mherrmann 18 days ago | 8 comments
27. Show HN: Artie – Real-time data replication to your warehouse, now self-serve (www.artie.com)
    26 points by tang8330 27 days ago | 6 comments
28. Meta Is Building a Cloud Business to Sell Excess AI Compute (www.bloomberg.com)
    22 points by jmsflknr 5 days ago | 14 comments
29. Google asking many to select a client certificate erroneously
    15 points by emilfihlman 20 days ago | 8 comments
30. Show HN: Mira – Open-source and self-hosted AI code reviewer (github.com)
    15 points by upmostly 19 days ago | 2 comments