Haskell, Nix, Mathematics @ Homotopic.Tech

Joined August 2012
266 Photos and videos
Daniel Firth (Inspector GADT) retweeted
never in my life I have seen normal Haskell programmer, they are either very weird people or ultra giga chads
11
3
44
2,747
You are not a functional programmer if you program with objects.
ODS, the unreasoned hatred of objects. This is a condition that many young software developers acquired because of the horrible abuses of objects that they saw in the field. Many of them adopted functional programming, and believe it is the antithesis of object programming. They are of course wrong. I have been a functional programmer for the last 15 years. I still program with objects. I find the two techniques to be synergistic, not antagonistic. I think many of the people infected with ODS would not consider the objects in my systems to be the kinds of hated objects that they saw in the field. That may in fact, be true. But the objects in my systems, reflect the original intent for objects. My advice: drop the D and the S. Stop hating the O. Learn what the O really means. And then integrate that learning into your practice.
7
5
3,296
James Watt invented the unit of horsepower to market to mill owners to let them know how many horses they could get rid of if they bought a steam engine. As far as I know nobody has coined a marketing friendly term for measuring automatic intelligence so allow me to introduce the *apepower*. It is defined like so: *Apepower = (tokens/second) x SWE-bench verified score* So if a model runs at 150 tok/s and scores 0.5 on SWE-bench verified: 75 Apepower Then you can divide by the number of forward passes per second to get an equivalent of torque. *Clench = Apepower / (forward passes / second)* Therefore *Clench = (tokens / forward pass) x SWE-bench verified score* And so Clench is effectively *reasoning depth*. Which makes sense because torque is essentially a function of engine size and design quality. And for apes it's the amount of balls you can juggle at once before your face starts to do this: >.< So a high clench low rpm system is like an excavator engine. Very expensive to run at full weights and physically cannot rev very high. Low clench, high rpm system is like a diesel hatchback. Good for every day simple patterns but drops off on hard novel problems. Larger parameter count models at similar quality will tend to have higher clench because there's more useful computation done per pass, but overkill for find and replace jobs.
121
An old Geordie proverb: One man's chicken dinner is another man's bath.
1
89
Daniel Firth (Inspector GADT) retweeted
13 Nov 2025
holy shit, I just found out there is a whole category of bugs that aren't related to memory safety is anyone working on creating a language to prevent these?
8
27
731
53,145
Lovely church.
St. Michael’s Church at Alnwick in Northumberland. The west tower and church are mostly 15th century in date when the church was largely rebuilt following financial support from Henry VI. 📸 #SteepleSaturday #Alnwick #Northumberland
105
Say no to monorepos.
1
143
I still honestly think that cardano's market cap would be 10x what it is now if people would just enable -Wmissing-import-lists and keep it enforced.
1
1
309
I asked ChatGPT to create an infographic of the LessWrong article "Towards a Category of Adlerian excuses".
3
2
133
Once in middle school someone put a piece of Toblerone on my coat and it earned me the nickname Coatlerone for quite a long time.
1
82
Nix fixes this.
3
133
May all your types be checked, and may all your holes be filled with witnesses.
4
3
18
1,814
This year, to save me from tears, I'll give it to someone mental.
1
145
{-# LANGUAGE MerryChristmas #-}
1
6
209
Once in middle school someone put a piece of Toblerone on my coat and it earned me the nickname Coatlerone for quite a long time.
2
4
384