This sounded in my head like Frank Black. Like, read it and then imagine Kim Deal jumping in on “moles in the yard”, “want to set traps”, “being abhorred”, etc.
Cathedrals everywhere, I tell ya
Claude is the better writer, but Codex is better at finding holes in proofs, checking bounds, etc. You have to ratchet the effort on both models up to max, so get ready to blow through your weekly limit in a few hours.
IME, model choice matters a looooot when it comes to proofs. Gemini is worthless, Claude is ehhhhh, Codex is actually pretty sharp.
Well this thread got real normal
Anti-birthright citizenship "scholarship" is Constitutional Lysenkoism send post
Yeah, college kids, why is nothing you’re doing ever the right thing to do? And why isn’t what you’re doing now exactly consistent with what you were doing *checks calendar* fuckin’ three years ago? Eh? EH? EHHHHHHHHHHH
Have you checked out David Wong’s old Disco project? It’s Noise+STROBE.
Yeah, hard to beat a duplex for protocol design, but the proofs for arbitrary duplex transcripts get really complicated really quickly.
The downside to Keyak is that the parallelism is a mode parameter, though. I’ve been playing around mapping the K12 approach to the AEAD space, and you can push ~5 GiB/sec with AVX-512 or NEON/FEAT_3 with basically no short-message penalty.
And a very good balls to you
For performance optimization, it’s pretty neat to be able to just _try_ shit. Does this work better lowered to assembly? What’s the right buffer size for this? Should these be batched? Just implement and benchmark it.
Yeah, I mean, Ruby exists, so obviously folks can square that particular circle
No, pretty serious. So, like, I figured programmers would not take “code is cheap” and “code quality doesn’t matter” well -- that directly undermines the craft we’ve all spent time on. But I didn’t anticipate the non-deterministic nature of LLMs to provoke such a strong reaction.
I had really underestimated the degree to which non-determinism in particular presents a value threat to programmers
Every coin toss is independent and free, my brother
Putting a Prop 65 warning in my SBOMs just in case
A loose digital painting of magnolia blossoms on a branch. They are against a rectangle of sky blue that is itself outlined in a blotty, splattery darker blue outline. Some yellow scripty lettering in the top left corner of the blue reds ‘Maybe it will happen today’.
It’s one of the big Turkish ones but something brown is rapidly staining through it
The “isn’t there somebody you forgot to ask” meme but it’s a business owner driving down from the Oakland hills
aw haw haw the claude code codebase is terrible *throws towel over own code* lol slop right
I’ve noticed that local opposition to data centers doesn’t much align with being in favor of water conservation or green energy or any of the other things you’d imagine would correlate.
I can’t believe the Democrats gave Hasan Piker plenary control over the country’s nuclear arsenal. Seems like a misstep so close to the midterms
All these pictures of dudes wearing button-up shirts with camp collars looking like someone you’d fuck with a view of the Amalfi coast but I try one on and it looks like a bowling shirt so what the fuck
Oh, for sure, and the main thing the news *does* cover is Sam Altman saying we need to pave the moon otherwise humanity is over or whatever
I’m not going to pretend that data centers are zero-impact, but all of the local opposition I’m seeing is a reflexive opposition, as if data centers are uniquely and exclusively impactful. Lots of myth-making, and it’s a bummer to see that vs. principled defense of environmental protections.
This is a very weird way to summarize an article describing how supply chain constraints are delaying data center projects.
You just wouldn’t imagine that PhDs, of all people, could be so mean.
“If you don’t post better, Bluesky is just gonna be you and your friends” oh nooooooo
Bro we just wanna blow up another school bro c’mon
It’s weird reading news articles about US aircraft getting shot down over Iran that describe it as a “new escalation” or whatever. Like, as if air defense is retaliatory.