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 – a formally verified, capability-based microkernel (sel4.systems)
   5 points by wh313 about 4 hours ago | 3 comments
2. Real-World Industrial-Scale Verification: LLM-Driven Theorem Proving on SeL4 (arxiv.org)
   1 points by PaulHoule 21 days ago | discuss
3. Embarrassingly simple self-distillation improves code generation (arxiv.org)
   650 points by Anon84 3 days ago | 199 comments
4. HyperAgents: Self-referential self-improving agents (github.com)
   234 points by andyg_blog 14 days ago | 89 comments
5. X is selling existing users' handles
   197 points by hac 27 days ago | 92 comments
6. Amazon is adding a fuel surcharge to fees it collects from third-party sellers (www.cnbc.com)
   166 points by lehi 5 days ago | 106 comments
7. Abusing Customizable Selects (css-tricks.com)
   166 points by speckx 20 days ago | 9 comments
8. I wrote a 750-page guide to self-hosting production apps (selfdeployment.io)
   157 points by kocyigityunus 15 days ago | 37 comments
9. Show HN: Atomic – Self-hosted, semantically-connected personal knowledge base (github.com)
   152 points by kenforthewin 17 days ago | 27 comments
10. Centuries of selective breeding turned wild cabbage into different vegetables (www.worksinprogress.news)
    141 points by bensouthwood 27 days ago | 67 comments
11. How to make a sliding, self-locking, and predator-proof chicken coop door (2020) (www.backyardchickens.com)
    137 points by uticus 4 days ago | 64 comments
12. Linux Internals: How /proc/self/mem writes to unwritable memory (2021) (offlinemark.com)
    129 points by medbar 29 days ago | 29 comments
13. Dobase – Open-source, self-hosted workspace with installable tools (dobase.co)
    94 points by frenkel 15 days ago | 45 comments
14. Claude helped select targets for Iran strikes, possibly including school (twitter.com)
    72 points by delichon 29 days ago | 62 comments
15. Chroma Context-1: Training a Self-Editing Search Agent (www.trychroma.com)
    71 points by philip1209 12 days ago | 9 comments
16. Inside the 'self-driving' lab revolution (www.nature.com)
    61 points by salkahfi 8 days ago | 9 comments
17. Show HN: Yoink – Spotify to lossless with full metadata, self-hostable, ad-free (yoinkify.com)
    58 points by chasefrazier 13 days ago | 48 comments
18. Unit: A self-replicating Forth mesh agent running in a browser tab (davidcanhelp.github.io)
    46 points by DavidCanHelp 12 days ago | 5 comments
19. My Self-Driving Car Crash – The Tesla was driving perfectly–until it wasn't (www.theatlantic.com)
    45 points by ForHackernews 21 days ago | 16 comments
20. Ask ChatGPT to pick a number from 1-10000, it generally selects from 7200-7500 (old.reddit.com)
    43 points by mellosouls 17 days ago | 66 comments
21. Vitalik Buterin – "My self-sovereign / local / private / secure LLM setup" (vitalik.eth.limo)
    34 points by derrida 5 days ago | 6 comments
22. Trump now Selling National Security Briefing Membership (www.cnn.com)
    34 points by mandeepj 24 days ago | 6 comments
23. Tesla faces wider probe of self-driving feature (apnews.com)
    30 points by 1vuio0pswjnm7 15 days ago | 3 comments
24. Ur-Scheme: A GPL self-hosting compiler from a subset of Scheme to x86 asm (2008) (canonical.org)
    19 points by QuadmasterXLII 22 days ago | 1 comments
25. Harvard shakes up its crypto strategy by selling Bitcoin and purchasing Ethereum (fortune.com)
    17 points by mgh2 28 days ago | discuss
26. Peter Thiel's 'Steroid Olympics' Startup Wants to Sell You the Sketchy Peptides (gizmodo.com)
    16 points by ck2 18 days ago | 10 comments
27. Atlassian, AI sell-off’s worst-hit company, grapples with ‘SaaSpocalypse’ (www.ft.com)
    16 points by frereubu 18 days ago | 1 comments
28. BetterDB – open-source Redis/Valkey migration across clouds and self-hosted
    15 points by kaliades 6 days ago | 7 comments
29. The Passion of Will Self (www.newstatesman.com)
    15 points by apollinaire 27 days ago | 3 comments
30. Building Better Country Selects (talysto.com)
    13 points by dlrush 26 days ago | 14 comments