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.

RSS feed for SeL4

Related:Google RISC-V CSIRO KataOS

451
newShow HN: Run Linux kernel drivers in userspace on Neptune OS, NT-like OS on seL4
▲ 6cl91 12d discuss
452
newCloud in a Bottle: making self-hosting accessible to everyonecloudinabottle.org
▲ 654zplizzi 29d 💬 321
453
newCalifornia farmers are struggling to sell grapes as demand for wine dropswww.kqed.org
▲ 389randycupertino 7d 💬 987
454
newSelf-Hosting on the Dark Webdavid.alvarezrosa.com
▲ 358mooreds 8d 💬 118
455
newThe American Religion of Self-Storage Facilitieswww.newyorker.com
▲ 282pseudolus 18d 💬 456
456
newU.S. postal inspectors shut down website selling counterfeit postage labelspostalemployeenetwork.com
▲ 281ilamont 6d 💬 169
457
newDream-RSI: Recursive Self-Improvement through Evolving Worldsarxiv.org
▲ 213bananaflag 19d 💬 53
458
newLaunch HN: Magnitude (YC S25) – Self-optimizing inference engine for agentsgithub.com
▲ 194anerli 5d 💬 99
459
newSelf-hosted HTTP tunnels with SSH and Nginxvincent.bernat.ch
▲ 189renehsz 23h 💬 42
460
newFrontier Labs Are Selling Garbage to Fools in Washingtondeadneurons.substack.com
▲ 186nr378 15d 💬 87
461
newA Tesla ran a stop sign and killed a man, Full Self-Driving/Autopilot was onelectrek.co
▲ 169FabHK 28d 💬 123
462
newI fixed a tractor using John Deere's self-repair service. Farmers aren't soldwww.wired.com
▲ 146sbulaev 24d 💬 160
463
newNotes on gotchas while migrating 35kb preprompts from Opus to self-hosted Ollamapatrickmccanna.net
▲ 1400o_MrPatrick_o0 21d 💬 76
464
newASML currently sells no chipmaking machines in Europe, executive saysnltimes.nl
▲ 125doener 11d 💬 2
465
newTowards Self-Driving Codebasesblog.detail.dev
▲ 123wilhelmklopp 18d 💬 100
466
newAI researchers debate how close we are to recursive self-improvementwww.dwarkesh.com
▲ 121artninja1988 24d 💬 116
467
newThe car industry A/B tested selling a car with and without CarPlaya.wholelottanothing.org
▲ 112gumby 29d 💬 124
468
newPostgres SELECT DISTINCT Does Not Scalewww.dbos.dev
▲ 106KraftyOne 11d 💬 28
469
new"As a Language Model": Chat Template Switches LLM Self-Referential Voicearxiv.org
▲ 103yu3zhou4 8d 💬 110
470
newIf a Tesla Cybercab fleet were profitable, Tesla wouldn't sell you oneelectrek.co
▲ 99jijojv 28d 💬 82
471
newShow HN: Air-gapped file encryption as self-decrypting HTML pagecms-sfx-demo.apeleg.com
▲ 90emurlin 11d 💬 32
472
newOpen-source 3D anatomy explorer: 2,234 selectable BodyParts3D meshesgithub.com
▲ 86metrofun 27d 💬 29
473
newAardman (Wallace and Gromit) Is Selling Its Original Movie Puppetsgizmodo.com
▲ 85Gaishan 28d 💬 21
474
newAI recursive self-improvement might not come so quickly after allwww.technologyreview.com
▲ 81dgellow 22d 💬 84
475
newNoodle Gallery – Self-hosted photo and video manager forked from Immichdigitalescapetools.com
▲ 79xabd 14d 💬 59
476
newSelf-parking car using genetic algorithm (2021)trekhleb.dev
▲ 66trekhleb 7d 💬 5
477
newProcedural Graphs: Self-Evolving Execution Structures for LLM Agentsarxiv.org
▲ 57omarsar 26d 💬 15
478
newShow HN: Self-hosted company OS, Claude Code and Codex agents in departmentsgithub.com
▲ 50dimitrismrtzs 26d 💬 15
479
newIn Search of a Compositional Theory of Self-Stabilizationmuratbuffalo.blogspot.com
▲ 49matt_d 14d 💬 4
480
newMusk Is Running a Fake Voter Registration Site Designed to Steal and Sell Datawww.yahoo.com
▲ 380xcrypto 21d 💬 7

More stories →