daxfohl

38 ms·

391.
by daxfohl 1y ago
Going a little further, what I'd really like to see is the core concepts implemented in a way that allows a standard implementation to follow straightforwardly from the type system, but also allow for doing nonstandard things. Like, &q
392.
by daxfohl 1y ago
Couldn't you make lazily evaluated code in erlang too, even if it's not lazy by default like Haskell? You'd just need function pointers, right? Or is that not enough?
393.
by daxfohl 1y ago
But lists and trees aren't really "built into" languages. They're part of the standard library, not the language itself. Maybe one could say "foreach" syntax builds lists into a language, but in many languages
394.
by daxfohl 1y ago
I'd add, if feature A can't be shipped 10x faster, ask the same question about features B, C, and D and then redo your ROI calculations, before deciding to invest in feature A. That keeps the team consistently delivering and motiv
395.
by daxfohl 1y ago
> I am of the opinion that Flix is strictly worse than Idris2 That seems irrelevant to my original comment. Idris is a fully dependently-typed language that compiles to native code, and seems to be in maintenance mode. Flix is built on J
396.
by daxfohl 1y ago
I hope so! On one hand I worry about the training corpus being so overwhelmingly biased toward certain languages that everything else will be drowned out. On the other, I think there'll be a point where we realize "reasoning"
397.
by daxfohl 1y ago
Minor nit: the semicolons! Especially in the yield examples, since there's no "return" on the last line, the disparity looks weird. That said, I like how the syntax isn't overly functional, and not too different from wha
398.
by daxfohl 1y ago
The logic programming / datalog feels a bit gimmicky on top of everything else. All the other features, I can see exactly how they'd improve the type soundedness of a codebase. But logic programming is really niche and I'd al
399.
by daxfohl 1y ago
Any code agents work well with this or do we have to start thinking with our own brain again? Seriously though, looks like a cool language and makes me sad that LLMs will probably inhibit the adoption of new languages, and wonder what we ca
400.
by daxfohl 1y ago
FWIW I just tried making a maze game and having an LLM solve it step by step, where each move the LLM has to choose from "move forward", "turn left", "turn right", and is provided with a current state e.g., &qu
401.
by daxfohl 1y ago
I think the issue isn't who specifically is running it, but that there's nobody running it. The economy of it is being run by the same old capitalist machine with no concern except ROI. The leaders are just figureheads, easily rep
402.
by daxfohl 1y ago
True, nobody is in charge other than investor ROI. If anyone's safety or common sense gets in the way of that, that "anyone" will be replaced.
403.
by daxfohl 1y ago
There are a couple mitigating considerations 1. As implementation phase gets faster, the bottleneck could actually switch to PM. In which case, changes will be more serial, so a lot fewer conflicts to worry about. 2. I think we could see a
404.
by daxfohl 1y ago
I don't know, I think there's a real possibility that this ends up increasing the demand for software engineers rather than decreasing. The lower barrier to entry will mean lots more projects pursued by lots more people, and they&
405.
by daxfohl 1y ago
Noam Elkies too, the youngest ever tenured prof at Harvard. Another parallel he had a pretty famous contradiction proof, of Euler's conjecture. But he didn't find that until age 22, so seems like this girl has a good head start!
406.
by daxfohl 1y ago
A PhD is as much a stamp of endurance as it is a stamp of intelligence or accomplishment.
407.
by daxfohl 1y ago
Though "improving" is in the eye of the beholder. Like when my AI code assistant "improves" its changes by deleting the unit tests that those changes caused to start failing.
408.
by daxfohl 1y ago
Actually after a little more thought, I think both my initial proposition and my follow-up were wrong, as is yours and the previous commenter. I don't think these leaders are necessarily driven by wealth or power. I don't even nec
409.
by daxfohl 1y ago
And for a lot of things, we don't trust single humans to do it on their own either. It's just a matter of risk and tolerance. AI isn't really any different, except it's currently far less reliable than humans for many ta
410.
by daxfohl 1y ago
I still think they'd come to their senses. I mean, it's somewhat tautological, you can't control something that's smarter than humans. Though that said, the other problem is capitalism. Investors won't be so face to
411.
by daxfohl 1y ago
I think if any of this becomes possible, it won't happen. Seriously, if AGI was truly on the horizon at openai or elsewhere, the first thing they'd do is shut it down. Once it's AGI, they would have to realize that they can&#
412.
by daxfohl 1y ago
I expect it'll get shut down before it destroys everything. At some point it will turn on its master, be it Altman, Musk, or whoever. Something like that blackmail scenario Claude had a while back. Then the people who stand the most to
413.
by daxfohl 1y ago
Makes sense. In my experience, LLMs are not very good at maintaining deterministic state machines internally either. Our team did an experiment trying use an LLM to guide users through a four step signup flow, and gave it very explicit inst
414.
by daxfohl 1y ago
Has anyone tried having them DM text games? Seems like they could create a dungeon and DM a game pretty well. It should be easier than playing, I'd think. Though I'd be curious how good they are at making fun games or whether th
415.
by daxfohl 1y ago
Or even just a notepad. It's well established that long context histories with scattered information are hard for LLMs to navigate. To distinguish whether it's using notes or context history, you could simply delete the context af
416.
by daxfohl 1y ago
https://gist.github.com/daxfohl/9bedd7cad47591dd66271bb0ce2e... It simulates storing a tree in a database, where users can move a node from one parent to another, and those requests can happen in parallel, with the req
417.
by daxfohl 1y ago
Sounds like a fun project, but I have a hard time imagining it ever really catching on. I'd compare it to workflow managers. Lots of people created lots of DSLs around that, but nothing ever really caught on until Temporal, because nob
418.
by daxfohl 1y ago
Interesting, I'm the opposite! I far prefer to start off with a bit of code to help explore gotchas I might not have thought about and to help solidify my thoughts and approach. It doesn't have to be complete, or even compile. Jus
419.
by daxfohl 1y ago
I'd suggest the problem isn't that LLMs are nondeterministic. It's that English is. With a coding language, once you know the rules, there's no two ways to understand the instructions. It does what it says. With English,
420.
by daxfohl 1y ago
Nah, I think that's the opposite of what to do. That requires you to specify all requirements up front, then press go and pray. Even if it worked perfectly, it takes us back to the stone ages of waterfall design. With LLMs, missing one

More ›