Viewing profile — mccoyb

This is a highly impactful game: the pixel art style is haunting, as is the sound design and musical composition -- transitions of the musical composition leads to profoundly inter…

my opinion: "trust" is an interesting word to use for a piece of closed source probabilistic software that changes daily (sometimes multiple times), whose lead dev reports they rew…

I wish the author the best. I've been reading Lil'Log for many years, as long as I've been pursuing research. The times right now are challenging, and I can't imagine the stress wo…

I find these blog posts (and the originals, with Anthropic's C compiler and Cursor's browser) somewhat funny, as if they have this enormous power to build ... but they can't build …

Very cool work Keno! Any place to find information about the Julia-specific concepts / features compared to MLIR? Wondering if there are modeling or analysis modalities that don’t …

Perhaps the most telling part of this transcript is Tristan Hume, a prolific and talented programmer, and presumably an expert performance engineer, is repeatedly saying "this thin…

Exactly, the work of Tony Garnock-Jones: https://syndicate-lang.org/

It does feel like there are a lot of parallels between usage of AI and psychedelic experiences: - novices love to talk about the act itself - mostly inscrutable, and the artifacts …

By the gods! The next 20 minutes will be the most consequential of my life ...

Thanks: very helpful and clear.

Linda and Syndicate figured this out - it’s just that most engineers are not programming language designers or researchers, and most researchers are not designing robust scalable l…

This is inspiring! At the same time, it’s not exactly clear to me how this is going to work in the long term without changes to the Zig language itself, questions below. Assuming t…

When will GPT-5.6 Protomolecule drop? Me and the boys on Eros can't wait to get our hands on it!

Loops work when you spend the proper amount of time to understand what you want ahead of time. The prerequisite is clarity — enough clarity that you could write a careful specifica…

I see, thanks for clarification -- where does one find the LoC comparing Claude to human written? Interesting if that's available publicly.

If the March leak of Claude Code was Mythos / Fable in preview ... I'm not sure I'm that worried about AI capabilities. Seriously -- if you dig through that source code, and then l…

The mushroom product video gave me a good laugh. Thank you!

I agree with you that my original message was sloppy, and also with your claim that full Rust has not been mechanically proven sound. But that is not the same claim as “safe Rust c…

Explain away then my friend: surely your clear explanation will benefit many other readers who came away with similar confusion?

I'm not sure where or how to convey this, because I've seen several of these languages designed with AI, documentation created using AI, etc -- posted on Hacker News in the last mo…

My feedback is that both the motivation and the language looks like someone who is confused about several concepts in programming languages. Safe Rust cannot cause undefined behavi…

[flagged]

In summary, we present a system which actually doesn’t work because real experts looked through the thing our system produced and found that it was full of reward hacking, but of c…

Mechanics that I found in the binary with a few agents, more information than I could glean from the GitHub page or the docs: - A Chrome DevTools Protocol / Playwright client. - ma…