frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

fp.

Open in hackernews

Ask HN: Are advances in AI going to push Linux to a micro-kernel?

1•cayleyh•33m ago
This is something that has been bouncing around my head for the past couple weeks with the flood of security related news around Mythos and the number of 0days being found.

Microkernels, unikernals, hardware-enforced capabilities are all technical approaches to limit the attack surface area and blast radius of bugs. They seen to have had limited penetrate the current Linux-based VM / Container / VPC provider stacks a lot of us (most of us?) are using for production environments. The huge Linux ecosystem it's probably more of a driving factor than overall performance at this point, the Linux performance compared to systems that use these approaches was a driver in the past.

If the pace of advancement in using LLMs and coding agents to find and exploit bugs continues, do you think that Linux will need to adapt the approaches it uses to be able to limit the impact of bugs in drivers and other ancillary code? Do you think that alternative approaches like Unikernals will be a beneficiary of the advancement instead? Or do you think Linux just has too much developer manpower and ecosystem strength that is will mostly just adapt through the "rough patch" but remain mostly unchanged structurally afterwards?

Interested, hear what other people think could be a reasonable response if LLMs continue to get better at finding and exploiting software bugs.

Comments

kspetkov79•20m ago
The microkernel argument makes sense in theory, but the real bottleneck has always been driver complexity. If LLMs can reliably generate verified drivers with formal correctness guarantees, that changes the equation significantly. Until then, Linux's ecosystem inertia wins every time.

Gemini Omni

https://blog.google/innovation-and-ai/models-and-research/gemini-models/gemini-omni/
1•strongpigeon•1m ago•0 comments

Wild Young People

https://asteriskmag.com/issues/14/these-wild-young-people
1•littlexsparkee•1m ago•0 comments

Deciphering the Hashihara Castle Town Map

https://www.obayashi.co.jp/en/kikan_obayashi/detail/kikan_64_project.html
1•1970-01-01•1m ago•0 comments

On Blind, Anxious Tech Workers Get the Lowdown on Layoffs

https://www.nytimes.com/2026/05/19/business/tech-layoffs-blind.html
1•tekdude•1m ago•0 comments

The Iranian Government Filtering Machine Is Getting Into Mozilla PSL

https://github.com/publicsuffix/list/pull/2917
1•ent101•2m ago•0 comments

Google Changes Its Search Box for the First Time in 25 Years

https://www.nytimes.com/2026/05/19/business/google-seach-bar-ai-gemini.html
1•golfer•3m ago•0 comments

Gemini CLI will stop working from June 18, 2026

https://developers.googleblog.com/an-important-update-transitioning-gemini-cli-to-antigravity-cli/
2•primaprashant•3m ago•1 comments

Cat Organ

https://en.wikipedia.org/wiki/Cat_organ
1•petethomas•3m ago•0 comments

Gemini Spark

https://gemini.google/overview/agent/spark/
3•jeremydw•4m ago•0 comments

Google Antigravity 2.0

https://antigravity.google/blog/introducing-google-antigravity-2-0
2•John7878781•4m ago•0 comments

We made our filesystem 47× faster by deleting it

https://microsandbox.dev/blog/oci-filesystem-47x-faster
3•appcypher•5m ago•0 comments

Universal Commerce Protocol

http://ucp.dev/
2•Wingy•5m ago•0 comments

Bipartisan Bill Would Impose New Annual Fee on Electric Vehicles

https://www.nytimes.com/2026/05/19/business/energy-environment/electrc-vehicles-annual-fee-congre...
2•tantalor•7m ago•0 comments

'Capitalism has to become more humane': a Stanford economist on big tech

https://www.theguardian.com/books/2026/may/18/big-tech-monopolies-democracy-mordecai-kurz
2•xyzal•9m ago•0 comments

Google Search as you know it is over

https://techcrunch.com/2026/05/19/google-search-as-you-know-it-is-over/
3•evo_9•9m ago•0 comments

Agent Evaluation: A Detailed Guide

https://cameronrwolfe.substack.com/p/agent-evals
2•gmays•11m ago•0 comments

Show HN: LaunchDock – App Launcher in Rust

https://github.com/qa3-tech/launchdock
2•qa3-tech•11m ago•0 comments

De‐Bloating JavaScript

https://github.com/naver/lispe/wiki/6.23-De%E2%80%90bloating-Javascript
2•birdculture•11m ago•0 comments

Co-Scientist: A multi-agent AI partner to accelerate research

https://deepmind.google/blog/co-scientist-a-multi-agent-ai-partner-to-accelerate-research/
2•ryanhn•12m ago•0 comments

Streamer Realtime Deepfakes Himself into Mr. Beast

https://www.404media.co/streamer-realtime-deepfakes-himself-into-mr-beast-says-he-loves-touching-...
1•cdrnsf•12m ago•0 comments

Show HN: Local LLM code-generation with Gemma 4 e2B via JSON AST to Clojure

https://github.com/quadracollision/llmisp
1•vegnus•13m ago•0 comments

Demis Hassabis Thinks AI Job Cuts Are Dumb

https://www.wired.com/story/demis-hassabis-ai-layoffs-deepmind-google-io/
2•ent101•13m ago•0 comments

IBM Brings Its Most Advanced AI-Powered Security Portfolio to Clients

https://newsroom.ibm.com/2026-05-19-IBM-Brings-Its-Most-Advanced-AI-Powered-Security-Portfolio-to...
1•SVI•13m ago•0 comments

Google Search is getting its biggest changes

https://www.theverge.com/tech/932970/google-search-ai-update-io-2026
1•droidjj•14m ago•0 comments

You're not ready for minions

https://contextbridge.ai/blog/youre-not-ready-for-minions-01/
1•jcarver•14m ago•0 comments

Parallel execution for Node.js, done right

https://github.com/yankouskia/hurried
2•yankouskia•15m ago•0 comments

Show HN: Bypassing the AWS Lambda 4KB limit to run polyglot AI agents

https://brewhubphl.com/engineering/parity-contracts-for-polyglot-llm-commerce-a-case-study
1•tomc267•16m ago•1 comments

Tanenbaum: Can We Make Operating Systems Reliable and Secure? (2006) [pdf]

https://www.cs.vu.nl/~ast/Publications/Papers/computer-2006a.pdf
1•delamon•16m ago•0 comments

Gemini 3.5: frontier intelligence with action

https://blog.google/innovation-and-ai/models-and-research/gemini-models/gemini-3-5/
29•meetpateltech•16m ago•4 comments

Chime CEO: Pursuing bank charter is 'a when, not if'

https://www.bankingdive.com/news/chime-ceo-bank-charter-fintech/820621/
1•petethomas•17m ago•0 comments