Hackernews posts about KERNAL

1. Auto-research with codex: How I achieved a 232x Faster Kernel (sankalp.bearblog.dev)
   457 points by tosh 6 days ago | 93 comments
2. Postmortem for Kernel Soundness Bug #14576 (leodemoura.github.io)
   162 points by juhopitk 20 days ago | 62 comments
3. Why is it all in the kernel? (lawrencecpaulson.github.io)
   87 points by ibobev 21 days ago | 39 comments
4. Solving poker in custom WebGPU kernels (phulin.me)
   74 points by patrickhulin 22 days ago | 21 comments
5. Attention Decode on AMD MI450 GPUs: A Gluon Kernel Optimization Guide (rocm.blogs.amd.com)
   71 points by matt_d 24 days ago | 11 comments
6. Ubuntu's TPM encryption switches to snap kernel that blocks deb kernel packages (bare.systems)
   56 points by 6jQhWNYh 24 days ago | 26 comments
7. A Contract-Grade Verifier for LLM-Generated GPU Kernels (arxiv.org)
   46 points by Jimmc414 7 days ago | discuss
8. AMD publishes machine-readable ISA so frontier models can write its GPU kernels (www.theregister.com)
   23 points by logickkk1 27 days ago | discuss
9. The Zen of Parallel Programming: The Posture of a Kernel (smolnero.com)
   21 points by edgar_ortega 30 days ago | 2 comments
10. AI-generated, Lean-verified proof of Collatz conjecture exploits Lean kernel bug (infosec.exchange)
    16 points by YeGoblynQueenne 22 days ago | 1 comments
11. Linus Torvalds says AI has made 'huge' Linux kernel updates the new normal (www.theregister.com)
    13 points by pseudolus 10 days ago | 5 comments
12. Linus Torvalds says AI has made Linux kernel updates the new normal (www.theregister.com)
    12 points by mdp2021 11 days ago | 3 comments
13. "Oopsies " FreeBSD Devs Say There's Still GPL in the Kernel (fossforce.com)
    11 points by richij 22 days ago | 2 comments
14. Linux kernel team publishes 432 CVEs in two days (www.theregister.com)
    10 points by speckx 30 days ago | 1 comments
15. Show HN: Kandelo – a POSIX-compatible multi-process WASM kernel for the browser (kandelo.dev)
    9 points by brandonpayton about 15 hours ago | 10 comments
16. BSDun – FreeBSD ELF support for the Linux kernel (gitlab.com)
    8 points by rguiscard 2 days ago | 2 comments
17. CAKE: Compiler-Agent Co-Design for Frontier Kernel Evolution (arxiv.org)
    8 points by matt_d 7 days ago | discuss
18. Show HN: Aevros .... A kernel that explains itself (github.com)
    6 points by Mobeen0119 19 days ago | 1 comments
19. Progress in Modernizing Kernel Cryptography (lwn.net)
    6 points by pykello 2 days ago | discuss
20. Kernel 7.2: RK3588 media, smarter GPU memory, and Rust foundations (www.collabora.com)
    6 points by losgehts 3 days ago | discuss
21. RefluXFS: A Linux Kernel Local Privilege Escalation to Root in XFS (blog.qualys.com)
    6 points by garyhtou 29 days ago | discuss
22. LinuxViz – 3D Linux Kernel Architecture Explorer (tomasantunes.github.io)
    5 points by tomasantunes89 15 days ago | 2 comments
23. Stanford's deterministic CUDA kernel verifier (2026.splashcon.org)
    5 points by ggboimoney 2 days ago | 1 comments
24. Popcorn: Democratized Fast Kernel Dispatching (blog.tilderesearch.com)
    5 points by ronfriedhaber 2 days ago | discuss
25. The 7.2 kernel has been released (lwn.net)
    5 points by nyku 4 days ago | discuss
26. Kernel accepts wrong-structure projections, allowing axiom-free proof of False (github.com)
    5 points by gopiandcode 24 days ago | discuss
27. TIRx: An Open Compiler Stack for Evolving Frontier ML Kernels (tvm.apache.org)
    5 points by EvgeniyZh 25 days ago | discuss
28. AI in the Linux Kernel (drewdevault.com)
    4 points by lr0 25 days ago | 1 comments
29. How to choose a Linux kernel subsystem to work on (as a beginner) (cjd8.github.io)
    4 points by cjd8 30 days ago | 1 comments
30. Show HN: Tilery-VM – run Nvidia cuTile GPU kernels on a CPU, no GPU required (github.com)
    4 points by justdrbh 22 days ago | discuss