Alastar Gabriel (but you can call me anything). I'm an ex-professional software developer, now I make weird art and music :p I will give you bug facts unprompted


Twitch, Ko-fi, Neocities, Mastodon


We can be friends but I have to warn you, I am a little awkward and kind of hard to get ahold of :p


ENG/日本語 OK


website
444631.xyz/
Tumblr (I probably won't use this one much)
www.tumblr.com/444631

mehbark
@mehbark

haven't seen it here thankfully, but holy crap i am so sick of seeing geniuses on twitter say "erm actually HTML is not a programming language erm eh turing completeness1 heh heh"

HTML IS MUTUALLY INTELLIGIBLE TO HUMANS AND COMPUTERS. THIS ISN'T EVEN A REMOTELY INTERESTING CASE.

LEARN: https://beautifulracket.com/appendix/why-lop-why-racket.html#what-is-a-language


1: this is particularly aggravating when it comes up because, aside from yadda yadda no language is truly turing complete, are you really going to tell me dhall, coq, and lean aren't programming languages but brainf is? (brainf is still a programming language to be clear)


You must log in to comment.

in reply to @mehbark's post: