mccoyb

11 ms·

121.
by mccoyb 9mo ago
The article seems to be about fun, which I'm all for, and I highly appreciate the usage of MAKER as an evaluation task (finally, people are actually evaluating their theories on something quantitative) but the messaging here seems inhe
122.
by mccoyb 10mo ago
No, you weren't clear, nor are you correct: you shared FUD about something it seems you have not tried, because testing your claims with a recent agentic system would dispel them. I've had great success teaching Claude Code use DS
123.
by mccoyb 10mo ago
If by "just breaks" means "refuses to write code / gives up or reverts what it does" -- yes, I've experienced that. Experiencing that repeatedly motivated me to use it as a reviewer (which another commenter not
124.
by mccoyb 10mo ago
I'm happy to pay the same right now for less (on the max plan, or whatever) -- because I'm never running into limits, and I'm running these models near all day every day (as a single user working on my own personal projects).
125.
by mccoyb 10mo ago
If anyone from OpenAI is reading this -- a plea to not screw with the reasoning capabilities! Codex is so so good at finding bugs and little inconsistencies, it's astounding to me. Where Claude Code is good at "raw coding", C
126.
by mccoyb 10mo ago
If you're maxing out the plans across the platforms, that's 600 bucks -- but if you think about your usage and optimize, I'm guessing somewhere between 200-600 dollars per month.
127.
by mccoyb 10mo ago
Claude Code was a big jump for me. Another large-ish jump was multi-agents and following the tips from Anthropic’s long running harnesses post. I don’t go into Claude without everything already setup. Codex helps me curate the plan, and cur
128.
by mccoyb 10mo ago
Nada is the best! Don't forget the mind bending https://dl.acm.org/doi/10.1145/3158140 (not quite on topic, but in the multi-stage rabbit hole)
129.
by mccoyb 10mo ago
That's only part of the reason that this type of content is used in academic papers. The other part is that you never know what PhD student / postdoc / researcher will be reviewing your paper, which means you are incentivized
130.
by mccoyb 10mo ago
Abstract interpretation is also at the heart of Julia’s type inference algorithm (amongst other analyses that Julia performs) A very useful framework, both practically and theoretically!
131.
by mccoyb 10mo ago
Boggles the mind.
132.
by mccoyb 11mo ago
There is no better time than now to try something brash and perpendicular to the mainstream.
133.
by mccoyb 11mo ago
This is excellent: thank you for pursuing these wonderful ideas.
134.
by mccoyb 11mo ago
Nope, I did this today to try and see if it would work. It does not.
135.
by mccoyb 11mo ago
I see -- but does this allow me to us the models within "Antigravity" with the same subscription? I poked around and couldn't figure this out.
136.
by mccoyb 11mo ago
Got it -- thanks both.
137.
by mccoyb 11mo ago
I'm asking about Gemini, not Copilot.
138.
by mccoyb 11mo ago
I see -- so this is the "paid" AI studio plan? Does that have any relation to the Gemini plan thing: https://one.google.com/explore-plan/gemini-advanced?utm_sour... ?
139.
by mccoyb 11mo ago
I truly do not understand what plan to use so I can use this model for longer than ~2 minutes. Using Anthropic or OpenAI's models are incredibly straightforward -- pay us per month, here's the button you press, great. Where do I g
140.
by mccoyb 11mo ago
> Bajillions of dollars invested in the development of some of the most powerful computational artifacts to date. > Fork VS Code, add a few workflow / management ideas on top. > "Agentic development platform" I'
141.
by mccoyb 11mo ago
I used Julia for 4 years. I'm not a moron: I'm familiar with how it works, I've written several packages in it, including some speculative compiler ones. You claimed: > Allowing invokation of the compiler at runtime is def
142.
by mccoyb 11mo ago
I don't believe it, otherwise why not just compile a static but generic version of the method with branches based on the tags of values? ("Can't figure out the types, wait until runtime and then just branch to the specialized
143.
by mccoyb 11mo ago
Why not just disallow PRs from non-vetted contributors? Why not just disallow issues without a vetting process? Many of these things could be explored -- you're right: it's a spam issue. But we have solutions to spam issues ... fi
144.
by mccoyb 11mo ago
> Julia's "secret sauce", the dynamic type system and method dispatch that endows it with its powers of composability, will never be a feature of languages such as Fortran. The tradeoff is a more complex compilation proces
145.
by mccoyb 11mo ago
Sounds like a lot of FUD to me — if major projects balk at the emergence of new classes of tools, perhaps the management strategy wasn’t resilient in the first place? Further: sitting down to discuss how your project will adapt to change is
146.
by mccoyb 11mo ago
I don’t think open source is going anywhere. It’s posed to get significantly stronger — as the devs which care about it learn how to leverage AI tools to make things that corporate greasemonkeys never had the inspiration to. Low quality cod
147.
by mccoyb 11mo ago
Are you `robject` on Stack Overflow -- or perhaps you might explain why you copied verbatim their response to https://stackoverflow.com/questions/3561145/what-is-a-smallt... without citing your source?
148.
by mccoyb 11mo ago
Sonnet 4.5 is way worse than Opus 4.1 -- it's incredible that they claim it's their best coding model. It's obvious if you've used the two models for any sort of complicated work. Codex with GPT-5 codex (high thinking) i
149.
by mccoyb 1y ago
I'm working on such a thing, but I'm not interested in money, nor do I have money to offer - I'm interested in a system which I'm proud of. What are your motivations? Interested in your work: from your public GitHub repo
150.
by mccoyb 1y ago
To clarify my comment: I agree that multiple dispatch is a very good language feature. I enjoy it, and I’m well-versed in the expression problem, yada yada. That’s not what I meant by “method JIT architecture” — I meant calling back into th

More ›