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
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
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
There's actually a research showing that llms are more accurate when questions are in Polish: https://arxiv.org/pdf/2503.01996
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.
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.
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?
If it jumps across the universe uniformly then with each jump it can pull its surroundings as if there would be many electrons. Kind of like a single cpu core can run many programs "in parallel".
"Fancy type systems" What about TypeScript? I've literally implemented snake game using types alone, it's quite powerful.
It frustrates me every time when people talk about consciousness. The word has several meanings, but very often people just use it without specifying which consciousness do do they talk about and then proceed to…
TS' type system is insane in what it's capable of expressing. I've personally wrote a snake game using types alone (you see a board, snake and snacks inside your editor type popups). Despite that, TS is still quite…
As a web developer, I'm curious - what kind of projects are you talking about and what kind of solutions did you witness being implemented as a result of the creator having knowledge in this area?
The question is also whether it's meaningful to polish our deeply mathematical models to scales so extreme that we may have troubles in reaching them. Keep in mind that this is just some model of reality, not…
Could you elaborate on the project? I'm curious
That probably depends on the area where you want to live in. Check for job postings in the area you consider, see what language is used the most
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
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
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
There's actually a research showing that llms are more accurate when questions are in Polish: https://arxiv.org/pdf/2503.01996
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.
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.
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?
If it jumps across the universe uniformly then with each jump it can pull its surroundings as if there would be many electrons. Kind of like a single cpu core can run many programs "in parallel".
"Fancy type systems" What about TypeScript? I've literally implemented snake game using types alone, it's quite powerful.
It frustrates me every time when people talk about consciousness. The word has several meanings, but very often people just use it without specifying which consciousness do do they talk about and then proceed to…
TS' type system is insane in what it's capable of expressing. I've personally wrote a snake game using types alone (you see a board, snake and snacks inside your editor type popups). Despite that, TS is still quite…
As a web developer, I'm curious - what kind of projects are you talking about and what kind of solutions did you witness being implemented as a result of the creator having knowledge in this area?
The question is also whether it's meaningful to polish our deeply mathematical models to scales so extreme that we may have troubles in reaching them. Keep in mind that this is just some model of reality, not…
Could you elaborate on the project? I'm curious
That probably depends on the area where you want to live in. Check for job postings in the area you consider, see what language is used the most