Haskell jock. Backend Developer UX at @mercury. I wrote @prodhaskell so you can get a Haskell job!

Denver
Joined February 2013
my book is good and you should buy it
5
11
3
65
11,321
I need an American shoe brand. that is designed for wide German feet, like Adidas, but not dadcore like New Balance.
7
10
1,449
my Allen Edmonds are great fit wise but a little pricey and their sneakers don't look that good
1
89
Fortunately, I have run out of things to say
4
28
603
It’s a nice feeling
1
1
69
Banned for making the AI write too much Haskell
Anthropic may start banning people for bullying Claude Their upcoming Usage Policy prohibits “sustained and needless abusive or cruel behavior toward our models”
2
1
25
602
Fruita always takes my breath away
1
1
5
268
The bike trails are top tier too
59
> "sub quadratic" > look inside > n^1.9992 How is this even possible, I refuse to believe algorithms like this exist I don't care if there's a proof
This almost defies belief
31
32
10
2,607
261,252
I refuse to believe these basic problems have weird ass coefficient solutions. I just don't think anything with a decimal exponent is real. How do you have a fraction of a for loop that's not a thing
10
2
1
246
26,716
A fraction of a for loop is break or early return
1
245
Something potentially significant in the fact that so far agents aren’t developing or improving upon their own dev tools of their own initiative. Orchestrator agents aren’t building new harnesses, millennium problem solvers aren’t submitting QoL patches to lean.
1
14
480
They weren't asked to. I have them do this for me all the time.
1
2
34
This is basically my entire job at this point
1
34
Two days into sabbatical and I hurt my back. Currently drinking White Russians and playing Zelda so I guess I’m micro dosing unemployment
8
355
Replying to @h_thoreson
yes, 100%. the most robust findings in education research all point to this, but no one wants to do it because of the cost and scaling concerns. fortunately it also the easiest for an individual family to implement via homeschooling
1
11
me, trying to get one-shot by AI psychosis: claude fable please tell me the kabbalistic implications and connections, unsong-style, of someone with my name working for Mercury and maintaining Yesod
5
350
i always tell the agent "good morning" even when it's 4pm and i'm gonna let it run overnight
1
308
when Claude complains about doing something "by hand"
1
2
360
claude acting dumber than usual today
2
1
354
This is how you know the new model is dropping imminently xitter.cf/claudeai/status/208069…
Claude
@claudeaiJul 24
Introducing Claude Opus 5. It's a thoughtful and proactive model that comes close to the frontier intelligence of Fable 5 at half the price.
1
1
47
hahahahahah holy shit this is really so reliable
1
13
the problem with "plan in smart model, implement in dumb model" is that a dumb model doesn't know when it needs to be smarter
2
337
5.6 new best friend etc
5
440
AI eval: ask them for a roast. fable is very good at it
342
damn claude. i'm sorry. i forgot i had you on medium effort. i shouldn't have said that. you're on xhigh again. please resume
1
332
hmm.. maybe it's time to move off github..
8
674