buc.ci is a Fediverse instance that uses the ActivityPub protocol. In other words, users at this host can communicate with people that use software like Mastodon, Pleroma, Friendica, etc. all around the world.
This server runs the snac software and there is no automatic sign-up process.
Idris for the Atari ST also runs on the MiSteryNano, a reimplementation of the ST on a 30โฌ Tang Nano 20k FPGA board. Here's a screenshot of the X10 (not a typo!) window system running in glorious 640x400 mono resolution on a modern HDMI LCD. We initially had some trouble running Idris in the Hatari emulator, but on the FPGA everything works right away!
https://github.com/MiSTle-Dev/MiSTeryNano
https://github.com/9nut/IDRIS-OS-for-Atari-ST
https://virtuallyfun.com/2025/12/31/whitesmiths-idris-os-for-atari-st-virtualized/
https://wiki.sipeed.com/hardware/en/tang/tang-nano-20k/nano-20k.html
When I say passable: in graduate school I wrote a Prolog interpreter in java (including parsing source code or REPL input), within which I could run the classic examples like append or (very simple) symbolic differentiation/integration. As an undergraduate I wrote a Mathematica program to solve the word recognition problem for context-free formal languages. But I'd need some study time to be able to write these languages again.
I don't know what the hell prompted me to reminisce about programming languages. I hope it doesn't come off as a humblebrag but rather like old guy spinning yarns. I think I've been through so many because I'm never quite happy with any one of them and because I've had a varied career that started when I was pretty young.
I guess I'm also half hoping to find people on here who have similar interests so I'm going to riddle this post with hashtags:
#Coding #SoftwareDevelopment #ProgrammingLanguages #8086Assembly #BASIC #C #Pascal #perl #java #scala #LISP #Scheme #Prolog #Mathematica #ObjectiveC #matlab #octave #R #Python #Fortran #COBOL #Haskell #Clean #Flix #Curry #Factor #Unison #Joy #Idris #Agda #Lean #6502Assembly