Alecs P. Hacker
@bisimulation.bsky.social
liquid type in liquid type connoisseur
alecsferra.github.io
alecsferra.github.io
I will not unify them!
November 12, 2025 at 1:12 PM
I will not unify them!
But I can remove /dev/null
November 12, 2025 at 1:11 PM
But I can remove /dev/null
I just need to figure out the semantics of this mess of mutual declarations
November 11, 2025 at 7:07 PM
I just need to figure out the semantics of this mess of mutual declarations
The mnemonic is:
> Think about the reasonable definition
> Swap them around
The same with substitutions
> Think about the reasonable definition
> Swap them around
The same with substitutions
November 11, 2025 at 6:12 PM
The mnemonic is:
> Think about the reasonable definition
> Swap them around
The same with substitutions
> Think about the reasonable definition
> Swap them around
The same with substitutions
Reposted by Alecs P. Hacker
> default value
> look inside
>
> look inside
>
November 11, 2025 at 5:58 PM
> default value
> look inside
>
> look inside
>
data Empty
instance Default Empty where
instance Default Empty where
November 11, 2025 at 5:45 PM
data Empty
instance Default Empty where
instance Default Empty where
What is a good slur for Ocaml users?
November 8, 2025 at 8:44 PM
What is a good slur for Ocaml users?
But im sure I will never become a cafe person, i dont want to spend 10€ for a watered down coffe
November 8, 2025 at 3:07 PM
But im sure I will never become a cafe person, i dont want to spend 10€ for a watered down coffe
Same situarion for the macbook but really i dont use any programs that is not the browser, emacs or some cli thingy
November 8, 2025 at 3:07 PM
Same situarion for the macbook but really i dont use any programs that is not the browser, emacs or some cli thingy
No ok I give up, I don't understand how people can vibecode whole games
November 7, 2025 at 3:22 PM
No ok I give up, I don't understand how people can vibecode whole games
Stop making steroids propaganda 😭
November 6, 2025 at 6:23 PM
Stop making steroids propaganda 😭