https://xitter.cf/t.co/Jc11tVcs5E

Joined May 2025
Tech bros need to remember that they exist within a nation that has a people, not a blank economic zone Middle class America needs to remember that national strength comes from economic and technological strength This is a careful synthesis between these that we must strike
103
253
45
2,801
130,905
IggyR retweeted
I really hope the nix community can recover from this infiltration of nut jobs and their nonsense, like we have in the Ruby world. There are so many good ideas over there that deserve so much better.
The majority of the NixOS Moderation Team (5 of 7 of them) has just mass resigned — and are threatening to leave the project entirely if their demands are not met. This appears to be in response to the NixOS Steering Committee (the elected, governing body) attempting to make “moderation fair and respectable” and “address perceptions of political bias” in NixOS moderation. The NixOS Moderation team came to public attention, last year, when they conducted a mass “Purge” of Conservatives and other non-Leftists from the project (people who were referred to, by the Moderation Team, as “Nazis”). The resigned NixOS Moderation team members are demanding that the entire NixOS elected Steering Committee resign immediately, new elections be held, and that the NixOS constitution be modified to make the elected Steering Committee accountable to the non-elected Moderation Team. discourse.nixos.org/t/a-stat…
67
97
4
2,142
129,170
LaTeX, tikz, tikz-cd, haskell-brain and some llm help and then random variables, sigma algebras, and probability measures all seem too obvious.
1
1
42
Ryle’s notion of programming as theory-building still holds. There’s no royal road to mathematics. No royal road to a built theory. Vibe coding is a paved and perilous road to reach your theory.
1
1
1
34
Letting repeat offenders and crazies loose on the streets is anarcho-tyranny; local govts leverage the chaos to keep people on edge and subservient while they are busy grifting tax money and consolidating their power. This is the case in many cities. This needs to change.
16
11
2
179
9,352
Determinate Nix is low-drama Nix. A guiding principle is that it's not our job to teach people manners. Let's collaborate. If you can't treat people with respect within our projects and spaces, go away. If you can, let's go.
5
6
1
151
7,914
291
411
90
10,932
667,870
RTTL 🤝 NYT getting away from the riff raff
Could not agree more. Airport lounges were supposed to be an escape from the chaos. Now they are the chaos.
1
1
37
4,626
There is not a single computer manufacturer in the entire United States. We invented this shit, it should be our birthright.
171
302
73
3,555
604,501
The global liberal order depends on the biggest players having uncontested standoff capability, so that economies can sprawl across the globe with no fortifications harder than a razor wire fence No state actor can afford the security investments that are about to become necessary
12
42
7
277
56,154