HN Explorer

snvzz

↗ HN profile [ 102 ms ] full profile
Karma
0
Created
()
Submissions
0
  1. SeL4 security proofs now complete on AArch64 (proofcraft.systems)
    1 points 52
  2. Why Were the Dabaos Late? (crowdsupply.com)
    1 points 0
  3. ESP32-S31 now in mass production and available for purchase (blog.adafruit.com)
    3 points 0
  4. The MilkV Jupiter 2/SpacemiT K3 (taoofmac.com)
    3 points 0
  5. The Boot Chain of a RISC-V Board: From Silicon to Ubuntu 26.04 (blog.ludovic.dev)
    4 points 0
  6. Why We're Protecting Your Commodore 64 Ultimate FPGA (commodore.net)
    5 points 2
  7. Genode OS Framework 26.02 (genode.org)
    4 points 0
  8. 1 points 0
  9. C64 Copy Protection (commodoregames.net)
    62 points 4
  10. RISC-V Annual Report 2025 [pdf] (riscv.org)
    4 points 0
  11. HDMI 2.1 VRR support in AMDGPU via non-encumbered party (phoronix.com)
    10 points 0
  12. New Box64 v0.4.0 Released (box86.org)
    3 points 0
  13. Phoenix: A modern X server written from scratch in Zig (git.dec05eba.com)
    674 points 59
  14. Amifuse: Native AmigaOS filesystem handlers on macOS/Linux (github.com)
    2 points 0
  15. Half of Linux Users Stick with X11, Despite Years of Wayland Being Forced (youtube.com)
    27 points 25
  16. BebboSSH: SSH2 implementation for Amiga systems (68000, GPLv3) (franke.ms)
    62 points 5
  17. LionsOS Firewall System (SeL4) (lionsos.org)
    7 points 0
  18. BoxLambda OS Software Architecture, First Draft (epsilon537.github.io)
    5 points 0
  19. DeMoN II: Successor to the original DeMoN cart for the Amiga 500/+ computers (github.com)
    2 points 0
  20. Sculpt Operating System 25.10 (genode.org)
    5 points 0
  21. Google's Android developer registration requirement will kill F-Droid (osnews.com)
    35 points 2
  22. Who ~Framed~ Created Pitman? (blog.hardcoregaming101.net)
    2 points 0
  23. SeL4 Summit – Trustworthy Systems R&D Update – Gernot Heiser, UNSW Sydney [video] (youtube.com)
    2 points 0
  24. Trustworthy Systems R&D Update – Gernot Heiser, UNSW Sydney [video] (youtube.com)
    3 points 0
  25. Nintendo locked down the Switch 2's USB-C port and broke third-party docking (theverge.com)
    46 points 23