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. The SeL4 Microkernel: An Introduction [pdf] (sel4.systems)
   264 points by snvzz 11 days ago | 188 comments
2. My 16-month theanine self-experiment (dynomight.net)
   817 points by dynm 26 days ago | 435 comments
3. 23andMe files for bankruptcy to sell itself (www.reuters.com)
   518 points by healsdata 11 days ago | 404 comments
4. The DOJ still wants Google to sell off Chrome (www.wired.com)
   502 points by hydrolox 26 days ago | 682 comments
5. Sell yourself, sell your work (www.solipsys.co.uk)
   449 points by ColinWright 9 days ago | 173 comments
6. Writing an LLM from scratch, part 8 – trainable self-attention (www.gilesthomas.com)
   380 points by gpjt 30 days ago | 31 comments
7. Ladder: Self-improving LLMs through recursive problem decomposition (arxiv.org)
   370 points by fofoz 28 days ago | 110 comments
8. Self-contained Python scripts with uv (blog.dusktreader.dev)
   354 points by todsacerdoti 5 days ago | 107 comments
9. Trees not profits: we're giving up our right to ever sell Ecosia (2018) (blog.ecosia.org)
   346 points by erlend_sh 25 days ago | 213 comments
10. An open source, self-hosted implementation of the Tailscale control server (github.com)
    297 points by quyleanh about 20 hours ago | 73 comments
11. Cognitive Behaviors That Enable Self-Improving Reasoners (arxiv.org)
    279 points by delifue 29 days ago | 103 comments
12. Using uv and PEP 723 for Self-Contained Python Scripts (thisdavej.com)
    247 points by thisdavej 7 days ago | 119 comments
13. Self-Hosting like it's 2025 (kiranet.org)
    219 points by finnlab 2 days ago | 228 comments
14. Google Being Forced to Sell Chrome Is Not Good for the Web (chriscoyier.net)
    205 points by OuterVale 20 days ago | 331 comments
15. A filmmaker and a crooked lawyer shattered Denmark's self-image (www.theguardian.com)
    196 points by RapperWhoMadeIt 7 days ago | 178 comments
16. Magnesium Self-Experiments (gwern.net)
    193 points by yamrzou 26 days ago | 131 comments
17. DOJ: Google must sell Chrome, Android could be next (arstechnica.com)
    191 points by uxjw 24 days ago | 154 comments
18. Wall Street sell-off turns 'ugly' as US recession fears grow (www.independent.co.uk)
    166 points by hjjkjhkj 24 days ago | 171 comments
19. NIST selects HQC as fifth algorithm for post-quantum encryption (www.nist.gov)
    164 points by gnabgib 23 days ago | 116 comments
20. Deploy from local to production (self-hosted) (github.com)
    137 points by bypirob 26 days ago | 67 comments
21. Selective async commits in PostgreSQL – balancing durability and performance (www.shayon.dev)
    109 points by shayonj 18 days ago | 37 comments
22. GSA prepares to sell over 400 federal properties (www.politico.com)
    102 points by throwaway5752 30 days ago | 49 comments
23. How a Connecticut DMV Employee Made Thousands by Selling Towed Cars (www.propublica.org)
    90 points by hn_acker 27 days ago | 23 comments
24. Yahoo is selling TechCrunch to private equity firm Regent (techcrunch.com)
    89 points by Garbage 13 days ago | 28 comments
25. Elon tells Tesla employees not to sell TSLA stock as board and execs are dumping (electrek.co)
    87 points by croes 12 days ago | 28 comments
26. Where are all the self-directed learners? (saigaddam.medium.com)
    71 points by ChaitanyaSai 25 days ago | 107 comments
27. Dear hosters, you are selling wood, not furniture (berthub.eu)
    65 points by zdw 16 days ago | 27 comments
28. Open-sourcing 5,000hrs of self-driving dataset (huggingface.co)
    63 points by SnYaak 23 days ago | 11 comments
29. Show HN: OmniTools – Self-Hosted Open-Source Swiss Army Knife for Everyday Tasks (omnitools.app)
    40 points by ludiciouss 4 days ago | 15 comments
30. Self-Supervised Learning from Images with JEPA (2023) (arxiv.org)
    40 points by Brysonbw 6 days ago | 10 comments