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. Open Source Society University – Path to a free self-taught education in CS (github.com)
   533 points by saikatsg 10 days ago | 162 comments
2. The NSA Selector (github.com)
   302 points by anigbrowl 14 days ago | 84 comments
3. Scraperr – A Self Hosted Webscraper (github.com)
   263 points by jpyles 23 days ago | 94 comments
4. 23andMe Sells Gene-Testing Business to DNA Drug Maker Regeneron (www.bloomberg.com)
   221 points by wslh 16 days ago | 127 comments
5. Fandom sells gaming media brand Giant Bomb to long-term staff (about.fandom.com)
   214 points by minimaxir 24 days ago | 134 comments
6. Audiobookshelf: Self-hosted audiobook and podcast server (www.audiobookshelf.org)
   207 points by fjk 26 days ago | 97 comments
7. The behavior of LLMs in hiring decisions: Systemic biases in candidate selection (davidrozado.substack.com)
   191 points by hunglee2 15 days ago | 181 comments
8. Space Selfie (space.crunchlabs.com)
   160 points by rossdavidh 10 days ago | 38 comments
9. Show HN: Bracket – selfhosted tournament system (github.com)
   153 points by tripleseven 30 days ago | 38 comments
10. What works (and doesn't) selling formal methods (www.galois.com)
    141 points by azhenley 5 days ago | 69 comments
11. Writing a Self-Mutating x86_64 C Program (2013) (ephemeral.cx)
    118 points by kepler471 10 days ago | 37 comments
12. Toxic Origins, Toxic Decisions: Biases in CEO Selection (papers.ssrn.com)
    105 points by marojejian 5 days ago | 58 comments
13. A deep dive into self-improving AI and the Darwin-Gödel Machine (richardcsuwandi.github.io)
    103 points by hardmaru about 9 hours ago | 18 comments
14. A Song of “Full Self-Driving” (www.thebulwark.com)
    100 points by latexr 6 days ago | 102 comments
15. Did "Big Oil" Sell Us on a Recycling Scam? (daily.jstor.org)
    99 points by cratermoon about 12 hours ago | 117 comments
16. Mipmap selection in too much detail (pema.dev)
    99 points by luu 24 days ago | 25 comments
17. Cracked – Method chaining/CSS-style selector web audio library (github.com)
    92 points by stephenhandley 19 days ago | 23 comments
18. Huawei unveils laptop running self-developed HarmonyOS as Windows licence expire (www.scmp.com)
    89 points by ksec 27 days ago | 66 comments
19. Absolute Zero: Reinforced Self-Play Reasoning with Zero Data (arxiv.org)
    88 points by leodriesch 24 days ago | 19 comments
20. Self-hostable webhook tester in go (testwebhook.xyz)
    76 points by muliswilliam 22 days ago | 15 comments
21. Show HN: Workflow Use – Deterministic, self-healing browser automation (RPA 2.0) (github.com)
    69 points by gregpr07 19 days ago | 23 comments
22. Ask HN: Selling software to company I work for as an employee
    60 points by apohak 14 days ago | 57 comments
23. Self-Hosting Moose with Docker Compose, Redis, Temporal, Redpanda and ClickHouse (docs.fiveonefour.com)
    50 points by Callicles 15 days ago | 15 comments
24. The Scalar Select Anti-Pattern (matklad.github.io)
    47 points by goranmoomin 20 days ago | 7 comments
25. Airlines Are Selling Your Data to ICE (jacobin.com)
    43 points by jtakkala 24 days ago | 2 comments
26. Oil companies protected ahead of selling fracking water (www.texastribune.org)
    28 points by 1659447091 6 days ago | 10 comments
27. Self Rewarding Self Improving: Autonomous LLM Improvement (arxiv.org)
    28 points by tamassimond 19 days ago | discuss
28. Show HN: Rocketship – Open-source E2E testing that's self-hostable (github.com)
    26 points by magius18 15 days ago | 5 comments
29. Show HN: Self-Funded Game with Homemade Engine – Play Online, Steam Coming (bereprobate.com)
    23 points by delduca 18 days ago | 19 comments
30. BYD Sealion 7 surpass Tesla Model Y to be Australia's best-selling electric car (www.drive.com.au)
    22 points by mnming 27 days ago | 4 comments