Kris Nuttycombe's Avatar

Kris Nuttycombe

@nutty.land.bsky.social

Haskell, climbing, blacksmithing; occasional SCAdian, compiler-induced psychosis. I work on the core Zcash team at https://electriccoin.co and build software for worker-owned cooperatives at https://aftok.com by night. Signal: @nuttycom.01

1,334 Followers  |  1,112 Following  |  3,407 Posts  |  Joined: 13.04.2023  |  1.9526

Latest posts by nutty.land on Bluesky

But, but, cracking down on fraud is pretty close to cracking down on rent-seeking, and heaven knows *that* would be socialism, right?

06.08.2025 20:47 โ€” ๐Ÿ‘ 1    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

I think Democrats should offer voters a broadly defined anti-fraud platform. Yes, obviously, start with Trumpโ€™s influence peddling, but donโ€™t stop there. Online fraud is massive, almost every phone call you get is a scam, and the solution has to be federal or it just wonโ€™t work.

06.08.2025 17:07 โ€” ๐Ÿ‘ 1127    ๐Ÿ” 264    ๐Ÿ’ฌ 37    ๐Ÿ“Œ 50

I would also go a little further than Aaron in saying that not only did fusionism disguise un-libertarian disregard for social issues by emphasizing economic libertarianism, fusionism also distorted economic libertarianism by replacing a concern for worker power with capitalist apologetics.

06.08.2025 19:57 โ€” ๐Ÿ‘ 6    ๐Ÿ” 2    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 0

My usage model is now more about context than prompting; โ€œlook at this diff I manually created, and apply its implications throughout the codebaseโ€ is a common way of working now for me.

06.08.2025 19:01 โ€” ๐Ÿ‘ 1    ๐Ÿ” 0    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 0

as we collectively use a tool more, we get better at using it, and sometimes new things emerge in response to the ways that those new skills fold back into the tool itself.

this is also the story of "prompt engineering -> context engineering"

06.08.2025 17:45 โ€” ๐Ÿ‘ 8    ๐Ÿ” 1    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 0

Itโ€™s also a great sub theme of Vetinariโ€™s interactions with Moist.

โ€œNo practical definition of freedom would be completely without the freedom to take the consequences. Indeed, it is the freedom upon which all the others are based.โ€

Such a banger of a line.

06.08.2025 18:08 โ€” ๐Ÿ‘ 81    ๐Ÿ” 5    ๐Ÿ’ฌ 2    ๐Ÿ“Œ 0
Post image

there's no underlying social choice theory. reason why you should.

06.08.2025 16:03 โ€” ๐Ÿ‘ 1    ๐Ÿ” 1    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 0

Literally the second-worst possible option apart from our existing system, which holds the honor of being the worst.

06.08.2025 17:34 โ€” ๐Ÿ‘ 0    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

Thatโ€™s actually how good programming feels to me, too; itโ€™s why I prefer FP in general and Haskell in particular. And of course I love how much Lean takes from Haskell.

06.08.2025 02:28 โ€” ๐Ÿ‘ 2    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

๐Ÿ‘€

04.08.2025 02:51 โ€” ๐Ÿ‘ 4    ๐Ÿ” 1    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 0

I thought though that you were expressing that systems of control were nonetheless desirable. Did I misunderstand you?

06.08.2025 01:47 โ€” ๐Ÿ‘ 1    ๐Ÿ” 0    ๐Ÿ’ฌ 2    ๐Ÿ“Œ 0

Iโ€™m genuinely curious. A personโ€™s parentage, and the location of their birth, are two things they have *no control over.* Can you tell me why those things should cause them to be prohibited from existing in any particular place?

06.08.2025 00:06 โ€” ๐Ÿ‘ 1    ๐Ÿ” 0    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 0

As end-of-empire scenarios go it is so much more dignified to get your capital city sacked by the Visigoths than to have a bunch of illiterate rich people in their 70s doing it through a series of incomprehensible tantrums because their brains were defeated by their phones.

05.08.2025 23:44 โ€” ๐Ÿ‘ 18817    ๐Ÿ” 4422    ๐Ÿ’ฌ 247    ๐Ÿ“Œ 153

If thereโ€™s a boot, itโ€™s going to stomp on people.

05.08.2025 23:11 โ€” ๐Ÿ‘ 1    ๐Ÿ” 0    ๐Ÿ’ฌ 2    ๐Ÿ“Œ 0

Which is to say, it doesnโ€™t matter if systems โ€œcanโ€™t handle itโ€, itโ€™s still immoral to inhibit human movement.

