I wrote a GameBoy emulator for my hobby OS (2022)(axleos.com)

260 points by codyd51 3 years ago | 40 comments

Show HN: Game Bub – open-source FPGA retro emulation handheld(eli.lipsitz.net)

241 points by elipsitz 1 year ago | 58 comments

Everything Picolisp can do, and more(picolisp.com)

86 points by damir 1 year ago | 8 comments

Perl v5.40.0 is now available(perldoc.perl.org)

50 points by bw86 2 years ago | 6 comments

Markdown in /src(htmx.org)

138 points by perrygeo 1 month ago | 77 comments

An htmx.org essay by Carson Gross arguing that Markdown is becoming source code and should be checked into /src, with code and tests derived from it rather than ephemeral prompts.

Ironclad – formally verified, real-time capable, Unix-like OS kernel(ironclad-os.org)

358 points by vitalnodo 11 months ago | 121 comments

Homepage of Ironclad, a formally verified, real-time capable, Unix-like OS kernel written in SPARK and Ada with POSIX compatibility and MAC.