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. Using FreeBSD to make self-hosting fun again (jsteuernagel.de)
   399 points by todsacerdoti 15 days ago | 166 comments
2. SoftBank sells its entire stake in Nvidia (www.cnbc.com)
   373 points by mfiguiere 6 days ago | 226 comments
3. Oracle hit hard in Wall Street's tech sell-off over its AI bet (www.ft.com)
   222 points by 1vuio0pswjnm7 3 days ago | 189 comments
4. Peter Thiel sells off all Nvidia stock, stirring bubble fears (www.thestreet.com)
   189 points by hypeatei about 14 hours ago | 159 comments
5. Maestro Technology Sells Used SSD Drives as New (kozubik.com)
   180 points by walterbell 5 days ago | 80 comments
6. Nvidia is gearing up to sell servers instead of just GPUs and components (www.tomshardware.com)
   177 points by giuliomagnifico 3 days ago | 76 comments
7. Kratos - Cloud native Auth0 open-source alternative (self-hosted) (github.com)
   138 points by curtistyr 4 days ago | 97 comments
8. Meta readies $25B bond sale as soaring AI costs trigger stock sell-off (www.ft.com)
   120 points by 1vuio0pswjnm7 15 days ago | 190 comments
9. The inconceivable types of Rust: How to make self-borrows safe (2024) (blog.polybdenum.com)
   119 points by birdculture 1 day ago | 25 comments
10. What I Self Host (fredrikmeyer.net)
    118 points by FredrikMeyer 28 days ago | 145 comments
11. Self-help gets philosophical (www.thedriftmag.com)
    98 points by XzetaU8 16 days ago | 108 comments
12. First Self-Propagating Worm Using Invisible Code Hits OpenVSX and VS Code (www.koi.ai)
    88 points by dnslavin 28 days ago | 59 comments
13. Show HN: I built a self-hosted error tracker in Rails (telebugs.com)
    75 points by kyrylo 17 days ago | 55 comments
14. An Efficient Implementation of SELF (1989) [pdf] (courses.cs.washington.edu)
    53 points by todsacerdoti 23 days ago | 45 comments
15. Feed me up, Scotty – custom RSS feed generation using CSS selectors (feed-me-up-scotty.vincenttunru.com)
    53 points by diymaker 29 days ago | 8 comments
16. Türkiye will not sell rare earth elements to the USA (ceenergynews.com)
    52 points by bookofjoe 14 days ago | 121 comments
17. US Treasury Sells Dollars to Keep Peso Within Argentina FX Band (www.bloomberg.com)
    48 points by zerosizedweasle 27 days ago | 29 comments
18. Ivy League psychologist: 'Bring your whole self to work' is bad advice (www.cnbc.com)
    43 points by donsupreme 24 days ago | 70 comments
19. Jeffrey Epstein Helped Israel Sell a Surveillance State to Côte D'Ivoire: Leaks (www.dropsitenews.com)
    34 points by wahnfrieden 10 days ago | 6 comments
20. Show HN: AutoLearn Skills for self-improving agents (www.autolearn.dev)
    27 points by toobulkeh 26 days ago | 11 comments
21. Stocks notch worst day in over a month as tech sell-off intensifies (www.cnbc.com)
    26 points by MilnerRoute 4 days ago | 4 comments
22. Your self as a future adversary (blog.erlend.sh)
    21 points by erlend_sh 25 days ago | 1 comments
23. BofA Warns of Forced Stocks Selling If Credit Problems Persist (www.bloomberg.com)
    20 points by zerosizedweasle 28 days ago | 3 comments
24. Francis Coppola selling his antique watch after $100M loss on "Megalopolis" (www.cllct.com)
    19 points by donsupreme 24 days ago | 14 comments
25. U.S. agencies back banning top-selling TP-Link home routers on security grounds (www.msn.com)
    18 points by busymom0 18 days ago | 11 comments
26. Costly iPhone Pocket sells out nearly immediately (appleinsider.com)
    15 points by apparent 3 days ago | 10 comments
27. Self-driving SaaS: When software runs itself (linear.app)
    14 points by vortex_ape 26 days ago | 1 comments
28. Elon Musk hypes Tesla's 8th gen AI chip, still hasn't delivered self-driving (electrek.co)
    13 points by breve 14 days ago | 3 comments
29. Ex-L3Harris exec pleads guilty to selling zero-day exploits to Russian broker (cyberscoop.com)
    13 points by aspenmayer 19 days ago | 3 comments
30. A16Z-Backed Startup Sells 'Synthetic Influencers' to Manipulate Social Media (www.404media.co)
    13 points by awkwardpotato 23 days ago | discuss