This may interest programmers. It a version of my UTF-8 encode/decoder that I contributed to Rosetta Code.

It is VERIFIED. It requires proofs of correct values.

https://pastebin.com/q6pV2FvG

#programming #Unicode #utf8 #ats #ats2

I’m pretty sure in #ATS #ATS2 you can use linear streams to capture the concept of status code returns in a self-cleaning, lightweight thunked manner that avoids if-fel towers, closures, executing on failed values while short-circuiting on failure without overhead. I will need to test this theory…

Today I printed Hello, World to an ncurses screen in ATS2. Probably the most exciting feeling I have had programming in a while, especially if you consider my background/existing knowledge. #ats #ats2

This website is really cool! it shows all accessible and inaccessible roads that actually exists in #ETS and #ATS2 : https://truckermudgeon.github.io

#trucksim

Yas, #TruckersMP now is working flawlessly on Linux through truckersmp-cli

https://github.com/truckersmp-cli/truckersmp-cli

Happy trucking Linux gamers!

#LinuxGaming #Gaming #Videogames #ETS2 #ATS2 #EuroTruckSimulator2 #AmericanTruckSimulator2 #Linux

Should be `nixpkgs#ats2` because `ats` is the substrate language on which #ats2 is bootstrapped.

matzにも解るよう、禅問答的に #ATS2 の型理論を説明してみたよ - Togetterまとめ https://togetter.com/li/752948

ふーぬ