Alexis King

forever arguing that things can be understood • she/her, ⚢ • Chicago

Alexis Kinglexi_lambda
2023-10-22

@bhaktishh lol this happened to me when I went to ICFP last year (also Air France) and the customer support process was absolutely maddening (and I say this as someone who is usually exceptionally kind to customer service people and willing to put up with these sorts of mistakes)

Alexis Kinglexi_lambda
2023-10-07

@bhaktishh I have no idea what the context of this post is but I saw it and this image immediately appeared in my mind

panel 1: guy wearing shirt that says “ready for any contingency”
panel 2: guy wearing shirt that says “what if they made programming languages illegal”
panel 3: guy from first panel wearing shirt that says “ready for most contingencies”
Alexis Kinglexi_lambda
2023-09-25
“no take/only throw” comic except the panels say “pls money??” “NO WORK!!” “ONLY MONEY”
Alexis Kinglexi_lambda
2023-09-21

[I am linked to an HN discussion thread] please do not ascribe meaning to the statements produced by programmers. they’re just sampling from a large corpus of things they’ve seen before. they aren’t really intelligent and don’t really “understand” anything

Alexis Kinglexi_lambda
2023-09-21

@bhaktishh kill them

Alexis Kinglexi_lambda
2023-09-20

@regehr it will be a very dark day indeed when scholar also falls

Alexis Kinglexi_lambda
2023-09-20

@regehr literally just searched for this on google scholar just to make sure you were making this up

Alexis Kinglexi_lambda
2023-09-20

had a dream last night that I was giving a talk in like 30 mins and had no memory of agreeing to give the talk or making slides. then I realized I was dreaming and therefore decided I would simply give the talk and see what slides my subconscious came up with. in fact it turned out the talk was about how linear types are bad (something I don’t in any way believe) and the slides involved an unhinged interactive slideshow presentation with an embedded REPL for reasons unknown to me

Alexis Kinglexi_lambda
2023-09-15

@koronkebitch chad response tbh

Alexis Kinglexi_lambda
2023-09-14

@koronkebitch I said I, not you! I’m not sure why you being busy is an obstacle here

Alexis Kinglexi_lambda
2023-09-14

@koronkebitch @clam oh lol. well, maybe they’ll find the link helpful. or I could still just explain it to them :p

Alexis Kinglexi_lambda
2023-09-14

@koronkebitch @clam I think this one is okay (it’s in JS). blog.jcoglan.com/2011/03/05/tr to be honest though I think the Haskell presentation is a lot easier to understand for various reasons (I remember reading this before I knew Haskell and not finding it all that helpful). I’d be happy to just explain them to you lol, they’re really not actually very complicated (but are often very poorly explained)

Alexis Kinglexi_lambda
2023-09-14

@koronkebitch wait someone else already asked this lmao

Alexis Kinglexi_lambda
2023-09-14

@koronkebitch do you mean programming monads or category theory monads

Alexis King boosted:
ionchy :meowcowboy:ionchy@types.pl
2023-09-13

I'm normal and have no opinions on rhombus

Alexis Kinglexi_lambda
2023-09-12

The Astonishing, Unfailing GHC Runtime System (1967)

Haskell logo surrounded by circle captioned “Runtime System” in the style of the Bell System logo, with NTSC filter applied.
Alexis Kinglexi_lambda
2023-09-07

@regehr SIGBOVIK-ass paper

Alexis Kinglexi_lambda
2023-09-06

@ionchy @bhaktishh twopule, threeple, fourple

Alexis Kinglexi_lambda
2023-09-06

@bhaktishh @koronkebitch genuinely don’t understand how they have still not fixed this

Client Info

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