I believe Haskell’s relative unpopularity stems from poor state-handling patterns. Sure, we have the tardis monad, which allows state to travel both forwards and backwards, but it lacks reentrance. To address this, I’ve started working on a reentrant tardis monad: retardis.
18
36
706
18,900
effectfully retweeted
Replying to @HSVSphere
there should be some kinda tech to turn rust into assembly is anyone working on this?
3
4
133
5,950
ok is there some kind of ongoing championship among techies on who's gonna make the most retarded statement or what is happening
Code freeze isn’t really a thing anymore before releases and in the future the code might even be generated online per request according to some constraints.
12
9
422
8,467
I'm only reliably losing to the gangrape guy (what a British sentence to say)
HELP ME OUT GUYS! I NEED MORE PEOPLE TO HELP ME ALIGN AGI TO TROLLEY PROBLEM trolley.typememetics.institu…
4
1
22
1,607
effectfully retweeted
Imagine your next work meeting. Junior: We should fix the database perf problem with assembly You: I don't follow. We're talking about a stuck SELECT. We just need an index Junior: The database will be faster if we rewrite it in assembly. Omarchy is 17x faster because of assembly You: Rewriting a database is a big project, and an assembly port wouldn't change data structures. Asymptotically, a full table scan... Junior: DHH proved that coding agents work best in assembly. It's 17x faster than Rust. Should we be 17x slower than our competition? VP: Junior has a point. We need to provide the best customer experience. You: It'll take at least a year, even with AI help, to match PostgreSQL, and a perf win isn't guaranteed. Consider how Turso still has gaps in... Junior: Skill issue. Models can one shot this. Labs used reinforced learning to make models write the best code. VP: Great. On the roadmap for next week. You: ... So, do we want to add that index in the meantime? VP: Can you do it in assembly?
switching to assembly doesn't give a 17x performance mate
64
96
1,992
123,904
codex quoting what @HSVSphere said after his brief experiment with women
1
68
1,378
wrote my first and last monad tutorial
7
2
161
3,046
Reasoning ability and quality of judgement are different axes for humans as well. There's people who are very good at constrained reasoning, yet find poor answers for open-ended questions. And some people can make reasonable choices while not being able to pass a logic test.
With LLMs, we like to think of "smart" and "dumb" as one axis (because we think of humans this way). I'd like to argue against this framing. Instead, try to think of "smart" and "dumb" as two different axes. A model can be incredibly smart AND dumb at the same time. For a good example of this, look at a Gemini model. They are incredibly smart: you can bench them and see the capability. The amount of knowledge Google bakes into their models is incredible. Yet when you ask it to do work, the amount of stupid things the models will do is similarly incredible. They are "smart" and "dumb" at the same time. Similarly, look at a model like Fable 5.1. It is not quite as smart as Astra, but it is significantly less dumb. Astra is still the smartest model available today, but it is also one of the dumbest, regularly doing things that make literally no sense whatsoever. Finding the right balance of both "smart" and "dumb" is a challenge that everyone needs to figure out, from users to researchers. If we stop thinking of it as either-or and instead realize both can exist together, understanding model behavior gets much easier.
3
2
74
1,789
Getting tired of the cursed timeline with imbecilic tech influencers spreading their fiercely retarded takes and facing barely any pushback. The most powerful AGI imaginable will still not be infallible. There's very obvious value in risk management, and splitting tasks into smaller ones is a natural and reliable way to manage risk. Compilers enable task splitting. Instead of mapping your ideas directly onto the machine, they let you map them onto an expressive high-level language, with the remaining translation being an entirely separate and generally well-understood task. But no, the Ruby on Snails guy would rather ignore risk management and burn a shitload of tokens dealing directly with bloated machine code instead of tidy high-level code suitable for reasoning, generation and consumption by LLMs.
Rust is a good prompt compilation target for the moment, but so is C++. And soon assembler. Then microcode. Myopic to think we're going to stop the agentic drill bit until it reaches computing bedrock.
44
37
511
19,097
effectfully retweeted
Replying to @doomslide
I have had enough thinking for one life
1
5
911
Once Opus 5.5 realized searching my whole drive wasn't the best idea, it proceeded to write a whole bunch of C to solve my Haskell challenge and caused a segfault, at which point my subscription ran out. What a spectacle. Maybe I should just stream Opus solving challenges.
Asked Opus 5.5 to solve my latest challenge. It's currently running multiple commands concurrently searching my entire drive for a file named Continuation.c Incredible.
11
2
231
9,114
@ember_arlynx I know that's not what you meant, but I had to make the meme.
1
2
122
developing with AI when you're incompetent vs developing with AI when you're competent
The reason why I'm working on that project on and off is that it's depressing as fuck. I hadn't done anything this depressing since before I wrote enterprise Java for a living. Code generation is alright, it works. But I also need the clanker to write prompts for subclankers and oh my god it's soul-sucking. The clanker doesn't understand the stochastic nature of AI. It feels like the subclanker will reasonably follow the prompt. It of course won't. So you explain it to the clanker and it just puts a wall of prompt legalese into markdown files, making the subclanker reward-hack and behave even worse. I've seen an entire ping-pong session where the clanker would encourage subclankers to do something, then forbid it completely, then encourage again etc, because each attempt would create a different set of issues. At every step your instructions get distorted to the point where they're unrecognizable and in the end the subclanker is doing exactly what it's not supposed to be doing. And on top of that there's the factor of LLMs being chaotic. There's never a causal relationship between the quality of the prompt and the quality of the final result. Maybe it just derailed this one time after the prompt was changed, despite the change being positive on average. So I never actually know if things are getting better or not. Plus, I have to rely on the clanker's judgement to determine how good the results are, because if I tried to analyze them manually, I'd just drown in all that data. So I can't even be sure that a good result is a good result. Literally nothing is certain or trustworthy. And the worst part is that all this nonsense and suffering is still worth it, so I can't just quit.
12
23
644
17,578
Asked Opus 5.5 to solve my latest challenge. It's currently running multiple commands concurrently searching my entire drive for a file named Continuation.c Incredible.
9
1
207
16,709
There's a special kind of moron who thinks alignment can be solved with precise rules when human values are all vibes and compromises.
11
1
151
2,747
it's getting there
Replying to @dhh
@dhh introducing himself as a 1000x programmer
12
8
457
9,071
twitter looked at my slurring and said "oh yeah, we'll pay for that"
13
1
128
2,085