Show newer
ÆSCLING ACTIVATES the TF MACHINE!

ÆSCLING TRANSFURMS from GLACEON to FURRET!

ÆSCLING SWISCHES its big fluffy $$$$-ing TAIL!

— :aescling_tf_machine:

every dependently typed purrogramming language gives really confusing errors because they refur to underlying notation that is being hidden from you fur ergonomic reasons. but then you look at a textbook full of terms like

Π u: ℕ. Π α: Sort u. Π x: α. x

which is just the identity function, and you start to get why language design is a challenge fur any language based on a dependently type theory

(The Little Typer is also (unintentionally?) really good at motivating the notational decisions and feature sets of any actually remotely purractical dependently typed language because holy shit would the language developed fur that book be annoying to use fur anything remotely interesting)

errant signal rising from the dead on halloween, not ominous at all…

the great veevee polls (9/9) 

sylveon

Show thread

the great veevee polls (8/9) 

glaceon:

Show thread

the great veevee polls (7/9) 

leafeon

Show thread

the great veevee polls (6/9) 

umbreon:

Show thread

the great veevee polls (5/9) 

espeon:

Show thread

the great veevee polls (4/9) 

flareon:

Show thread

the great veevee polls (3/9) 

jolteon:

Show thread

the great veevee polls (2/9) 

vaporeon:

Show thread

the great veevee polls (1/9) 

time to run this series of polls again, because i feel like it

eevee:

ÆSCLING ACTIVATES the TF MACHINE!

ÆSCLING TRANSFURMS from ALOLAN NINETALES to GLACEON!

ÆSCLING SWISCHES its big flattened $$$$-ing TAIL!

— :aescling_tf_machine:

together with "telepathy", i'm also launching a patreon at patreon.com/animagarden/

i'm currently independent, and i would very much like to stay that way. i want to have the freedom to write, make art, create software and games, and manage my time as i see fit.

it's a long road to get there, and i don't currently know if i'll be able to make a living off of this. but i'd really like to try.

Show thread
ÆSCLING ACTIVATES the TF MACHINE!

ÆSCLING does not transfurm! It is still ALOLAN NINETALES!

ÆSCLING SWISCHES its big fluffy $$$$-ing TAILS!

— :aescling_tf_machine:

Show older
📟🐱 GlitchCat

A small, community‐oriented Mastodon‐compatible Fediverse (GlitchSoc) instance managed as a joint venture between the cat and KIBI families.