| 1. | | Synaptics Appears to Use Legal Threats to Block Open-Source DisplayLink Driver (phoronix.com) |
| 235 points by snvzz 8 days ago | past | 105 comments |
|
| 2. | | SeL4 security proofs now complete on AArch64 (proofcraft.systems) |
| 201 points by snvzz 80 days ago | past | 53 comments |
|
| 3. | | Why Were the Dabaos Late? (crowdsupply.com) |
| 1 point by snvzz 3 months ago | past |
|
| 4. | | ESP32-S31 now in mass production and available for purchase (adafruit.com) |
| 3 points by snvzz 3 months ago | past |
|
| 5. | | The MilkV Jupiter 2/SpacemiT K3 (taoofmac.com) |
| 3 points by snvzz 5 months ago | past |
|
| 6. | | The Boot Chain of a RISC-V Board: From Silicon to Ubuntu 26.04 (ludovic.dev) |
| 4 points by snvzz 5 months ago | past |
|
| 7. | | Why We're Protecting Your Commodore 64 Ultimate FPGA (commodore.net) |
| 5 points by snvzz 6 months ago | past | 2 comments |
|
| 8. | | Genode OS Framework 26.02 (genode.org) |
| 4 points by snvzz 8 months ago | past |
|
| 9. | | C64 Copy Protection (commodoregames.net) |
| 62 points by snvzz 8 months ago | past | 14 comments |
|
| 10. | | RISC-V Annual Report 2025 [pdf] (riscv.org) |
| 4 points by snvzz 9 months ago | past |
|
| 11. | | HDMI 2.1 VRR support in AMDGPU via non-encumbered party (phoronix.com) |
| 10 points by snvzz 9 months ago | past |
|
| 12. | | New Box64 v0.4.0 Released (box86.org) |
| 3 points by snvzz 10 months ago | past |
|
| 13. | | Phoenix: A modern X server written from scratch in Zig (dec05eba.com) |
| 674 points by snvzz 10 months ago | past | 435 comments |
|
| 14. | | Amifuse: Native AmigaOS filesystem handlers on macOS/Linux (github.com/reinauer) |
| 2 points by snvzz 10 months ago | past |
|
| 15. | | Half of Linux Users Stick with X11, Despite Years of Wayland Being Forced (youtube.com) |
| 27 points by snvzz 11 months ago | past | 25 comments |
|
| 16. | | BebboSSH: SSH2 implementation for Amiga systems (68000, GPLv3) (franke.ms) |
| 62 points by snvzz 11 months ago | past | 17 comments |
|
| 17. | | LionsOS Firewall System (SeL4) (lionsos.org) |
| 7 points by snvzz 11 months ago | past |
|
| 18. | | BoxLambda OS Software Architecture, First Draft (epsilon537.github.io) |
| 5 points by snvzz on Nov 5, 2025 | past |
|
| 19. | | DeMoN II: Successor to the original DeMoN cart for the Amiga 500/+ computers (github.com/gerbilbyte) |
| 2 points by snvzz on Nov 1, 2025 | past |
|
| 20. | | Sculpt Operating System 25.10 (genode.org) |
| 5 points by snvzz on Oct 31, 2025 | past |
|
| 21. | | Google's Android developer registration requirement will kill F-Droid (osnews.com) |
| 35 points by snvzz on Sept 29, 2025 | past | 2 comments |
|
| 22. | | Who ~Framed~ Created Pitman? (hardcoregaming101.net) |
| 2 points by snvzz on Sept 18, 2025 | past |
|
| 23. | | SeL4 Summit – Trustworthy Systems R&D Update – Gernot Heiser, UNSW Sydney [video] (youtube.com) |
| 2 points by snvzz on Sept 15, 2025 | past |
|
| 24. | | Trustworthy Systems R&D Update – Gernot Heiser, UNSW Sydney [video] (youtube.com) |
| 3 points by snvzz on Sept 13, 2025 | past |
|
| 25. | | Nintendo locked down the Switch 2's USB-C port and broke third-party docking (theverge.com) |
| 46 points by snvzz on July 4, 2025 | past | 23 comments |
|
| 26. | | EmuTOS v1.4 Released (atariscne.org) |
| 2 points by snvzz on June 11, 2025 | past | 1 comment |
|
| 27. | | Benchmarking Crimes Meet Formal Verification (microkerneldude.org) |
| 37 points by snvzz on May 19, 2025 | past | 6 comments |
|
| 28. | | Trinity Desktop Environment R14.1.4 (trinitydesktop.org) |
| 4 points by snvzz on April 28, 2025 | past |
|
| 29. | | Ambermoon Advanced (github.com/pyrdacor) |
| 17 points by snvzz on March 31, 2025 | past | 1 comment |
|
| 30. | | The SeL4 Microkernel: An Introduction [pdf] (sel4.systems) |
| 264 points by snvzz on March 23, 2025 | past | 188 comments |
|
|
| More |
