Typed functional programming.

Joined August 2022
165 Photos and videos
Today it was particularly pleasant to go on the bus. I wasn’t sure why. Then I suddenly realised the Africans and Indostanics were all on the front (silent!), and the Portuguese on the back. So no noise or smell from the Africans or Indostanics!
2
61
It’s never been an easier time to win elections. Just say that you are going to undo everything single thing that was done in the past 50 years and you win.
2
1
6
504
We have exciting times ahead in Europe, where all previous dictatorships seen in this continent will look like fairytales in comparison.
2
17
The love language of women is getting mad.
1
19
Is streams poor-man lazy evaluation?
2
39
What’s the point of scala-cli?
1
25
Maybe to be used by nix to replace sbt.
22
João Fé retweeted
I have a question for all the web developers who build forms which don't allow me to paste text into their fields: Why don't you kill yourselves?
3
3
21
739
Why cook burgers in the stove when you can cook them in the oven.
1
14
When you are forced to do business with people you don’t trust, you are forced to bring in a third party. That’s why the state fights racism — so that you have to rely on it as the third party.
2
34
This is like having neural networks (or other black box programs) encoded in human-targeted programming languages (even though a human is never supposed to interact with it). Nonsense.
When companies like Meta or Microsoft lay of experienced people or make their lives so miserable that they voluntarily leave, they are unknowingly erasing institutional memory. Every company's infrastructure is chock full of Chesterton's fences and stays up because of unwritten processes. The code bases are typically huge, so nobody can understand them end-to-end. When the people that know the history are gone, the only thing the remaining crew can do is fight fires and make cosmetic changes at the edges. Rewriting from scratch is not an option since, as your favorite AI will say, the software has become load bearing for the company's success. The good news is that I think for green-field code, vibe coding offers a way to avoid this trap by embracing the invariant that all software should be evolvable without any human needing, or even be allowed, to understand the inner workings of it. Only if you take the human developer completely out of the loop like this, you can ensure that software never atrophies into legacy software. This may sound radical to AI coding deniers, but the reality is that code inevitably becomes incomprehensible for humans, so the rational solution is to just assume it is like so from the start.
1
96
All monopolies are bad insofar the monopolist — be it the state chief or dictator or the private owner — is bad. If the monopolist is good, the monopoly might be good.
1
2
215
My keyboard prediction is so helpful. It’s changed “see each other again” to “see each other way”.
2
16
I once thought being rich (financially) was the ultimate measure of success. What a naive boy.
1
4
134
João Fé retweeted
Replying to @YIvanovskyi
Exactly. I get it if someone switches from Scala to a different field like infra or systems. But trading a high-level language for a low-level one just to build web services? 🤷
1
2
10
619
So CD is emit some k8s manifests via Nix and call kubectl apply?
23
While the current state of society is all due to men weakness, women still continue to be the exhibit of the highest evil on Earth.
1
11
In conclusion we need to write a Scala build tool in Nix.
1
22
I’m not sure what I will finish first. Finding a house to rent or Nixifying my Scala builds.
2
25
So in Ireland I have to shift with left hand?
1
2
18