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 is a formally verified operating system (sel4.systems)
   1 points by logicallee 15 days ago | 1 comments
2. Go ahead, self-host Postgres (pierce.dev)
   682 points by pavel_lishin 12 days ago | 396 comments
3. I sell onions on the Internet (2019) (www.deepsouthventures.com)
   489 points by sogen 7 days ago | 171 comments
4. Show HN: Vibium – Browser automation for AI and humans, by Selenium's creator (github.com)
   440 points by hugs 8 days ago | 124 comments
5. RAM is so expensive, Samsung won't even sell it to Samsung (www.pcworld.com)
   412 points by sethops1 28 days ago | 416 comments
6. Show HN: Stop AI scrapers from hammering your self-hosted blog (using porn) (github.com)
   373 points by misterchocolat 16 days ago | 277 comments
7. QNX Self-Hosted Developer Desktop (devblog.qnx.com)
   276 points by transpute 5 days ago | 168 comments
8. GitHub postponing the announced billing change for self-hosted GitHub Actions (twitter.com)
   157 points by coloneltcb 15 days ago | 126 comments
9. Show HN: Xcc700: Self-hosting mini C compiler for ESP32 (Xtensa) in 700 lines (github.com)
   154 points by isitcontent 6 days ago | 36 comments
10. GitHub Actions for self-hosted runners price increase postponed (pricetimeline.com)
    134 points by taubek 14 days ago | 1 comments
11. Self-hosting is being enshittified (troubled.engineer)
    105 points by StrLght 3 days ago | 115 comments
12. The Lost Machine Automats and Self-Service Cafeterias of NYC (2023) (www.untappedcities.com)
    92 points by walterbell 24 days ago | 30 comments
13. After nearly 30 years, Crucial will stop selling RAM to consumers (arstechnica.com)
    69 points by downrightmike 29 days ago | 31 comments
14. Show HN: Pbnj – A minimal, self-hosted pastebin you can deploy in 60 seconds (pbnj.sh)
    69 points by bhavnicksm 27 days ago | 18 comments
15. AMD Ryzen 7 5800X3D sells for more than 9800X3D, enthusiasts flock to AM4 DDR4 (www.tomshardware.com)
    66 points by walterbell 13 days ago | 72 comments
16. Hash tables in Go and advantage of self-hosted compilers (rushter.com)
    62 points by f311a 18 days ago | 43 comments
17. Self-referencing Page Tables for the x86-Architecture (0l.de)
    62 points by stv0g 7 days ago | 10 comments
18. Dutch rental fleet Mistergreen goes bankrupt after betting on Tesla self-driving (guessingheadlights.com)
    54 points by toss1 8 days ago | 19 comments
19. Amnezia – Self-Hosted VPN (amnezia.org)
    48 points by eustoria 9 days ago | 8 comments
20. Crucial shutting down as Micron wants to sell RAM/SSDs to AI companies instead (www.theverge.com)
    26 points by kjhughes 28 days ago | 3 comments
21. Benchmarking Self-Hosted S3-Compatible Storage (www.repoflow.io)
    23 points by wener 2 days ago | 3 comments
22. Elon Musk's SpaceX bought tens of millions worth of Cybertrucks Tesla can't sell (electrek.co)
    21 points by breve 14 days ago | 6 comments
23. TikTok signs deal to sell US unit to American investor-led venture (www.reuters.com)
    21 points by pseudolus 13 days ago | 3 comments
24. Trump says US will keep or sell oil seized from Venezuela (www.bbc.com)
    19 points by vinni2 9 days ago | 4 comments
25. It's not censorship. It's democratic self-defense (civiceconomist.substack.com)
    18 points by ggirelli 23 days ago | 12 comments
26. GitHub cancels Actions price change for self-hosted runners (docs.github.com)
    17 points by axelfontaine 14 days ago | 9 comments
27. Crucial is shutting down – because Micron wants to sell to AI companies instead (www.theverge.com)
    14 points by coloneltcb 29 days ago | 1 comments
28. The Data on Self-Driving Cars Is Clear. We Have to Change Course (www.nytimes.com)
    13 points by apparent 30 days ago | 5 comments
29. Elon Musk's SpaceX bought millions worth of Cybertrucks Tesla can't sell (electrek.co)
    13 points by MilnerRoute 11 days ago | discuss
30. Murder-suicide case shows OpenAI selectively hides data after users die (arstechnica.com)
    11 points by jsheard 16 days ago | discuss