Alecs P. Hacker
@bisimulation.bsky.social
liquid type in liquid type connoisseur
alecsferra.github.io
alecsferra.github.io
Pinned
Alecs P. Hacker
@bisimulation.bsky.social
· Sep 25
The computational interpretation is the only thing that matters
Github copilot agent attempt 2
November 7, 2025 at 2:47 PM
Github copilot agent attempt 2
0.5 multiplicity
November 7, 2025 at 9:27 AM
0.5 multiplicity
Reposted by Alecs P. Hacker
haskell is just so nice to write
November 6, 2025 at 6:02 PM
haskell is just so nice to write
Reposted by Alecs P. Hacker
call me an arrow with choice the way i ||| when i see you 😳
November 6, 2025 at 5:28 PM
call me an arrow with choice the way i ||| when i see you 😳
Computer scientist apparently love to pove that substitution respect everything else every single time
November 6, 2025 at 1:02 PM
Computer scientist apparently love to pove that substitution respect everything else every single time
Implementations of C have had to become increasingly complex to maintain the illusion that C maps easily to the underlying hardware and gives fast code
queue.acm.org/detail.cfm?i...
queue.acm.org/detail.cfm?i...
C Is Not a Low-level Language - ACM Queue
queue.acm.org
November 6, 2025 at 8:35 AM
Implementations of C have had to become increasingly complex to maintain the illusion that C maps easily to the underlying hardware and gives fast code
queue.acm.org/detail.cfm?i...
queue.acm.org/detail.cfm?i...
"-fno-plt" disables programming language theory in the compiler
What the heck is a trampoline, anyway?
The blog post is now live! Come one, come all - enjoy this deep dive that commemorates going down the compiler rabbit hole (twice! in the Paris airport!)
savannah.dev/posts/what-t...
The blog post is now live! Come one, come all - enjoy this deep dive that commemorates going down the compiler rabbit hole (twice! in the Paris airport!)
savannah.dev/posts/what-t...
November 5, 2025 at 8:29 AM
"-fno-plt" disables programming language theory in the compiler
Code code code code code code code code code
November 4, 2025 at 8:48 PM
Code code code code code code code code code
Just be more predicative bro
November 4, 2025 at 5:08 PM
Just be more predicative bro
Why should I care about the type of type?
November 4, 2025 at 4:40 PM
Why should I care about the type of type?
Experience report, I was using the default model offered by gh in a code space, the task was pretty easy:
- Add a new type declaration in the standard library
- Update the documentation and error messages to use the new type instead of the one we were using before
And it was able to fail miserably
- Add a new type declaration in the standard library
- Update the documentation and error messages to use the new type instead of the one we were using before
And it was able to fail miserably
Im trying out vscode online and agentic coding
November 3, 2025 at 3:51 PM
Experience report, I was using the default model offered by gh in a code space, the task was pretty easy:
- Add a new type declaration in the standard library
- Update the documentation and error messages to use the new type instead of the one we were using before
And it was able to fail miserably
- Add a new type declaration in the standard library
- Update the documentation and error messages to use the new type instead of the one we were using before
And it was able to fail miserably
What a waste of time, I'll do it on my own
Im trying out vscode online and agentic coding
November 3, 2025 at 1:12 PM
What a waste of time, I'll do it on my own
Im trying out vscode online and agentic coding
November 3, 2025 at 12:37 PM
Im trying out vscode online and agentic coding
Using github from inside emacs!
November 3, 2025 at 11:52 AM
Using github from inside emacs!
I should write a book on pareto principle based cooking
November 2, 2025 at 8:09 PM
I should write a book on pareto principle based cooking
Every PL conference that can count for my graduation requirements is happening in the US 😅
October 30, 2025 at 12:22 PM
Every PL conference that can count for my graduation requirements is happening in the US 😅
The purpose of a type is what it does
October 29, 2025 at 1:56 PM
The purpose of a type is what it does
Cant wait for society to collapse so my personal political ideology can rise from its ashes
October 29, 2025 at 9:39 AM
Cant wait for society to collapse so my personal political ideology can rise from its ashes
Doing a phd is not stressful at all
October 28, 2025 at 7:05 PM
Doing a phd is not stressful at all
Just glue all the possible instantiations type variables together bro
October 28, 2025 at 6:32 PM
Just glue all the possible instantiations type variables together bro
They should make a sidewalk in the metro tunnel so that I can walk home from there
October 28, 2025 at 6:30 PM
They should make a sidewalk in the metro tunnel so that I can walk home from there
The lion does not concern himself with impredicative polymorphism
October 28, 2025 at 6:21 PM
The lion does not concern himself with impredicative polymorphism
Reposted by Alecs P. Hacker
writing your thoughts is hard because what if it's clear from them that you are really stupid and know nothing about anything
October 28, 2025 at 10:42 AM
writing your thoughts is hard because what if it's clear from them that you are really stupid and know nothing about anything
The lion does not concern himself with the size of sets
October 28, 2025 at 5:26 PM
The lion does not concern himself with the size of sets