mccoyb

35 ms·

31.
by mccoyb 2mo ago
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 working near the bleeding edge. Everyone I
32.
by mccoyb 2mo ago
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 something unique or new. Like the software su
33.
by mccoyb 2mo ago
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 fit cleanly into MLIR concepts (understand that abstrac
34.
by mccoyb 3mo ago
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 thing just doesn't work that well yet" or "i
35.
by mccoyb 3mo ago
Exactly, the work of Tony Garnock-Jones: https://syndicate-lang.org/
36.
by mccoyb 3mo ago
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 of the experience are not fully understood by the beholder -
37.
by mccoyb 3mo ago
By the gods! The next 20 minutes will be the most consequential of my life ...
38.
by mccoyb 3mo ago
Thanks: very helpful and clear.
39.
by mccoyb 3mo ago
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 language implementations.
40.
by mccoyb 3mo ago
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 the goal is to be able to write compute kernels and shaders i
41.
by mccoyb 3mo ago
When will GPT-5.6 Protomolecule drop? Me and the boys on Eros can't wait to get our hands on it!
42.
by mccoyb 3mo ago
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 specification that you could hand off to a junior colleague. Often, i
43.
by mccoyb 3mo ago
I see, thanks for clarification -- where does one find the LoC comparing Claude to human written? Interesting if that's available publicly.
44.
by mccoyb 3mo ago
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 listen to the messaging, it seems hard to keep
45.
by mccoyb 3mo ago
The mushroom product video gave me a good laugh. Thank you!
46.
by mccoyb 4mo ago
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 can cause UB" If you are claiming the latter, please pro
47.
by mccoyb 4mo ago
Explain away then my friend: surely your clear explanation will benefit many other readers who came away with similar confusion?
48.
by mccoyb 4mo ago
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 months or so, and I've responded to each one wi
49.
by mccoyb 4mo ago
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 behavior ... static systems do not need to predict all runtime pat
50.
by mccoyb 4mo ago
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 course we’re honest about this and we’ll adjust our metrics,
51.
by mccoyb 4mo ago
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. - macOS Seatbelt sandbox (--sandbox flag) with some special
52.
by mccoyb 4mo ago
Is that really true? Can't you track invalidations via a dependency graph? Right, as you said, you'd have to recompile dependents.
53.
by mccoyb 4mo ago
Hoping to understand this better: > Clojure's dynamism is granted by a great deal of both polymorphism and indirection, but this means LLVM has very few optimization opportunities when it's dealing with the LLVM IR from jank. I
54.
by mccoyb 4mo ago
If the author sees this, I don't mean to be harsh! It's possible I'm mistaken: I'm just going off of a few "smells" Very impressive if I'm wrong (hopefully some of the comments help you prune some of these
55.
by mccoyb 4mo ago
This language, README, website has been written by AI agents. At one point, the author may have written a fair bit of code by hand (starting with a Crafting Interpreters project, and then adapting it recently using agents?). The commit hi
56.
by mccoyb 4mo ago
Can you say a bit more about this? In particular, compare you JAX’s vmap — one model for vmap is that it is a program transformation on first order functions, that returns a first order function (“function” is a bit wonky here: but it’s JAX
57.
by mccoyb 4mo ago
That’s a fair critique of my comments! The space of fun games is large and diverse.
58.
by mccoyb 4mo ago
Right, and I wondered how these world models might be use in a careful way (just as agents can be used carefully to accelerate work). Are video game developers using these systems in their workflows? Would love to learn more!
59.
by mccoyb 4mo ago
I struggle with these world models from the perspective of video games (so this post is a particular perspective). I'm not a game developer myself, but some of my favorite games carry a deep sense of intentionality. For instance, there
60.
by mccoyb 4mo ago
Can we not post LLM generated prose on topics as subtle as programming language design? Am I alone when I see this type of stuff and immediately react in anger? These things are not good technical writers - so why do people keep doing this?

More ›