Hackernews posts about SeL4

1. 31
   

   newShow HN: Run Linux kernel drivers in userspace on Neptune OS, NT-like OS on seL4

   ▲ 6cl9112ddiscusssavesaved
2. 32
   

   newCloud in a Bottle: making self-hosting accessible to everyonecloudinabottle.org

   ▲ 654zplizzi29d💬 321savesaved
3. 33
   

   newCalifornia farmers are struggling to sell grapes as demand for wine dropswww.kqed.org

   ▲ 389randycupertino6d💬 987savesaved
4. 34
   

   newSelf-Hosting on the Dark Webdavid.alvarezrosa.com

   ▲ 358mooreds7d💬 118savesaved
5. 35
   

   newThe American Religion of Self-Storage Facilitieswww.newyorker.com

   ▲ 282pseudolus17d💬 456savesaved
6. 36
   

   newU.S. postal inspectors shut down website selling counterfeit postage labelspostalemployeenetwork.com

   ▲ 281ilamont5d💬 169savesaved
7. 37
   

   newDream-RSI: Recursive Self-Improvement through Evolving Worldsarxiv.org

   ▲ 213bananaflag18d💬 53savesaved
8. 38
   

   newLaunch HN: Magnitude (YC S25) – Self-optimizing inference engine for agentsgithub.com

   ▲ 194anerli4d💬 99savesaved
9. 39
   

   newFrontier Labs Are Selling Garbage to Fools in Washingtondeadneurons.substack.com

   ▲ 186nr37814d💬 87savesaved
10. 40
    

    newA Tesla ran a stop sign and killed a man, Full Self-Driving/Autopilot was onelectrek.co

    ▲ 169FabHK27d💬 123savesaved
11. 41
    

    newSelf-hosted HTTP tunnels with SSH and Nginxvincent.bernat.ch

    ▲ 161renehsz14h💬 34savesaved
12. 42
    

    newI fixed a tractor using John Deere's self-repair service. Farmers aren't soldwww.wired.com

    ▲ 146sbulaev23d💬 160savesaved
13. 43
    

    newNotes on gotchas while migrating 35kb preprompts from Opus to self-hosted Ollamapatrickmccanna.net

    ▲ 1400o_MrPatrick_o020d💬 76savesaved
14. 44
    

    newASML currently sells no chipmaking machines in Europe, executive saysnltimes.nl

    ▲ 125doener11d💬 2savesaved
15. 45
    

    newTowards Self-Driving Codebasesblog.detail.dev

    ▲ 123wilhelmklopp17d💬 100savesaved
16. 46
    

    newAI researchers debate how close we are to recursive self-improvementwww.dwarkesh.com

    ▲ 121artninja198823d💬 116savesaved
17. 47
    

    newThe car industry A/B tested selling a car with and without CarPlaya.wholelottanothing.org

    ▲ 112gumby28d💬 124savesaved
18. 48
    

    newPostgres SELECT DISTINCT Does Not Scalewww.dbos.dev

    ▲ 106KraftyOne10d💬 28savesaved
19. 49
    

    new"As a Language Model": Chat Template Switches LLM Self-Referential Voicearxiv.org

    ▲ 103yu3zhou48d💬 110savesaved
20. 50
    

    newIf a Tesla Cybercab fleet were profitable, Tesla wouldn't sell you oneelectrek.co

    ▲ 99jijojv27d💬 82savesaved
21. 51
    

    newShow HN: Air-gapped file encryption as self-decrypting HTML pagecms-sfx-demo.apeleg.com

    ▲ 90emurlin11d💬 32savesaved
22. 52
    

    newOpen-source 3D anatomy explorer: 2,234 selectable BodyParts3D meshesgithub.com

    ▲ 86metrofun27d💬 29savesaved
23. 53
    

    newAardman (Wallace and Gromit) Is Selling Its Original Movie Puppetsgizmodo.com

    ▲ 85Gaishan28d💬 21savesaved
24. 54
    

    newAI recursive self-improvement might not come so quickly after allwww.technologyreview.com

    ▲ 81dgellow21d💬 84savesaved
25. 55
    

    newNoodle Gallery – Self-hosted photo and video manager forked from Immichdigitalescapetools.com

    ▲ 79xabd13d💬 59savesaved
26. 56
    

    newSelf-parking car using genetic algorithm (2021)trekhleb.dev

    ▲ 66trekhleb7d💬 5savesaved
27. 57
    

    newProcedural Graphs: Self-Evolving Execution Structures for LLM Agentsarxiv.org

    ▲ 57omarsar25d💬 15savesaved
28. 58
    

    newShow HN: Self-hosted company OS, Claude Code and Codex agents in departmentsgithub.com

    ▲ 50dimitrismrtzs25d💬 15savesaved
29. 59
    

    newIn Search of a Compositional Theory of Self-Stabilizationmuratbuffalo.blogspot.com

    ▲ 49matt_d13d💬 4savesaved
30. 60
    

    newMusk Is Running a Fake Voter Registration Site Designed to Steal and Sell Datawww.yahoo.com

    ▲ 380xcrypto21d💬 7savesaved

· edit