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. SeL4 20th Anniversary Retrospective Panel Session (www.youtube.com)
   5 points by snvzz 29 days ago | 1 comments
2. DOJ will push Google to sell off Chrome (www.bloomberg.com)
   1202 points by redm 3 days ago | 1402 comments
3. Scientists glue two proteins together, driving cancer cells to self-destruct (med.stanford.edu)
   703 points by Jerry2 18 days ago | 178 comments
4. A new dental scam is to pull healthy teeth to sell you expensive fake ones (arstechnica.com)
   363 points by pjmlp 21 days ago | 337 comments
5. We built a self-healing system to survive a concurrency bug at Netflix (pushtoprod.substack.com)
   344 points by zdw 14 days ago | 165 comments
6. YubiKey still selling old stock with vulnerable firmware
   288 points by MaKey 10 days ago | 109 comments
7. SELinux bypasses (klecko.github.io)
   185 points by voxadam 28 days ago | 56 comments
8. How to self-host all of Bluesky except the AppView (for now) (alice.bsky.sh)
   140 points by icy 14 days ago | 79 comments
9. How to setup self hosted wiki for your startup (themythicalengineer.com)
   122 points by sks147 5 days ago | 82 comments
10. Show HN: Self-Host Next.js in Production (github.com)
    95 points by vednig 1 day ago | 54 comments
11. Scalable self-improvement for compiler optimization (research.google)
    88 points by matt_d 20 days ago | 6 comments
12. Anthropic teams up with Palantir and AWS to sell AI to defense customers (techcrunch.com)
    84 points by handfuloflight 14 days ago | 92 comments
13. Self-Documenting Code (lackofimagination.org)
    72 points by tie-in 30 days ago | 126 comments
14. Show HN: Srcbook – Self-hosted alternative to AI app builders (github.com)
    67 points by nichochar 30 days ago | 6 comments
15. Show HN: PreCog AI – Automatic AI Model Selection for Any Task (precog.ubik.studio)
    61 points by ieuanking 28 days ago | 18 comments
16. Verizon, AT&T tell courts: FCC can't punish us for selling user location data (arstechnica.com)
    47 points by mikece 13 days ago | 10 comments
17. Google reacts angrily to report it will have to sell Chrome (www.bbc.com)
    42 points by rmason 2 days ago | 53 comments
18. Self-Driving Cars will Destroy Cities (and what to do about it) [video] (www.youtube.com)
    42 points by mbs159 11 days ago | 50 comments
19. Just Eat Is Selling Grubhub to Marc Lore's Wonder for $650M (www.theverge.com)
    39 points by anotherhue 9 days ago | 84 comments
20. Show HN: Firecrawl-Simple – Stable fork of Firecrawl optimized for self-hosting (github.com)
    35 points by skeptrune 16 days ago | 7 comments
21. The Design of a Self-Compiling C Transpiler Targeting POSIX Shell (dl.acm.org)
    30 points by fanf2 11 days ago | 6 comments
22. Homeowners who rent on Airbnb must pay 13% tax on property value when they sell (www.thestar.com)
    30 points by chollida1 28 days ago | 6 comments
23. Abbey: Self-hosted AI interface server for documents, notebooks, and chats (github.com)
    29 points by gkamer8 2 days ago | 5 comments
24. Tesla Using 'Full Self-Driving' Hits Deer Without Slowing, Doesn't Stop (jalopnik.com)
    29 points by harambae 23 days ago | 1 comments
25. DOJ says Google must sell Chrome to crack open its search monopoly (www.theverge.com)
    27 points by jancurn about 11 hours ago | 37 comments
26. Ten best selling CPUs on Amazon are all AMD chips (www.pcgamer.com)
    27 points by doener about 22 hours ago | 7 comments
27. WebRL: Training LLM Web Agents via Self-Evolving Online Reinforcement Learning (arxiv.org)
    23 points by theredsix 17 days ago | 1 comments
28. Tiny Town in Ontario, Canada Selling Properties for $10 a Pop (macleans.ca)
    22 points by Geekette 27 days ago | 20 comments
29. Self-Hosting Marketing Automation Software: A Guide (www.laudspeaker.com)
    22 points by mcharawi 28 days ago | 4 comments
30. China's Surveillance State Is Selling Citizen Data as a Side Hustle (www.wired.com)
    21 points by cannibalXxx about 10 hours ago | 10 comments