Daniel Firth (Inspector GADT)
@locallycompact
Followers
1K
Following
8K
Media
254
Statuses
6K
Hydra @ Input Output. Haskell, Agda, Cardano, Mathematics, Analytic Idealism. Opinions my own.
Northumberland, England
Joined August 2012
Everyone talks about debugging but noone ever talks about rebugging.
0
0
2
God man GitHub's page jumping around is infuriating.
0
0
3
I think you need to be mired in software engineering for a few years before realizing how much of a miracle it is that I can find a public repository and, because it has a flake.nix file, can run it successfully with a single command from my local machine
@leothrix
https://t.co/M0vg8TaGGc the quickshell one is
5
2
127
When mainstream languages try to imitate Haskell.
8
31
364
I was talking to a friend this week about how I can't believe how fast nix has taken off. It is actually everywhere. Random repositories you chance upon just happen to have flake.nix files in them. People who would run a mile from Haskell are all-in on nix. It's because
2
2
23
Sir you strike me as more type than function.
0
1
6
Daily useless meetings dot wiki
Self respect and competence are positively correlated, so interviewing specifically for lack of self-respect (no remote, daily useless meetings, open-office, ...) will not get you competent people.
0
0
1
The Li-ion does not concern itself with how long it takes to go completely flat and then never recover.
0
0
1
Level 6: “I identified a problem, figured out what caused it, and changed our types such that the problem is now permanently unrepresentable."
I stole this idea and now use it with every single employee. It’s the best illustration I’ve seen of teaching someone to be high agency. It says there are 5 levels of work: Level 1: “There is a problem.” Level 2: “There is a problem, and I’ve found some causes.” Level 3:
0
0
0
Demonstrating the powerful throughout of the Hydra Doom machine with @InputOutputHK at @token2049!
1
0
4
If committees truly worked, companies would be led by committees instead of CEOs. They function to give the mediocre a say and to shield all from personal responsibility.
@jdegoes 100% agree. committees are how open source projects die. it's a slow, slow death.
6
6
106
Nix fixes this.
Girl are you my Python environment? because you have a lot of dependency issues and I don’t know how to resolve them
1
2
6