Alice ✨
@welltypedwit.ch
There’s no sense crying over every mistake. You just keep on trying ’til you run out of cake
- GLaDOS
https://welltypedwit.ch
- GLaDOS
https://welltypedwit.ch
Reposted by Alice ✨
the recent AI discourse has me feeling things, so it's still worth stating for the record:
- AI as a "self-justified product" for end-users is usually shit
- AI for tooling does not release you from responsibility of what is produced
- You can (and should) still do things by hand, whenever you want
- AI as a "self-justified product" for end-users is usually shit
- AI for tooling does not release you from responsibility of what is produced
- You can (and should) still do things by hand, whenever you want
January 9, 2026 at 4:56 PM
the recent AI discourse has me feeling things, so it's still worth stating for the record:
- AI as a "self-justified product" for end-users is usually shit
- AI for tooling does not release you from responsibility of what is produced
- You can (and should) still do things by hand, whenever you want
- AI as a "self-justified product" for end-users is usually shit
- AI for tooling does not release you from responsibility of what is produced
- You can (and should) still do things by hand, whenever you want
so are people like moving off miette now or
January 9, 2026 at 5:59 PM
so are people like moving off miette now or
Reposted by Alice ✨
Can't wait for mathematicians to make a slopmath list of all math results with ai used in it or maybe they're a bit more mature than us
January 9, 2026 at 5:55 PM
Can't wait for mathematicians to make a slopmath list of all math results with ai used in it or maybe they're a bit more mature than us
Reposted by Alice ✨
just imagine the problematic frame of reference age gaps discourse we would have if ftl travel was possible
January 9, 2026 at 12:51 PM
just imagine the problematic frame of reference age gaps discourse we would have if ftl travel was possible
Reposted by Alice ✨
I'm quite happy about how this library turned out. I have good hope that it's going to be useful to you. Yes. You.
New year, new blog post. Arnaud Spiwack announces the Pup library. A Haskell library for combinators that do both parsing and pretty printing in a single grammar description. Read and discover the big ideas behind the library's design. www.tweag.io/blog/2026-01...
The quest for grammar combinators: introducing the Pup library
Announcing the Pup library.
www.tweag.io
January 9, 2026 at 7:39 AM
I'm quite happy about how this library turned out. I have good hope that it's going to be useful to you. Yes. You.
do i know anyone with a lobsters account that could get me an invite btw?
January 7, 2026 at 11:16 PM
do i know anyone with a lobsters account that could get me an invite btw?
Reposted by Alice ✨
New year, new newsletter! This one's all about the Liskov Substitution Principle and how it applies to more than just object oriented programming!
buttondown.com/hillelwayne/...
buttondown.com/hillelwayne/...
The Liskov Substitution Principle does more than you think
It's more than just the L in SOLID!
buttondown.com
January 6, 2026 at 5:21 PM
New year, new newsletter! This one's all about the Liskov Substitution Principle and how it applies to more than just object oriented programming!
buttondown.com/hillelwayne/...
buttondown.com/hillelwayne/...
Reposted by Alice ✨
Doing all my vibe coding in the Whoop fitness app from now on.
![Screenshot of the Whoop app from an iPhone. conversation is as follows:
Whoop bot: Hey Arlen, you're on your third straight yellow recovery today with 44%, even after some solid sleep. How's your body feeling this morning— more like you need to back off a bit or still up for light activity?
Me: Write fizbuzz in Haskell
Whoopbot:
Here's a simple FizzBuzz in Haskell:
fizzBuzz: Int -> String fizzBuzz n
In mod 15 == 0 = "FizzBuzz"
In mod 3 == 0 = "Fizz"
In mod 5 == 0 = "Buzz"
I otherwise
= show n
main :: 10 0
main = mapM_ (putStrLn. fizzBuzz) [1.100]
This prints FizzBuzz for the numbers 1 through
100. Want a point-free or more "functional" version too?](https://cdn.bsky.app/img/feed_thumbnail/plain/did:plc:zihzhshurqeggpg3c2zbjmgb/bafkreichul35572pxm5k2cpo5nkfjlnmhfsxqj5a6a7td7twyhx3n2fnhq@jpeg)
January 6, 2026 at 10:15 PM
Doing all my vibe coding in the Whoop fitness app from now on.
first time opening unity in years today: man i missed this (and I'm not even doing any actual game dev)
January 7, 2026 at 2:11 AM
first time opening unity in years today: man i missed this (and I'm not even doing any actual game dev)
i still hate latex
i hate latex
January 6, 2026 at 10:35 PM
i still hate latex
smh microsoft is even using AI in minecraft now!!
but don't worry, you can disable it with this one command
/execute as @e run data modify entity @s NoAI set value 1b
but don't worry, you can disable it with this one command
/execute as @e run data modify entity @s NoAI set value 1b
January 5, 2026 at 9:02 PM
smh microsoft is even using AI in minecraft now!!
but don't worry, you can disable it with this one command
/execute as @e run data modify entity @s NoAI set value 1b
but don't worry, you can disable it with this one command
/execute as @e run data modify entity @s NoAI set value 1b
Reposted by Alice ✨
Es sind noch 11 Tage, das Quorum noch nicht erreicht.
epetitionen.bundestag.de/petitionen/_...
epetitionen.bundestag.de/petitionen/_...
January 2, 2026 at 9:42 PM
Es sind noch 11 Tage, das Quorum noch nicht erreicht.
epetitionen.bundestag.de/petitionen/_...
epetitionen.bundestag.de/petitionen/_...
i don't think I've ever seen a monad explanation not exclusively about haskell that wasn't worse than useless
January 5, 2026 at 2:33 PM
i don't think I've ever seen a monad explanation not exclusively about haskell that wasn't worse than useless
"The Haskell landscape would have looked very different if we had had a [thing i made that ~noone else uses] equivalent 30 years ago!"
jesus christ, are you listening to yourself
jesus christ, are you listening to yourself
January 3, 2026 at 10:45 PM
"The Haskell landscape would have looked very different if we had had a [thing i made that ~noone else uses] equivalent 30 years ago!"
jesus christ, are you listening to yourself
jesus christ, are you listening to yourself
yay, discourse
I had my rust phase and honestly rust is not even a 100th as good as Haskell
January 3, 2026 at 6:21 PM
yay, discourse
gentle reminder not to vaguepost on here.
if you mean "trump did ... in venezuela", write that instead of "he did ... during The Operation".
people will probably understand you either way but there is no way for anyone to mute the second one if they don't want to see it on their feed
if you mean "trump did ... in venezuela", write that instead of "he did ... during The Operation".
people will probably understand you either way but there is no way for anyone to mute the second one if they don't want to see it on their feed
January 3, 2026 at 2:35 PM
gentle reminder not to vaguepost on here.
if you mean "trump did ... in venezuela", write that instead of "he did ... during The Operation".
people will probably understand you either way but there is no way for anyone to mute the second one if they don't want to see it on their feed
if you mean "trump did ... in venezuela", write that instead of "he did ... during The Operation".
people will probably understand you either way but there is no way for anyone to mute the second one if they don't want to see it on their feed
i just realized that i have a much thicker accent in spanish when using my fem voice (i haven't actively spoken any since 10th grade)
and it also sounds a bit more like an american accent than a german one somehow ^^
this feels so strange
and it also sounds a bit more like an american accent than a german one somehow ^^
this feels so strange
January 2, 2026 at 8:48 PM
i just realized that i have a much thicker accent in spanish when using my fem voice (i haven't actively spoken any since 10th grade)
and it also sounds a bit more like an american accent than a german one somehow ^^
this feels so strange
and it also sounds a bit more like an american accent than a german one somehow ^^
this feels so strange
Reposted by Alice ✨
New article on the #Haskell Blog: "A Comment-Preserving Cabal Parser" by Léana Jiang
blog.haskell.org/a-comment-pr...
blog.haskell.org/a-comment-pr...
A Comment-Preserving Cabal Parser | The Haskell Programming Language's blog
blog.haskell.org
January 2, 2026 at 11:33 AM
New article on the #Haskell Blog: "A Comment-Preserving Cabal Parser" by Léana Jiang
blog.haskell.org/a-comment-pr...
blog.haskell.org/a-comment-pr...
Reposted by Alice ✨
We're not asking you to start learning Haskell. We're saying, when the time is right, you will look in the mirror and will already have started learning Haskell.
January 2, 2026 at 8:02 AM
We're not asking you to start learning Haskell. We're saying, when the time is right, you will look in the mirror and will already have started learning Haskell.
relatedly: i'm really not a fan of the trend of languages optimizing for users that would quit after 5 minjtes if they couldn't immediately write exactly the same code they're already used to
programmers are such babies. you're paid an obscene salary for an extremely comfortable job for ostensibly being smart and good at logical thinking.
you can figure out how to run the 4 opam commands required to set up an ocaml project oh my god
you can figure out how to run the 4 opam commands required to set up an ocaml project oh my god
January 2, 2026 at 2:21 AM
relatedly: i'm really not a fan of the trend of languages optimizing for users that would quit after 5 minjtes if they couldn't immediately write exactly the same code they're already used to
programmers are such babies. you're paid an obscene salary for an extremely comfortable job for ostensibly being smart and good at logical thinking.
you can figure out how to run the 4 opam commands required to set up an ocaml project oh my god
you can figure out how to run the 4 opam commands required to set up an ocaml project oh my god
January 2, 2026 at 2:19 AM
programmers are such babies. you're paid an obscene salary for an extremely comfortable job for ostensibly being smart and good at logical thinking.
you can figure out how to run the 4 opam commands required to set up an ocaml project oh my god
you can figure out how to run the 4 opam commands required to set up an ocaml project oh my god
Reposted by Alice ✨
runST does not prevent resources from escaping
welltypedwit.ch/posts/runst-...
welltypedwit.ch/posts/runst-...
runST does not prevent resources from escaping
runST does not prevent resources from escaping
welltypedwit.ch
December 31, 2025 at 12:23 AM
runST does not prevent resources from escaping
welltypedwit.ch/posts/runst-...
welltypedwit.ch/posts/runst-...
Reposted by Alice ✨
December 30, 2025 at 4:23 PM
runST does not prevent resources from escaping
welltypedwit.ch/posts/runst-...
welltypedwit.ch/posts/runst-...
runST does not prevent resources from escaping
runST does not prevent resources from escaping
welltypedwit.ch
December 31, 2025 at 12:23 AM
runST does not prevent resources from escaping
welltypedwit.ch/posts/runst-...
welltypedwit.ch/posts/runst-...
i feel like at least 70% of ghc's absolutely inscrutible error messages are just a result of PolyKinds unnecessarily generalizing kind variables
December 30, 2025 at 11:06 PM
i feel like at least 70% of ghc's absolutely inscrutible error messages are just a result of PolyKinds unnecessarily generalizing kind variables