Viewing profile — top256

Did you find tune a model?

That distinction is really useful. My critique is aimed at how often “inevitability talk” blurs those two levels together. It’s one thing to say “networks need a lingua franca,” it…

I agree that physical and economic constraints matter, but the point I’m making is that cost curves themselves are contingent on human choices. ICs didn’t suddenly become cheap on …

"They're describing reality" - No, they're making predictions about the future. If AGI requires 30 years of compute improvements as you say, then it's not reality, it's a forecast …

thanks a lot! I appreciate it

Thanks for your thoughtful response. I think there's a misunderstanding (maybe my text wasn't clear. If so please point out where so I can fix it). We actually agree: even if the p…

Great example. Thanks a lot! Can I add it my essay?

Thanks for the link to Tom Renner's article. I've read it and agree with it. I wrote this essay to convince "unbelievers" that's why I tried to be as rigorous as I could

You're absolutely right that predictions exist on a probability spectrum. I focused on the binary for rhetorical clarity, but you're correct that some predictions are more likely t…

Thanks for engaging. I think you meant it's obvious rather than shallow? If so, yes I agree but a lot of my friends disagree so I wrote this as rigorously as possible to explain wh…

Thank you for the comment and engaging with my thinking. You're using hindsight to define inevitability, which is exactly the circular reasoning my essay critiques. "It happened wi…

yes that's exactly what I was trying to convey. Technology is a human byproduct so we are collectively in charge.

thanks!

I wrote an essay critiquing Silicon Valley’s obsession with calling technologies “inevitable.” I argue that inevitability isn’t a fact but a rhetorical move that erases agency and …

Yes I did and it solves tons of problems of coding agents

Also it wasn't done by a human but by my tool (the code in the repo is decompiled bytecode)

Great idea. Which agent to use? I tried with opus and o3 but I had to copy/paste the code and I wasn't sure it was the best way. I tried 10 prompts and the simplest was the best (p…

Yes exactly and that was the hard part (extract and verify the invariants). Still it's surprising because llm needs to be able to do that for any complex code. What you wrote is gr…

It's a great idea but yeah the evaluator (especially in this case) seems hard to build. I'll think about this because it's a great idea

Oh good point which one should I use? I ran it alos with o3 and claude sonnet but the results were similar or worst.(Some are in the repo)

Yes but the analysis it's going to run is probabilist vs the one I'm running is closer to smt

Good point I should have mentioned. I was so "in it" that I didn't realize it was a valid question. This thing outperforms llvm (on o3 and O2) and the JVM too. I didn't explain it …