Hackernews posts about bootc

1. Bootc for Workstation Use (lwn.net)
   3 points by todsacerdoti 9 days ago | discuss
2. Ask HN: Looking for a good course to learn proof assistant Lean 4
   5 points by rabarbers 3 days ago | 3 comments
3. Show HN: Free CS Education for Future SWEs (YC F25) (www.vectorschool.ai)
   2 points by sam_goldman 7 days ago | discuss
4. Show HN: Scout0 – Learn from AI code reviews, don't just copy fixes (scout0.com)
   2 points by everaur 24 days ago | discuss
5. Don Norman, Forgive Us Machine-Centered Design Is Here (medium.com)
   2 points by jpetitte 4 days ago | discuss
6. The Linux Boot Process: From Power Button to Kernel (www.0xkato.xyz)
   482 points by 0xkato 23 days ago | 89 comments
7. NASA chief suggests SpaceX may be booted from moon mission (www.cnn.com)
   404 points by voxleone 27 days ago | 1178 comments
8. Asahi Linux Still Working on Apple M3 Support, M1n1 Bootloader Going Rust (www.phoronix.com)
   313 points by LorenDB 24 days ago | 342 comments
9. Ventoy: Create bootable USB drive for ISO/WIM/IMG/VHD(x)/EFI Files (github.com)
   289 points by wilsonfiifi 18 days ago | 121 comments
10. Dosbian: Boot to DOSBox on Raspberry Pi (cmaiolino.wordpress.com)
    165 points by indigodaddy 29 days ago | 69 comments
11. Denx (a.k.a. U-Boot) Retires (www.denx.de)
    117 points by synergy20 4 days ago | 36 comments
12. We built a cloud GPU notebook that boots in seconds (modal.com)
    91 points by birdculture 14 days ago | 34 comments
13. Debugging BeagleBoard USB boot with a sniffer: fixing omap_loader on modern PCs (www.downtowndougbrown.com)
    80 points by todsacerdoti 9 days ago | 6 comments
14. Why Sam Altman was booted from OpenAI, according to new testimony (www.theverge.com)
    52 points by paladin314159 9 days ago | 12 comments
15. Front-Panel Booting an ATmega88 Microcontroller (www.linusakesson.net)
    43 points by robin_reala 24 days ago | 14 comments
16. Google Posts Device Trees for Booting Pixel 10 with Mainline Linux Kernel (www.phoronix.com)
    30 points by fork-bomber 4 days ago | 5 comments
17. Google Posts Device Trees for Booting Pixel 10 with the Mainline Linux Kernel (www.phoronix.com)
    19 points by nextos 4 days ago | 1 comments
18. Bank of America faces lawsuit over alleged unpaid computer boot-up time (www.hcamag.com)
    9 points by WarOnPrivacy 9 days ago | 1 comments
19. Chaos and lies: Why Sam Altman was booted from OpenAI according to new testimony (www.theverge.com)
    7 points by littlexsparkee 11 days ago | 2 comments
20. I wrote a Pong game in a 512-byte boot sector (akshatjoshi.com)
    7 points by akshat666 2 days ago | discuss
21. Google Posts Device Trees for Booting Pixel 10 Hardware with the Mainline Linux (www.phoronix.com)
    7 points by todsacerdoti 5 days ago | discuss
22. Chaos and lies: Why Sam Altman was booted from OpenAI according to new testimony (www.theverge.com)
    6 points by jnord 10 days ago | 1 comments
23. Sprout: Rust UEFI Bootloader (github.com)
    6 points by alexzenla 7 days ago | discuss
24. Bank of America Faces Lawsuit for unpaid time during computer bootup and login (www.hcamag.com)
    5 points by m463 6 days ago | discuss
25. Show HN: My bootstrapped startup for co-parents was just featured in WIRED
    3 points by solfox 20 days ago | 5 comments
26. Android/Linux Dual Boot (wiki.postmarketos.org)
    3 points by joooscha about 6 hours ago | discuss
27. Show HN: I made a self-expanding, PXE booting Docker Cluster based on CM5s (blog.haschek.at)
    3 points by geek_at 7 days ago | discuss
28. Bootloader Unlock Wall of Shame (github.com)
    3 points by turrini 16 days ago | discuss
29. Can you still bootstrap a unicorn in 2025?
    3 points by moneymanskurt 18 days ago | discuss
30. Front-Panel Booting an ATmega88 Microcontroller [video] (www.youtube.com)
    3 points by ruik 18 days ago | discuss