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. Forgejo: A self-hosted lightweight software forge (forgejo.org)
   391 points by thunderbong 18 days ago | 269 comments
2. Tabby: Self-hosted AI coding assistant (github.com)
   366 points by saikatsg 24 days ago | 150 comments
3. Ask HN: Is anyone making money selling traditional downloadable software?
   210 points by 101008 17 days ago | 168 comments
4. Bunster: Compile bash scripts to self contained executables (github.com)
   207 points by thunderbong 13 days ago | 82 comments
5. General Motors Is Banned from Selling Driving Behavior Data for 5 Years (www.nytimes.com)
   195 points by mmooss 20 days ago | 181 comments
6. Ozempic and Wegovy are selected for Medicare's price negotiations (apnews.com)
   188 points by geox 19 days ago | 329 comments
7. Self-Hostable Form Back End – OSS Alternative to Formspree (github.com)
   177 points by Oia20 30 days ago | 36 comments
8. Transformer^2: Self-Adaptive LLMs (sakana.ai)
   160 points by hardmaru 22 days ago | 50 comments
9. Show HN: Meelo, self-hosted music server for collectors and music maniacs (github.com)
   156 points by arti_chaud 8 days ago | 45 comments
10. Rewilding the Self (worldsensorium.com)
    147 points by dnetesn 24 days ago | 65 comments
11. My Favorite Self-Hosted Apps Launched in 2024 (selfh.st)
    119 points by beardicus 27 days ago | 33 comments
12. Wall Street banks prepare to sell up to $3B in X loans next week (www.reuters.com)
    109 points by x11antiek 11 days ago | 109 comments
13. AstroForge selects target for “high risk, seat of the pants” asteroid mission (arstechnica.com)
    101 points by LorenDB 7 days ago | 79 comments
14. The Selma March (1965) (www.newyorker.com)
    86 points by mitchbob 16 days ago | 17 comments
15. 47% of 160 Top Selling Protein Powders Tested Exceed P65 Limit for Toxic Metals [pdf] (cleanlabelproject.org)
    74 points by clumsysmurf 22 days ago | 58 comments
16. The Los Angeles wildfires are self-inflicted (caseyhandmer.wordpress.com)
    67 points by surprisetalk 19 days ago | 25 comments
17. Amazon UK to stop selling Bloomsbury's books (www.thebookseller.com)
    49 points by nickcotter 12 days ago | 49 comments
18. rStar-Math: Small LLMs Can Master Math Reasoning with Self-Evolved Deep Thinking (arxiv.org)
    39 points by roboboffin 28 days ago | 7 comments
19. FTC bans Genshin Impact dev from selling lootboxes to under-16s, fines them $20M (www.ftc.gov)
    38 points by jsheard 18 days ago | 10 comments
20. Stone selection by wild chimpanzees shares patterns with Oldowan hominins (www.sciencedirect.com)
    36 points by benbreen 30 days ago | 4 comments
21. iOS 18.3 disables Apple Intelligence notification summaries for select apps (9to5mac.com)
    29 points by scarface_74 20 days ago | 5 comments
22. Portal – sell your freelance services with style (useportal.net)
    26 points by Romateslax 8 days ago | 12 comments
23. Ask HN: How to sell a script that will save companies $100k a month?
    25 points by Intriguing 12 days ago | 29 comments
24. Show HN: Polaris, a self-hosted music streaming server in Rust (github.com)
    22 points by agersant about 9 hours ago | 3 comments
25. Exploring Emergent "Self-Awareness" in Claude 3.5 (github.com)
    21 points by andy_bb 29 days ago | 31 comments
26. Musk Distorts Data: Tesla Still Years from Full Self-Driving (electrek.co)
    21 points by belter 22 days ago | 19 comments
27. Japan plans to sell rice from emergency stockpiles to cut prices (www.japantimes.co.jp)
    21 points by Pamar 2 days ago | 11 comments
28. Elon Musk misrepresents Tesla self-driving data (electrek.co)
    21 points by panarky 23 days ago | 7 comments
29. Selene Mini: Open-sourced SOTA small language-model-as-a-judge (huggingface.co)
    20 points by kaikaidai 7 days ago | 4 comments
30. Show HN: A self hostable forum like news.Y Combinator.com (lfx.lol)
    18 points by dev2point0 26 days ago | 4 comments