Toots for amy@types.pl account

Written by Amélia Liao on 2025-01-26 at 11:12

good morning types

=> More informations about this toot | View the thread

Written by Amélia Liao on 2025-01-25 at 11:47

i'm always miffed when people from the northern hemisphere seasonalpost like their experience is universal. "you made it through the darkest weeks of the year" nice sentiment but it's the middle of summer. we have 13 hours of daylight today.

=> More informations about this toot | View the thread

Written by Amélia Liao on 2025-01-24 at 09:47

worried about travelling to Europe this year because ETIAS will start being required and my level of education is "completed high school" and my occupation is "unemployed"

=> More informations about this toot | View the thread

Written by Amélia Liao on 2025-01-23 at 21:29

everyone likes mimikyu

=> More informations about this toot | View the thread

Written by Amélia Liao on 2025-01-23 at 15:31

it feels very pointless to be thinking about doing anything this week

=> More informations about this toot | View the thread

Written by Amélia Liao on 2025-01-22 at 15:57

why do we call it a stick of butter when sticks are round and have higher aspect ratio. that is an ingot of butter

=> More informations about this toot | View the thread

Written by Amélia Liao on 2025-01-22 at 03:36

i think i was sleeping on my arm super funny or something cuz i woke up with my ring finger numb

=> More informations about this toot | View the thread

Written by Amélia Liao on 2025-01-21 at 20:11

i just saw a blog post that mentions an expression's "principle type" which i assume might have to do with ethical compilation but it certainly does not have anything to do with let generalization

=> More informations about this toot | View the thread

Written by Amélia Liao on 2025-01-21 at 20:09

ranking minor typos by how much they annoy me.

=> More informations about this toot | View the thread

Written by Amélia Liao on 2025-01-21 at 16:27

protip: you can fix a bad audio cable that only works under tension with a bit of tape

=> View attached media

=> More informations about this toot | View the thread

Written by Amélia Liao on 2025-01-21 at 15:54

normal conference huh

=> More informations about this toot | View the thread

Written by Amélia Liao on 2025-01-21 at 13:11

WHY is it followers only and not mutuals only

=> More informations about this toot | View the thread

Written by Amélia Liao on 2025-01-21 at 04:43

algorithm W? more like algorithm L

=> More informations about this toot | View the thread

Written by Amélia Liao on 2025-01-21 at 04:28

i'm only ~50 battles into this vgc thing but i can confidently say this is the worst turn i'll ever play. chien-pao is never leaving my team

=> View attached media

=> More informations about this toot | View the thread

Written by Amélia Liao on 2025-01-21 at 02:38

i took a nap and i woke up and things got pretty bad huh

=> More informations about this toot | View the thread

Written by Amélia Liao on 2025-01-20 at 02:19

girl it is BRIGHT and SUNNY outside

=> View attached media

=> More informations about this toot | View the thread

Written by Amélia Liao on 2025-01-19 at 13:51

"the meta is in a really healthy place right now" the meta

=> View attached media

=> More informations about this toot | View the thread

Written by Amélia Liao on 2025-01-19 at 09:12

i'm sure many of ghc's core devs could also reimplement all of ghc's headline features from scratch but none of them have — i have. in high school https://amulet.works/

=> More informations about this toot | View the thread

Written by Amélia Liao on 2025-01-19 at 09:09

as one of very few people to have independently implemented closed/open type families, gadts, functional dependencies, [...], from scratch, it's kinda comical to see people in ad 2025 pretend that all the crud we're shoving into our PLs ("generic associated types" lmao) is somehow simpler than dependent types

=> More informations about this toot | View the thread

Written by Amélia Liao on 2025-01-18 at 16:59

look! you're on TV!

=> View attached media

=> More informations about this toot | View the thread

=> This profile with reblog | Go to amy@types.pl account