Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
top256
searching Neon…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
6 ms
·
1.
▲
by
top256
2mo ago
Did you find tune a model?
2.
▲
AI Delegation Starts with Inspectable Work
(deviantabstraction.com)
1 points
by
top256
4mo ago
|
0 comments
3.
▲
by
top256
1y ago
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’s another to say “TCP/IP was inevitable.” When people
4.
▲
by
top256
1y ago
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 their own; they became cheap because governments and corpora
5.
▲
by
top256
1y ago
"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 contingent on those 30 years o
6.
▲
by
top256
1y ago
thanks a lot! I appreciate it
7.
▲
by
top256
1y ago
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 probability of successful coordination is only 10%,
8.
▲
by
top256
1y ago
Great example. Thanks a lot! Can I add it my essay?
9.
▲
by
top256
1y ago
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
10.
▲
by
top256
1y ago
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 than others. That being said, it doesn't chang
11.
▲
by
top256
1y ago
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 why this is obvious. That being said, regarding game theo
12.
▲
by
top256
1y ago
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 widely, therefore it was inevitable" isn't
13.
▲
by
top256
1y ago
yes that's exactly what I was trying to convey. Technology is a human byproduct so we are collectively in charge.
14.
▲
by
top256
1y ago
thanks!
15.
▲
by
top256
1y ago
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 responsibility. What if we treated predictions not as destin
16.
▲
Why Tech Inevitability is Self-Defeating
(deviantabstraction.com)
87 points
by
top256
1y ago
|
58 comments
17.
▲
Show HN: Open-source AI writing your javadoc
(deviantabstraction.com)
3 points
by
top256
1y ago
|
0 comments
18.
▲
by
top256
1y ago
Yes I did and it solves tons of problems of coding agents
19.
▲
by
top256
1y ago
Also it wasn't done by a human but by my tool (the code in the repo is decompiled bytecode)
20.
▲
by
top256
1y ago
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 (probably due to the code being simplistic)
21.
▲
by
top256
1y ago
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 great can I copy/paste it in the blog post? (Referri
22.
▲
by
top256
1y ago
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
23.
▲
by
top256
1y ago
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)
24.
▲
by
top256
1y ago
Yes but the analysis it's going to run is probabilist vs the one I'm running is closer to smt
25.
▲
by
top256
1y ago
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 because I wrote it in a previous blog po
26.
▲
My bytecode optimizer beats Copilot by 2x
(deviantabstraction.com)
47 points
by
top256
1y ago
|
35 comments
27.
▲
Recurrence-Duplication: Deterministic Parallelisation of Non-Affine Scalar Loops
(deviantabstraction.com)
1 points
by
top256
1y ago
|
1 comments
28.
▲
by
top256
1y ago
TL;DR A loop that carries any pure scalar state can be strip-mined across p threads by having each thread privately replay ≤ p(p-1)/2 “warm-up” updates before its first public iteration. No closed-form skip-ahead, no speculation, and
29.
▲
Inboxbooster (YC W17) Is Hiring
(ycombinator.com)
1 points
by
top256
2y ago
30.
▲
Show HN: Automatic JVM Bytecode Parallelizer (2.8× speedup, no source changes)
(deviantabstraction.com)
2 points
by
top256
2y ago
|
0 comments
More ›