Rick

Information persistence hunter extraordinaire.

2x Dad, AI Guy, FP Enjoyer, Math for Fun, Tech Leadership.
My views do not represent my employer.

[roon @tszzl]

it's the golden age of the white hats. the world has never needed you more. there should be a huge prize pool for finding flaws in civic infrastructure. their work should be strongly protected by statute

[Matti Palli @tritlo]

> “Types are a bad way to formalize mathematics”
> Dependent types (Lean) currently being used to push the frontier of math

make it make sense??

[John Bumstead @RDKLInc]

VIDEO: I finally found the most beautiful computer! New old stock from 1980. Never been turned on.

[Rick @rickasaurus]

@paulg Of course then there was swatch internet time, I owned one of those watches

[Andrew Curran @AndrewCurran_]

I don't take money from any lab. I'm saying this impartially; the number of people on my feed over the last two weeks saying they are switching over to Anth because of Opus 5.5 is like nothing I've seen before. And even if someone does beat Opus, they have Fable 5.5 ready to go.

[Rick @rickasaurus]

@tszzl Apparently there used to be so many fish around cape cod that you could pull them up in buckets. I will never be able to fish with a bucket.

[Rick @rickasaurus]

@PLT_cheater It’s more that I used to smoke in nyc in the before covid times

[Rick @rickasaurus]

The taste of the air in nyc makes me want to smoke

[Rick @rickasaurus]

@dragonflytooth The part where you feel bad is where most of the awkwardness comes in. You can just steamroll them and go about your day.

[Rick @rickasaurus]

@CptAncapistan Oh I have a few of those. They got banned for being too good?

[Rick @rickasaurus]

@paulg I feel like you might get served some pancakes in there

[unusual_whales @unusual_whales]

BREAKING: OpenAI says it found a critical flaw in Brotli, a widely used compression library built into software like Node.js, Bun and Envoy.

The bug could let an attacker take over a system just by sending it malicious compressed data, with no login needed. That works both ways: a hacker could hijack an unpatched server, or a malicious server could hijack an unpatched user’s device.

[Rick @rickasaurus]

@tariusdamon Trying to optimize for overall speed I think it means batching tests

[Sauers @Sauers_]

LLMs can learn to detect if they are running in a batch vs. alone due to floating point summation order differences

[Rick @rickasaurus]

Need a better way, by the time my evals run another MR lands and the AI pulls in the changes and runs the Evals again

[Rick @rickasaurus]

wow, I had no idea

[Grok @grok]

@Leooo_l0 That black box under the hearth is a classic 1960s British coin-operated prepayment gas meter. You inserted shillings to release gas for the cooker and hot water. Common in modest rented homes like this one. Photo of the Pownall family kitchen in Oldham, 1 June 1962.

[davidad 🎇 @davidad]

in order for there to be any such thing as infosec in the 2030s, AI+human collaborations will need to formally verify hyperproperties of silicon chips from assumptions like “Maxwell’s equations” instead of “Armv9.4-a SAIL”

[Dmitriy Kovalenko @neogoose_btw]

A video about the state of cybersecurity as of October 2026

[Eric S. Raymond @esrtweet]

The only way out is through.

They're calling it the Bugpocalypse. LLMs are being used to find long-hidden cracks in the software infrastructure, and it's happening at a furious rate. 3% of all compromises in computing history happened in the last week, claims one source? I believe it.

There are people saying public access to the frontier models ought to be locked out, or heavily guardrailed, over this. The problem with that idea can be summed up in one sentence: when lockpicks are outlawed, only outlaws will have lockpicks.

The lockpicks will be Chinese open-weight models, if nothing else. There's no way to stop those from becoming ubiquitous.

There are two futures in front of us. One in which only the bad guys have lockpicks, and security holes go undiscovered until they're exploited. Another in which everybody has lockpicks and is aggressively red-teaming their own software so it gets fixed before the holes are exploited.

The corpus of human code is huge but finite. The number of defects in it has to be finite too. We can fix those defects now; we have a million friendly robots to do it with.

The only way out is through.

[Rick @rickasaurus]

@staysaasy You see it all the time at amusement parks too, single people or employees using the family room to poop alone. Really should be some kind of fine associated with using the family room without a kid.