daxfohl

28 ms·

511.
by daxfohl 2y ago
This is irrelevant. First, quantum programs don't "get" anything just by virtue of being quantum code, any more than classical computers "get" the foundations of electricity and magnetism because they use electrons.
512.
by daxfohl 2y ago
I doubt it will come to that. Most interactions are always going to be much easier with a dedicated UI than with a chatbot. In fact, I can't think of anything I use regularly that I'd rather replace the UI with chat.
513.
by daxfohl 2y ago
I've been using it to learn Lean, the proof assistant language, and it's great. The code doesn't always compile, but the general structure and approach is usually correct, and it helps understand different ways of doing thing
514.
by daxfohl 2y ago
Of course not. The visual part is window dressing on the argument. The real point is, before declaring AGI, I think the way we interact with these agents needs to be more like human to human interaction. Right now, agents generally accept a
515.
by daxfohl 2y ago
Right, and also the ability to know when it's stuck. It should be able to take a problem, work on it for a few hours, and if it decides it's not making progress it should be able to ping back asynchronously, "Hey I've br
516.
by daxfohl 2y ago
Agreed, but I also think to be called AGI, they should be capable of working through human interfaces rather than needing to have special interfaces created for them to get around their lack of AGI. The catch in this though isn't the a
517.
by daxfohl 2y ago
Until you can boot one up, give it access to a VM video and audio feeds and keyboard and mouse interfaces, give it an email and chat account, tell it where the company onboarding docs are and expect them to be a productive team member, they
518.
by daxfohl 2y ago
And it's definitely not "try every possibility in parallel", as is sometimes portrayed by people who don't know better. While quantum computing makes it possible to superpose multiple possibilities, the way quantum mec
519.
by daxfohl 2y ago
underscore
520.
by daxfohl 2y ago
Quantum computation is no different than classical, except the bit registers have the ability to superpose and entangle, which allows certain specific algorithms like integer factorization to run faster. But conceptually it's still jus
521.
by daxfohl 2y ago
Maybe the fact that the answers sound more intelligent ends up poisoning the RLHF results used for fine tuning.
522.
by daxfohl 2y ago
> switch Hmm, that hit a bit of a nerve. My experience with switch blocks is it can be a gateway drug for teams A, B, C to add their special-case code to team D's repo within a `switch(calling_service)` block. My read of the present
523.
by daxfohl 2y ago
Haha, nah, I'd not want to devalue your repo by polluting it with silly HN snark.
524.
by daxfohl 2y ago
My favorite blog post / presentation is Sandi Metz "The Wrong Abstraction", but this one is up there. Definitely punches above its weight for a small obscure post.
525.
by daxfohl 2y ago
Also, "Don't lay off half your engineering department and try to replace with LLMs"
526.
by daxfohl 2y ago
I think it got started as AI tools for things like cancer detection based purely on deep learning started to outperform tools where humans guide the models what to look for. The expectation became that eventually this will happen for LLM ag
527.
by daxfohl 2y ago
Additionally in terms of career development, you're going to be a lot better off learning the low level LLM interfaces rather than being dependent on a framework (or their even more evil cousin, platforms). Once you learn those, jumpin
528.
by daxfohl 2y ago
This old obscure blog post about framework patterns has resonated with me throughout my career and I think it applies here too. LLMs are best used as "libraries" rather than "frameworks", for all the reasons described in
529.
by daxfohl 2y ago
Another one: plan for cost at scale. These things aren't cheap at scale, so whenever something might be handled by a deterministic component, try that first. Not only save on hallucinations and latency, but could make a huge difference
530.
by daxfohl 2y ago
Probably same people who discuss war plans on Signal.
531.
by daxfohl 2y ago
Not to mention, the signal strength seems too weak and unstructured to be useful as a basis of any higher order machination. A supernova is unlikely to cause much of anything outside of its immediate vicinity. Unlike neural pathways that ar
532.
by daxfohl 2y ago
Or how small we are
533.
To Make Language Models Work Better, Researchers Sidestep Language(quantamagazine.org)
3 points by daxfohl 2y ago|0 comments
534.
by daxfohl 2y ago
Yeah, I guess it depends how much you care about the details. Sometimes you just want a thing to get done, and there are billions of acceptable ways to do it, so whatever GPT spits out is within the realm of good enough. Sometimes you want
535.
by daxfohl 2y ago
Whenever I'm prompting LLM for this kind of thing I find myself wishing there was a BASIC style protocol that we could use to instruct LLMs. Numbered statements, GOTOs to jump around, standardized like MCP or A2A such that all LLMs are
536.
by daxfohl 2y ago
This is what I keep coming back to. I'm sure I'm not the only one here who frequently writes the code, or at least a PoC, then writes the design doc based on it. Because the code is the most concise and precise way to specify what
537.
by daxfohl 2y ago
I'd liken him more to some rich kid trying to show off some made-up street cred by going over the top on everything. Eventually walking everything back while shouting dumb threats once he realizes he's in over his head. Then someh
538.
by daxfohl 2y ago
So we have MCP for USB, A2A for network. Next we'll need a protocol for nonvolatile storage, one for volatile storage that can be paged into context, interrupts or something for debugging. Definition of kernel/userland or rings. W
539.
by daxfohl 2y ago
At least we got the Gulf of America. The only question now is, now that we've alienated our allies, shown our unwillingness to cooperate on anything, demonstrated our inability to back up our show of strength, openly laid out our lack
540.
by daxfohl 2y ago
https://github.com/block/goose tutorials page finally made it click for me. Concrete examples. Anthropic should link directly out to that from their docs.

More ›