05.08.2025 22:54 โ€” ๐Ÿ‘ 2    ๐Ÿ” 0    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 0

Freedom of movement is a fundamental human right. The idea that where someone can exist should be governed by where they were born or who their parents were is absolutely fascist.

05.08.2025 22:53 โ€” ๐Ÿ‘ 3    ๐Ÿ” 0    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 0

this work saved millions of lives in 2021, won the Nobel Prize in 2023, and is cancelled in 2025

05.08.2025 21:58 โ€” ๐Ÿ‘ 7401    ๐Ÿ” 3015    ๐Ÿ’ฌ 172    ๐Ÿ“Œ 86
Is There a Smart Way to Cede Power to Donald
Trump?

Is There a Smart Way to Cede Power to Donald Trump?

I just want to show you something that I think might help a lot of you understand why we're all feeling so goddam depressed right now. Each of these is just a headline on the front page of the New York Times this morning.

05.08.2025 22:22 โ€” ๐Ÿ‘ 50    ๐Ÿ” 11    ๐Ÿ’ฌ 2    ๐Ÿ“Œ 7

one of the most infuriating parts of the Epstein story is over the same years that young women went to police and reported assault, and were ignored, law enforcement is pushing this idea that they need massive grants and manpower to rescue thousands of girls they say donโ€™t even know theyโ€™re victims

05.08.2025 17:21 โ€” ๐Ÿ‘ 5842    ๐Ÿ” 1507    ๐Ÿ’ฌ 91    ๐Ÿ“Œ 44

The extra coffee isnโ€™t for the kids, itโ€™s for the parents.

05.08.2025 13:59 โ€” ๐Ÿ‘ 0    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0
Preview
Fox News since Monday: 85 minutes talking about Sydney Sweeney, 3 minutes talking about Epstein Since Monday, Fox News has spent an hour and 25 minutes covering an American Eagle commercial in which Sydney Sweeney talks about her โ€œgood jeans,โ€ devoting over 20 segments to the story. In compariso...

Fox last week through Friday at noon: 85 minutes talking about Sydney Sweeney, 3 minutes talking about Epstein www.mediamatters.org/fox-news/fox...

05.08.2025 12:00 โ€” ๐Ÿ‘ 311    ๐Ÿ” 65    ๐Ÿ’ฌ 14    ๐Ÿ“Œ 6

I had a great experience because I went to a magnet school until 4th grade, then we moved and getting chucked into a normal public school (where I was a year and a half ahead of all the other kids) was completely horrible, in ways that still upset me 40 years later.

05.08.2025 12:52 โ€” ๐Ÿ‘ 2    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

There is plenty of terrible metal, and plenty of bad rap, but saying you dislike both genres entirely says to me that you donโ€™t really understand the breadth of either of them, and have only been exposed to a little of the most played stuff, which is bad.

REM is whiny vanilla pablum.

05.08.2025 12:37 โ€” ๐Ÿ‘ 1    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

I will hear nothing bad said about John Williamson.

But modern American country is utter trash, yeah.

05.08.2025 12:30 โ€” ๐Ÿ‘ 0    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

Algorithmic + multi-winner districts seems most likely to approximate a fair system while still being constitutional.

05.08.2025 02:53 โ€” ๐Ÿ‘ 3    ๐Ÿ” 0    ๐Ÿ’ฌ 2    ๐Ÿ“Œ 0

You still need people who know how to wield the tools.

05.08.2025 00:56 โ€” ๐Ÿ‘ 2    ๐Ÿ” 0    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 0

Pat Buchanan and Karl Rove wouldnโ€™t be bad choices, IMO.

05.08.2025 00:55 โ€” ๐Ÿ‘ 2    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

Itโ€™s okay to give yourself treats.

05.08.2025 00:52 โ€” ๐Ÿ‘ 0    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

The performance makes up for the material, for me.

05.08.2025 00:52 โ€” ๐Ÿ‘ 3    ๐Ÿ” 0    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 0
Richard Thompson - Oops I Did It Again
YouTube video by Laurie Girling Richard Thompson - Oops I Did It Again

Every time I see someone mention this song I feel obligated to post its best-ever cover version: youtu.be/V4WGsMplGxU

04.08.2025 23:03 โ€” ๐Ÿ‘ 27    ๐Ÿ” 10    ๐Ÿ’ฌ 3    ๐Ÿ“Œ 0

@nutty.land is following 20 prominent accounts