Hackernews posts about KERNAL

1. Establishing persistence using extended attributes on Linux (kernal.eu)
   3 points by speckx 1 day ago | discuss
2. The Linux Boot Process: From Power Button to Kernel (www.0xkato.xyz)
   482 points by 0xkato 28 days ago | 89 comments
3. Ironclad – formally verified, real-time capable, Unix-like OS kernel (ironclad-os.org)
   375 points by vitalnodo 14 days ago | 144 comments
4. WebAssembly (WASM) arch support for the Linux kernel (github.com)
   299 points by marcodiego 21 days ago | 65 comments
5. HipKittens: Fast and furious AMD kernels (hazyresearch.stanford.edu)
   242 points by dataminer 9 days ago | 91 comments
6. Helion: A high-level DSL for performant and portable ML kernels (pytorch.org)
   150 points by jarbus 21 days ago | 49 comments
7. The Linux Kernel Looks to “Bite the Bullet” in Enabling Microsoft C Extensions (www.phoronix.com)
   136 points by keyle 12 days ago | 97 comments
8. Racing karts on a Rust GPU kernel driver (www.collabora.com)
   77 points by mfilion 3 days ago | 14 comments
9. Linux kernel patch from Thomas Gleixner improves Postgres benchmark by 15% (lore.kernel.org)
   43 points by throwaway2037 11 days ago | 2 comments
10. Google Posts Device Trees for Booting Pixel 10 with Mainline Linux Kernel (www.phoronix.com)
    30 points by fork-bomber 9 days ago | 5 comments
11. Red Hat losing another longtime and prominent Linux kernel engineer (www.phoronix.com)
    30 points by Bender 4 days ago | 2 comments
12. The seven second kernel compile (es.tldp.org)
    25 points by guerrilla 26 days ago | 22 comments
13. Google Posts Device Trees for Booting Pixel 10 with the Mainline Linux Kernel (www.phoronix.com)
    20 points by nextos 10 days ago | 1 comments
14. Ironclad OS project popping out Unix-like kernel using Ada (www.theregister.com)
    18 points by mmooss 12 days ago | 3 comments
15. Linux Kernel Ported to WebAssembly – Demo Lets You Run It in Your Web Browser (www.phoronix.com)
    14 points by Bogdanp 21 days ago | 1 comments
16. Denial of Fuzzing: Rust in the Windows Kernel (research.checkpoint.com)
    12 points by ndiddy 10 days ago | 5 comments
17. Moss: a Rust Linux-compatible kernel in 26,000 lines of code (github.com)
    9 points by hexagonal-sun about 13 hours ago | 1 comments
18. HipKittens: Fast and Furious AMD Kernels (hazyresearch.stanford.edu)
    8 points by mpweiher 8 days ago | discuss
19. Keynote: Rust in the Linux Kernel, Why? – Greg Kroah-Hartman [video] (www.youtube.com)
    8 points by tambourine_man 8 days ago | discuss
20. There's No Rust on This Ironclad Kernel: An OS Written in Ada (hackaday.com)
    8 points by SeenNotHeard 9 days ago | discuss
21. There's No Rust on This Ironclad Kernel (hackaday.com)
    7 points by ajdude 8 days ago | 1 comments
22. ParallelKittens: Simple and Fast Multi-GPU AI Kernels (hazyresearch.stanford.edu)
    7 points by pella 5 days ago | discuss
23. The Life of a Packet in the Linux kernel: From write() to recv() (www.0xkato.xyz)
    6 points by signa11 5 days ago | discuss
24. Linux Kernel Ported to WebAssembly (lore.kernel.org)
    6 points by shscs911 21 days ago | discuss
25. NetBSD on the last G4 Mac mini (and making the kernel power failure proof) (tenfourfox.blogspot.com)
    4 points by fanf2 6 days ago | 1 comments
26. HipKittens: Fast and Furious AMD Kernels (hazyresearch.stanford.edu)
    4 points by pella 11 days ago | 1 comments
27. Strengthening KernelCI: New architecture, storage, and integrations (www.collabora.com)
    4 points by losgehts 5 days ago | discuss
28. The Linux Kernel Looks to "Bite the Bullet" in Enabling Microsoft C Extensions (www.phoronix.com)
    3 points by Bender 13 days ago | 5 comments
29. Triton-Augment: GPU Kernel Fusion for 5-73x Faster Image/Video Augmentation (github.com)
    3 points by seedlingfl 4 days ago | 2 comments
30. Show HN: Xeus-Haskell – a lightweight Haskell kernel for JupyterLite (github.com)
    3 points by tanimasa 7 days ago | 1 comments