#ats2

Barry Schwartz 🫖chemoelectric@masto.ai
2025-11-20

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.

pastebin.com/q6pV2FvG

#programming #Unicode #utf8 #ats #ats2

to⟁st⟁ltoastal@types.pl
2024-10-06

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…

to⟁st⟁ltoastal@types.pl
2024-06-27

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

Patrick Wu :neocat_flag_bi:patrick@o0o.social
2024-05-31

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

#trucksim

The Gamer's Tavern 🍻thegamerstavern@mstdn.games
2024-03-29
Jons Mostovojsjonn@social.doma.dev
2023-12-03

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

Barry Schwartz 🫖chemoelectric@masto.ai
2023-03-19
Barry Schwartz 🫖chemoelectric@masto.ai
2023-02-10
らりお・ザ・.*ソムリエlo48576@mastodon.cardina1.red
2017-11-05

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

ふーぬ

Client Info

Server: https://mastodon.social
Version: 2025.07
Repository: https://github.com/cyevgeniy/lmst