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. Self-updating screenshots (interblah.net)
   489 points by bjhess 26 days ago | 75 comments
2. French government agency confirms breach as hacker offers to sell data (www.bleepingcomputer.com)
   410 points by robtherobber 29 days ago | 151 comments
3. Period tracking app, Flo, found to be selling user data to Meta (femtechdesigndesk.substack.com)
   396 points by campuscodi 24 days ago | 268 comments
4. AI Self-preferencing in Algorithmic Hiring: Empirical Evidence and Insights (arxiv.org)
   335 points by laurex 20 days ago | 178 comments
5. BYD overtakes Tesla and Kia as the best-selling EV brand in key overseas markets (electrek.co)
   266 points by doener 16 days ago | 447 comments
6. 1966 Ford Mustang Converted into a Tesla with Working 'Full Self-Driving' (electrek.co)
   202 points by Brajeshwar 18 days ago | 176 comments
7. The Self-Cancelling Subscription (predr.ag)
   188 points by surprisetalk 15 days ago | 75 comments
8. Traceway: MIT-licensed observability stack you can self-host in ~90s (github.com)
   173 points by sebakubisz 11 days ago | 83 comments
9. Uber wants to turn its drivers into a sensor grid for self-driving companies (techcrunch.com)
   145 points by nickvec 20 days ago | 144 comments
10. Japan’s robot wolf sells out as record bear attacks drive demand (www.independent.co.uk)
    119 points by bookofjoe 6 days ago | 68 comments
11. Blaise – A modern self-hosting zero-legacy Object Pascal compiler targeting QBE (github.com)
    107 points by peter_d_sherman 15 days ago | 55 comments
12. Self-Distillation Enables Continual Learning [pdf] (arxiv.org)
    107 points by teleforce 6 days ago | 25 comments
13. ASML's Best Selling Product Isn't What You Think It Is (www.siliconimist.com)
    98 points by johncole 18 days ago | 43 comments
14. Red Hot Chili Peppers ink $300M deal with Warner Music to sell catalog (www.hollywoodreporter.com)
    90 points by randycupertino 11 days ago | 116 comments
15. The surprisingly complex journey to text-selectable client-side generated PDFs (sdocs.dev)
    86 points by FailMore 16 days ago | 62 comments
16. Tendril – a self-extending agent that builds and registers its own tools (github.com)
    81 points by walmsles 25 days ago | 32 comments
17. Alignment pretraining: AI discourse creates self-fulfilling (mis)alignment (arxiv.org)
    81 points by anigbrowl 4 days ago | 30 comments
18. Reviving the IBM Selectric Composer Fonts (2023) (www.kutilek.de)
    79 points by tangus 16 days ago | 9 comments
19. Framework's new Linux laptop is selling faster than its Windows one (www.pcworld.com)
    77 points by Garbage 26 days ago | 48 comments
20. Show HN: Torrix, self hosted, LLM Observability,(no Postgres, no Redis) (github.com)
    74 points by AdarshRao23 9 days ago | 4 comments
21. Show HN: Piruetas – A self-hosted diary app I built for my girlfriend (piruet.app)
    71 points by patillacode 20 days ago | 52 comments
22. Tesla admits HW3 owners need upgrades for true 'Full Self-Driving' (techcrunch.com)
    60 points by mfiguiere 30 days ago | 28 comments
23. PopuLoRA: Co-Evolving LLM Populations for Reasoning Self- Play (vmax.ai)
    50 points by AMavorParker 2 days ago | 6 comments
24. U.S. Mint Buys Drug Cartel Gold and Sells It as 'American' (www.nytimes.com)
    43 points by mikhael 26 days ago | 14 comments
25. A Caddy Cert Expired Because Systemd-Resolved Was Selectively Broken (rant.mvh.dev)
    41 points by PaulHoule 11 days ago | 32 comments
26. Tvheadend: Self-Hosted IPTV Server (tvheadend.org)
    40 points by hyperific 24 days ago | 12 comments
27. Show HN: Hocuspocus 4 – self-hosted Yjs collaboration backend (github.com)
    38 points by philipisik 2 days ago | 7 comments
28. Buy and Sell Monero – Cash. Crypto. P2P (retoswap.com)
    31 points by Cider9986 17 days ago | discuss
29. Google to sell TPU chips to select customers (finance.yahoo.com)
    28 points by gmays 16 days ago | 7 comments
30. Self-contained Linux applications with lone Lisp (www.matheusmoreira.com)
    28 points by fanf2 8 days ago | discuss