killthebuddha

6 ms·

1.
by killthebuddha 27d ago
1 difference (out of many, many, differences), is that (most) compilers don't make guarantees across process boundaries.
2.
by killthebuddha 2mo ago
Does anybody here have a frontend development workflow that works well with coding agents? In my experience coding agents ship buggy, broken, incomplete, or awkward frontend features at a way higher frequency than they do for backend featur
3.
by killthebuddha 2mo ago
this is not super productive, but not including “Germany has Goethe” in the opening line turned me off immediately
4.
by killthebuddha 8mo ago
+1. This thread, the thread about documentation, and the thread about turning off Sprites, when taken together, thoroughly illustrate why I'm not currently a Fly user.
5.
by killthebuddha 9mo ago
I don't have an opinion on the matter, but it's pretty popular. According to [1], Phoenix "was used extensively over the past year" by 2.4% of responders. [1] https://survey.stackoverflow.co/2025/tec
6.
by killthebuddha 11mo ago
I really appreciate his iconoclasty right now, but every time I engage with his ideas I come away feeling short changed. I’m always like “there is no such thing as outside the training data”. What’s inside and what’s outside the training da
7.
by killthebuddha 11mo ago
The answer to (2) is, IMO, "to make computing cheaper". It's interesting to me that this is not the obvious, default answer (it may not be the most actionable answer but IMO it should at least be noted as a way to frame discu
8.
by killthebuddha 1y ago
I feel like the Netflix tech blog has officially jumped the shark.
9.
by killthebuddha 1y ago
https://platform.openai.com/docs/guides/agents#tools
10.
by killthebuddha 2y ago
I've always felt like the argument is super flimsy because "of course we can _in theory_ do error correction". I've never seen even a semi-rigorous argument that error correction is _theoretically_ impossible. Do you hav
11.
by killthebuddha 2y ago
Your second paragraph is basically what I'm saying but with the extension that we only actually care about reasoning when we're in these kinds of asymmetric situations. But the asymmetry isn't about the other reasoner, it&#x2
12.
by killthebuddha 2y ago
Perfect reasoning, with certain assumptions, is perfectly deterministic, but that does not at all imply that it's predictable. In fact we have extremely strong evidence to the contrary (e.g. we have the halting problem).
13.
by killthebuddha 2y ago
IMO verifying a solution is a great example of how reasoning is unpredictable. To say "I need to verify this solution" is to say "I do not know whether the solution is correct or not" or "I cannot predict whether th
14.
by killthebuddha 2y ago
One thing he said I think was a profound understatement, and that's that "more reasoning is more unpredictable". I think we should be thinking about reasoning as in some sense exactly the same thing as unpredictability . Or,
15.
by killthebuddha 2y ago
The issue isn’t with who’s hosting, it’s that their SDKs don’t clearly integrate with existing HTTP servers regardless of who’s hosting them. I mean integrate at the source level, of course they could integrate via HTTP call.
16.
by killthebuddha 2y ago
I see a good number of comments that seem skeptical or confused about what's going on here or what the value is. One thing that some people may not realize is that right now there's a MASSIVE amount of effort duplication around de
17.
by killthebuddha 2y ago
Location: San Diego, CA, USA Remote: preferred but not necessary Willing to relocate: no Technologies: TypeScript, React, Next.js, Node.js, Postgres, Docker, AWS, GitHub CI, Python, Elixir, Golang, Java Résumé/CV: https://ww
18.
by killthebuddha 2y ago
This looks like a hard maybe, thank you!
19.
by killthebuddha 2y ago
Hmm, maybe. I could run a server on my laptop and have the wifi/bt mic stream to it. But I really want this to work on the go, and having a running laptop, or Pi or whatever, at all times is kind of a non-starter.
20.
Ask HN: What's the minimum-friction way to stream audio from a handheld device?
3 points by killthebuddha 2y ago|9 comments
21.
by killthebuddha 2y ago
It's funny how, after years of hearing his voice and not seeing his face, seeing his face puts me in smack in the middle of the uncanny valley.
22.
by killthebuddha 2y ago
BLOOD FOR THE BLOOD GOD Edit: On a more serious note, this book actually changed the way I think in a very concrete (and positive) way. The book spurred me to start consciously reflecting on "what about X, specifically, is surprising&q
23.
by killthebuddha 2y ago
I love Neuromancer specifically for the first third or so, so maybe the latter? IMO the first part of the book is peak cyberpunk vibes. In particular I read it almost like I would read poetry, late at night when I can't sleep, sometime
24.
by killthebuddha 2y ago
if you zoom out far enough, there's no other option (imo)
25.
by killthebuddha 2y ago
I think it’s basically “HN is extremely hostile to iconoclastic ideas”
26.
by killthebuddha 2y ago
Hmm. My first thought was that I shared non-public links, but I double-checked I can access them from another machine.
27.
by killthebuddha 2y ago
I think the post is great, clear and fair and all that. And I definitely agree with the general point that o1 shows some amount of improvement on generality but with a massive tradeoff on cost. I'm going to think through what I find &q
28.
by killthebuddha 2y ago
I agree with basically everything you said but I think you've misunderstood my point. I'll reply to the other comment with more.
29.
by killthebuddha 2y ago
Basically yes, but there's a very wide range of how explicit the feedback could be. Here's an example where I tell gpt-4 exactly what the rule is and it still fails: https://chatgpt.com/share/66e514d3-ca0c-801
30.
by killthebuddha 2y ago
In my opinion this blog post is a little bit misleading about the difference between o1 and earlier models. When I first heard about ARC-AGI (a few months ago, I think) I took a few of the ARC tasks and spent a few hours testing all the mos

More ›