That's a clever observation and is very true. Development time tho historically was also very expensive hence push for easy to work with dev stacks such as js
This is no charity, this money largerly comes back to the countries that are biggest spenders on these funds. It's basically an equivalent of FDI
Security through obscurity is mitigation basically. You reduce risk/impact, not eliminate it. There are problems - such as denial of wallet attacks - where you can only mitigate and can't eliminate the problem completely
How does Zed compare to let's say vsc
All of logic and math is a convincence tool. There are no, circles, quantities. Reality just is. We created these tools because they're a convinent way to cope with complexity of reality. There are no "objects" in a…
I blame syntax. It's too unorthodox nowadays. Historical reasons don't matter all that much, everything mainstream is a C-family memember
In fact, automated regression tests done by ai with visual capabilities may have bigger impact than formal verification has. You can have an army of testers now, painfully going through every corner of your software
A hybrid will likely emerge. I work on a chat application and it's pretty normal that LLM can print custom ui as part of the chat. Things like sliders, dials, selects, calendars are just better as a GUI in certain…
There's actually a research showing that llms are more accurate when questions are in Polish: https://arxiv.org/pdf/2503.01996
I think we can do better than to have this level of argumentation. Regardless if the pretending comment had a merit to it or not
Math is about creating mental models. Sometimes we want to model something in real life and try to use math for this - this is physics. But even then, the model is not real, it's a model (not even a 1:1 one on top of…
It is a bit of a clickbait since they used commandblocks, not just redstone. But it's still impressive
It should be almost obligatory to always state which definition of consciousness one is talking about whenever they talk about consiousness, because I for example don't see what language has to do with our ability to…
More of a question is its context rot tendency than the size of its context :) LLMs are supposed to load 3 bibles into their context, but they forget what they were about to do after loading a 600LoC of locales.
That's langchain terminology. LLMs usually are exposed to a set of tools. It's usually pretty obvious which are obvious, since there's only one tool that's even remotely associated with the task at hand.
I work in web dev, so people sometimes hook code formatting as a git commit hook or sometimes even upon file save. The tests are problematic tho. If you work at huge project it's a no go idea at all. If you work at…
And we have a good example of a dimwitted, brute-force process creating intelligent designs - evolution.
Fully agree. TS shouldn't throw internal types into the user's face. The errors UX is abyssymal. The fact that the most popular editor - VSC - doesn't preserve line breaks makes reading TS errors even worse. I highly…
TS doesn't support higher order types. You can't return a generic and pass its parameters later. It's basically only a single level of parametrization. ``` type MyGeneric<TParam> = ...; type HigherOrderGeneric<TParam> =…
Probably there are many people like me - I use messenger and not the Facebook. But they REALLY want ppl like me to use the Facebook.
I think that early in development you should be able to spam a lot of hypothesis and quickly test them and check how people interact with your software. Whether your software makes sense is more important than whether…
Maybe I miss what REPL really is, but... If REPL is the main value proposition, how is it better from average JavaScript development? Dev tools allow you to basically interactively work with your code.
Both jets and birds fly but do it in a completely different way. Who said that there's only one way to achieve reasoning?
That's actually a factor that diseases aim for. Mortal diseases don't spread as much as the ones that don't damage the host as much. Because of this, severe diseases sometimes evolve into mild ones.
Learning curve perhaps? There doesn't have to be an overlap between people working on this and the tools you have mentioned
That's a clever observation and is very true. Development time tho historically was also very expensive hence push for easy to work with dev stacks such as js
This is no charity, this money largerly comes back to the countries that are biggest spenders on these funds. It's basically an equivalent of FDI
Security through obscurity is mitigation basically. You reduce risk/impact, not eliminate it. There are problems - such as denial of wallet attacks - where you can only mitigate and can't eliminate the problem completely
How does Zed compare to let's say vsc
All of logic and math is a convincence tool. There are no, circles, quantities. Reality just is. We created these tools because they're a convinent way to cope with complexity of reality. There are no "objects" in a…
I blame syntax. It's too unorthodox nowadays. Historical reasons don't matter all that much, everything mainstream is a C-family memember
In fact, automated regression tests done by ai with visual capabilities may have bigger impact than formal verification has. You can have an army of testers now, painfully going through every corner of your software
A hybrid will likely emerge. I work on a chat application and it's pretty normal that LLM can print custom ui as part of the chat. Things like sliders, dials, selects, calendars are just better as a GUI in certain…
There's actually a research showing that llms are more accurate when questions are in Polish: https://arxiv.org/pdf/2503.01996
I think we can do better than to have this level of argumentation. Regardless if the pretending comment had a merit to it or not
Math is about creating mental models. Sometimes we want to model something in real life and try to use math for this - this is physics. But even then, the model is not real, it's a model (not even a 1:1 one on top of…
It is a bit of a clickbait since they used commandblocks, not just redstone. But it's still impressive
It should be almost obligatory to always state which definition of consciousness one is talking about whenever they talk about consiousness, because I for example don't see what language has to do with our ability to…
More of a question is its context rot tendency than the size of its context :) LLMs are supposed to load 3 bibles into their context, but they forget what they were about to do after loading a 600LoC of locales.
That's langchain terminology. LLMs usually are exposed to a set of tools. It's usually pretty obvious which are obvious, since there's only one tool that's even remotely associated with the task at hand.
I work in web dev, so people sometimes hook code formatting as a git commit hook or sometimes even upon file save. The tests are problematic tho. If you work at huge project it's a no go idea at all. If you work at…
And we have a good example of a dimwitted, brute-force process creating intelligent designs - evolution.
Fully agree. TS shouldn't throw internal types into the user's face. The errors UX is abyssymal. The fact that the most popular editor - VSC - doesn't preserve line breaks makes reading TS errors even worse. I highly…
TS doesn't support higher order types. You can't return a generic and pass its parameters later. It's basically only a single level of parametrization. ``` type MyGeneric<TParam> = ...; type HigherOrderGeneric<TParam> =…
Probably there are many people like me - I use messenger and not the Facebook. But they REALLY want ppl like me to use the Facebook.
I think that early in development you should be able to spam a lot of hypothesis and quickly test them and check how people interact with your software. Whether your software makes sense is more important than whether…
Maybe I miss what REPL really is, but... If REPL is the main value proposition, how is it better from average JavaScript development? Dev tools allow you to basically interactively work with your code.
Both jets and birds fly but do it in a completely different way. Who said that there's only one way to achieve reasoning?
That's actually a factor that diseases aim for. Mortal diseases don't spread as much as the ones that don't damage the host as much. Because of this, severe diseases sometimes evolve into mild ones.
Learning curve perhaps? There doesn't have to be an overlap between people working on this and the tools you have mentioned