Herr DC Lange (@CarlHedgren) header
Herr DC Lange (@CarlHedgren) profile picture

computer people Three digit IQ master race. proud neo-nmemonite and GWOD veteran. M-x immigrant

Heimat
Joined April 2015
Photo by Herr DC Lange (@CarlHedgren)Photo by Herr DC Lange (@CarlHedgren)Photo by Herr DC Lange (@CarlHedgren)Photo by Herr DC Lange (@CarlHedgren)Photo by Herr DC Lange (@CarlHedgren)Photo by Herr DC Lange (@CarlHedgren)Photo by Herr DC Lange (@CarlHedgren)Photo by Herr DC Lange (@CarlHedgren)Photo by Herr DC Lange (@CarlHedgren)Photo by Herr DC Lange (@CarlHedgren)
I made a drink, I call it a glass of wine
2
3
1
25
Why NixOS is freaking magical for AI: Yes I fetch all the binaries from cache.nixos.org but if I need to debug why something isn't working you can literally request the exact source code used to build the package in a single second. I constantly use this to dive into issues
10
23
3
249
10,446
Stop saying "phishing resistant credentials" Start saying phishing enabled. As in "We mitigate our phishing enabled credentials with mandatory awareness training"
30
Herr DC Lange retweeted
we’re going to get a lot of “good idea but tedious to implement” papers in the next few years thanks to agents finally getting good
It's the summer of rebooting dead PL ideas babyyyyy
1
6
1
48
1,622
Whatever happened to pcp laced marijuana cigarettes? I remember filing it away together with quicksand, Bermuda triangles etc. expecting to encounter them and then I'd be ready because I knew about all that.
50
Herr DC Lange retweeted
The @DeterminateSys team has been singularly focused on patching and mitigating the vulnerabilities released this week. We’ve shipped massive rebuilds to Determinate Secure Packages customers in just hours, and we’re more polished than ever. I’m real proud.
2
4
36
1,209
Herr DC Lange retweeted
“We choose to go to the moon in this decade and do the other things, not because they are easy, but because they are hard.” - JFK you can just do (hard) things!!
You won't believe how many people told me over the past 10+ years that proof assistants would never achieve widespread use, and that my work was therefore not useful. Ignore people who discount entire fields of research because they are hard. All the more motivation for research
2
2
15
741
Herr DC Lange retweeted
Replying to @PalmerLuckey
@PalmerLuckey, This guy would be amazing to have on staff (or W2) as a sort of author in residence.
I appreciate the 19,342 people who have either DMed me this, or @-ed me. ...but you should instead by @-ing @PalmerLuckey and telling him that Warhound needs to hire me to write code / ad copy / business plans / sponsored novels !
1
3
1
27
439
Hey, Mr ai, let's remove the faillcerts from these two repos. Unfortunately it's nix and I return to see someone cheerfully rebuilding ruby and ghc and arrow and .. Sir this is a rust repo? I know how dependencies work and like yes nix let's you do this. But also no.
1
89
Herr DC Lange retweeted
A: we've done away with fusty theologies and arrived at the true religion. man is adrift in an indifferent and meaningless universe; our acolytes live and die alone, where they don't actively seek state assisted suicide B: what do you call this religion? A: humanism!
22
17
334
6,621
Herr DC Lange retweeted
These ones are specifically the most vulnerable and hard to patch ones btw. Everything you know about software is wrong, you should probably go and do manual labor instead.
statically linked, self-contained software applications rn
12
3
476
16,576
Hey friends, I’m looking for my next gig - ideally something deep in a perf-sensitive stack, somewhere in Rust land. Would appreciate a boost!
4
16
2
33
2,020
Today is the 100 year anniversary of hypercapitalism via Henry ford giving workers the 40 hour work week. Incidentally it's the 50 year anniversary of socialists achieving the same thing in norway. Norway still doesnt provide paid leave, the commies are not your friends.
1
46
Herr DC Lange retweeted
People act like Rust is some great language and yet when you ask for evidence, its supporters present very compelling and well-reasoned justifications for using the language. Seems a little suspicious if you ask me
8
32
2
504
10,221
Re The current hades art style thing going around Making Aphrodite fail to titilate is a failure. We can explore this by comparing and contrasting Aphrodite w. Two different characters, Lilly and Misha from katawa shouju. In this essay I will...
33
I've worked in Norwegian public sector a few different times and a few different places. Every time there's been some sort of thing that's just corruption by any other name. Big media. Articles. People resign, whole directorate gets shut down. Base rate or bad luck? v0v
1
38
Jfc." in this new age agentic ai" Get new material.
1
35
Herr DC Lange retweeted
65
165
26
3,231
49,478