ATS is the personal project of a single researcher starting with deCaml in 1999. ATS brings dependent types to systems programming by compiling to C with no runtime of its own. It's not quite as flexible as Idris, but it can compile to Arduino or anything else anything C can !!

explanation of dependent types: http://tojans.me/blog/2015/02/06/how-to-explain-dependent-typing/

**Lizardsquid, maker of noises** @lizardsquid@computerfairi.es · Apr 28, 2018, 11:37

**Lizardsquid, maker of noises** @lizardsquid@computerfairi.es · Apr 28, 2018, 11:37

Apr 28, 2018, 11:37

Lizardsquid, maker of noises @lizardsquid@computerfairi.es

@puppy@chitter.xyz lovely soft

**Lizardsquid, maker of noises** @lizardsquid@computerfairi.es · Apr 28, 2018, 11:37

**Lizardsquid, maker of noises** @lizardsquid@computerfairi.es · Apr 28, 2018, 11:37

Apr 28, 2018, 11:37

Lizardsquid, maker of noises @lizardsquid@computerfairi.es

@puppy@chitter.xyz *squeeze!*

**Lizardsquid, maker of noises** @lizardsquid@computerfairi.es · Apr 28, 2018, 11:36

**Lizardsquid, maker of noises** @lizardsquid@computerfairi.es · Apr 28, 2018, 11:36

Apr 28, 2018, 11:36

Lizardsquid, maker of noises @lizardsquid@computerfairi.es

@puppy@chitter.xyz *grab soffly*

**Lizardsquid, maker of noises** @lizardsquid@computerfairi.es · Apr 28, 2018, 11:07

**Lizardsquid, maker of noises** @lizardsquid@computerfairi.es · Apr 28, 2018, 11:07

Apr 28, 2018, 11:07

Lizardsquid, maker of noises @lizardsquid@computerfairi.es

pda

@LottieVixen is wonderful and amazing and cute and I'm so glad I get to live with her ♥

**Lizardsquid, maker of noises** @lizardsquid@computerfairi.es · Apr 28, 2018, 10:48

**Lizardsquid, maker of noises** @lizardsquid@computerfairi.es · Apr 28, 2018, 10:48

Apr 28, 2018, 10:48

Lizardsquid, maker of noises @lizardsquid@computerfairi.es

extreme functional programming nerdry

@bug I wanted to learn ATS, but it didn't seem to work last time I tried it...

**Lizardsquid, maker of noises** · Apr 28, 2018, 10:42

Lizardsquid, maker of noises boosted

**🛄 chitter.xyz** @Efi@mastodon.social · Apr 28, 2018, 10:42

Apr 28, 2018, 10:42

🛄 chitter.xyz @Efi@mastodon.social

having kids instead of cloning yourself is admitting your genes are wrong and need an update

**Lizardsquid, maker of noises** @lizardsquid@computerfairi.es · Apr 28, 2018, 10:37

**Lizardsquid, maker of noises** @lizardsquid@computerfairi.es · Apr 28, 2018, 10:37

Apr 28, 2018, 10:37

Lizardsquid, maker of noises @lizardsquid@computerfairi.es

@Efi *squirms happily* ♥

**Lizardsquid, maker of noises** @lizardsquid@computerfairi.es · Apr 28, 2018, 10:30

**Lizardsquid, maker of noises** @lizardsquid@computerfairi.es · Apr 28, 2018, 10:30

Apr 28, 2018, 10:30

Lizardsquid, maker of noises @lizardsquid@computerfairi.es

@karen @Efi oh, I was misinformed then

**Lizardsquid, maker of noises** @lizardsquid@computerfairi.es · Apr 28, 2018, 10:28

**Lizardsquid, maker of noises** @lizardsquid@computerfairi.es · Apr 28, 2018, 10:28

Apr 28, 2018, 10:28

Lizardsquid, maker of noises @lizardsquid@computerfairi.es

@Efi it's like mastodon, except:

good:
* it's really lightweight
* some nice UI stuff

bad:
* no cw
* run and maintained by one person, who is also a racist jerk

**Lizardsquid, maker of noises** @lizardsquid@computerfairi.es · Apr 28, 2018, 10:18

**Lizardsquid, maker of noises** @lizardsquid@computerfairi.es · Apr 28, 2018, 10:18

Apr 28, 2018, 10:18

Lizardsquid, maker of noises @lizardsquid@computerfairi.es

idea for a sign up page for a federated tumblr

so when you sign up for tumblr, you get to choose a url and it shows you

"<yourchoice>.tumblr.com"

when you write it.

I had an idea that you could have a join-federated-tumblr.org page, where it asks you to choose both a blog name AND the domain it's on, and you finish up sign up on *this* page, instead of the instance page.

This will help new comers to actually use federation and sign up for different instances