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. Why no (se)L4 microkernel/hypervisor based browser?
   9 points by iloveappleman 1 day ago | 4 comments
2. Ask HN: What runs L4-related microkernels/hypervisors these days?
   113 points by AlexWandell 3 days ago | 53 comments
3. Gentle Guide to Self-Hosting (knhash.in)
   312 points by kn81198 1 day ago | 124 comments
4. Why I self host my servers and what I've recently learned (chollinger.com)
   286 points by transpute 16 days ago | 141 comments
5. Show HN: A CLI tool I made to self-host any app with two commands on a VPS (github.com)
   253 points by mightymoud about 12 hours ago | 97 comments
6. Show HN: Isaiah – open-source and self-hosted app to manage everything Docker (github.com)
   196 points by willmoss 29 days ago | 43 comments
7. Server Setup Basics for Self Hosting (becomesovran.com)
   169 points by joelp 25 days ago | 72 comments
8. Dawarich: Self-hosted alternative to Google Location History (github.com)
   164 points by thunderbong 18 days ago | 46 comments
9. Launch HN: Maitai (YC S24) – Self-Optimizing LLM Platform
   149 points by cmdalsanto 14 days ago | 75 comments
10. Tesla has taken down 2016 release noting full self driving hardware capability (twitter.com)
    135 points by ado__dev 27 days ago | 99 comments
11. A tiny self-remaking C program (www.humprog.org)
    119 points by goranmoomin 14 days ago | 45 comments
12. iOS 18 breaks IMAPS self-signed certs (forums.developer.apple.com)
    116 points by mmd45 1 day ago | 141 comments
13. Linear, symmetric, self-selecting 14-bit molecular memristors (2023) (www.researchgate.net)
    109 points by weirdcat 8 days ago | 55 comments
14. The Ultra-Selfish Gene (worksinprogress.co)
    96 points by jml7c5 15 days ago | 20 comments
15. Self-Supervised Learning for Videos (www.lightly.ai)
    91 points by sauravmaheshkar 29 days ago | 8 comments
16. Diesel shop fined $10M for making and selling Emissions Defeat Devices (www.thedrive.com)
    75 points by botanical 4 days ago | 85 comments
17. We are self-hosting our GPUs (www.gumlet.com)
    65 points by adityapatadia 2 days ago | 58 comments
18. Ziglang.org migrates from AWS to self-hosting (ziglang.org)
    64 points by apitman 7 days ago | 23 comments
19. Show HN: I'm 17 and built a startup to find or sell parking spots (parkt.app)
    63 points by delamri 19 days ago | 42 comments
20. Show HN: Selectric – macOS Search for Gmail, Outlook, Drive, Slack (selectric.io)
    62 points by adityawasudeo 1 day ago | 60 comments
21. Show HN: Selectable – mobile-friendly Postgres client (getselectable.com)
    58 points by yen223 1 day ago | 21 comments
22. Self-Hosting DNS (ghostdev.xyz)
    55 points by onlyspaceghost 29 days ago | 69 comments
23. Coding on iPad using self-hosted VSCode, Caddy, and code-server (tailscale.com)
    48 points by transpute 15 days ago | 90 comments
24. China's 'Wukong' Hit Sells 10M Copies in Three Days (www.bloomberg.com)
    47 points by zaikunzhang 26 days ago | 60 comments
25. Amazon is using my grocery purchases to sell me prescription drugs (www.vox.com)
    45 points by sea-gold 21 days ago | 11 comments
26. Stepwise selection of variables in regression is Evil (freerangestats.info)
    39 points by Bostonian 5 days ago | 11 comments
27. Ask HN: Book recommendations for CS fundamentals for a self-taught programmer?
    37 points by moonlitroar about 8 hours ago | 19 comments
28. Dexcom starts selling its new over-the-counter glucose monitor in the U.S. (www.sandiegouniontribune.com)
    35 points by bookofjoe 18 days ago | 72 comments
29. Tesla self-driving promises are getting weaker on new cars (electrek.co)
    35 points by peutetre 9 days ago | 33 comments
30. [Deploying a basic React site pt 1] Setting up a self-hosted Kubernetes cluster (jpegsfiles.medium.com)
    28 points by jett2 11 days ago | 15 comments