> misappropriated Haskell/ML function syntax, enum/struct asymmetry I'm curious, could you elaborate?
Just delete all CSS files!
Reading another article in this series, "Can You Boil an Egg Too Long?" [1] really made me smile. Apparently no one knows exactly what happens if you boil an egg for multiple months or years. This seems such a trivial…
In a linked blog post [0] and on the Rust performance page [1] the performance metric "instructions" is used. What exactly is meant by that? Number of instructions executed? [0]…
> But in many cases, we have little ability to figure out how we came to a conclusion, while being much better at fabricating plausible and politically acceptable answers. Hmm, too me it feels like I can explain the…
Wait, what? Where has this been automated?
I was more thinking about higher level reasoning. But yes, a lot of the lower level stuff just appears as thoughts in my mind seemingly out of nowhere.
> You can always ask somebody to state their reason as a simple "if-then" statement, and they can make one up on the spot, but it'll be so oversimplified that it's basically a lie. Well, I guess it depends on how…
> I think it's important to note that human pattern recognition is basically black-box as well. Agreed. But as you note, even though humans are basically black boxes we can ask them questions in order to find out how…
Thanks! For some reason it didn't occur to me that Svelte could just compare the new array to the old array (if this is how it's implemented).
I guess whether a structural comparison (VDOM) or a value comparison (Svelte) is more efficient really depends on the concrete use-case. For example, even changing a single value in a big list requires the whole VDOM to…
The article says that items = items.filter(i => i !== item); is compiled to $$invalidate('items', items = items.filter(i => i !== item)); So this invalidates the whole array, right? Would this then re-render the whole…
The way I understood it is that it would only perform code generation for trusted kernel code, not for arbitrary code provided by the user. Doesn't this resolve most (all?) security concerns?
Yep, your example describes exactly (and better) what I meant. Thanks!
This sounds nice! One Question: You said that DML changes are handled via "standard check in sql file". Does this simply mean a new SQL file for each migration? And how are DML changes connected to DDL changes? For…
Cool, I'll wait! (no pressure :) )
Are there any write-ups about the internals of Svelte? I would be especially interested in how state changes are converted to concrete DOM updates.
> In general, if I need an rvalue and it's legal to convert the lvalue I have into an rvalue, the compiler should do it automatically. This is already done in some places. Example: std::unique_ptr<int> get_int() { auto…
The Terranauts by T.C. Boyle is heavily inspired by the Biosphere 2 experiment. It contains a lot of gossip and petty behavior, and a lot of people seem to find the plot overall boring, but I still liked it. (I simply…
Are the more fancy scripts supported by Unicode used by real people in production? By scholars? With special fonts? Or is it more like Unicode just wanting to support everything, even though the target audience is…
Although I generally agree with you, I think there is a difference between the emergent property of a coffee table and that of consciousness: the particles the coffee table is made of are "just" matter, and so is the…
Does consciousness produce any measurable effect? For a time I thought consciousness is some kind of by-product of some kinds of computation which doesn't influence the computation itself. But how can I then know that I…
I haven't really looked into it, but how does Sparta compare to Ikos (https://ti.arc.nasa.gov/opensource/ikos/)?
> misappropriated Haskell/ML function syntax, enum/struct asymmetry I'm curious, could you elaborate?
Just delete all CSS files!
Reading another article in this series, "Can You Boil an Egg Too Long?" [1] really made me smile. Apparently no one knows exactly what happens if you boil an egg for multiple months or years. This seems such a trivial…
In a linked blog post [0] and on the Rust performance page [1] the performance metric "instructions" is used. What exactly is meant by that? Number of instructions executed? [0]…
> But in many cases, we have little ability to figure out how we came to a conclusion, while being much better at fabricating plausible and politically acceptable answers. Hmm, too me it feels like I can explain the…
Wait, what? Where has this been automated?
I was more thinking about higher level reasoning. But yes, a lot of the lower level stuff just appears as thoughts in my mind seemingly out of nowhere.
> You can always ask somebody to state their reason as a simple "if-then" statement, and they can make one up on the spot, but it'll be so oversimplified that it's basically a lie. Well, I guess it depends on how…
> I think it's important to note that human pattern recognition is basically black-box as well. Agreed. But as you note, even though humans are basically black boxes we can ask them questions in order to find out how…
Thanks! For some reason it didn't occur to me that Svelte could just compare the new array to the old array (if this is how it's implemented).
I guess whether a structural comparison (VDOM) or a value comparison (Svelte) is more efficient really depends on the concrete use-case. For example, even changing a single value in a big list requires the whole VDOM to…
The article says that items = items.filter(i => i !== item); is compiled to $$invalidate('items', items = items.filter(i => i !== item)); So this invalidates the whole array, right? Would this then re-render the whole…
The way I understood it is that it would only perform code generation for trusted kernel code, not for arbitrary code provided by the user. Doesn't this resolve most (all?) security concerns?
Yep, your example describes exactly (and better) what I meant. Thanks!
This sounds nice! One Question: You said that DML changes are handled via "standard check in sql file". Does this simply mean a new SQL file for each migration? And how are DML changes connected to DDL changes? For…
Cool, I'll wait! (no pressure :) )
Are there any write-ups about the internals of Svelte? I would be especially interested in how state changes are converted to concrete DOM updates.
> In general, if I need an rvalue and it's legal to convert the lvalue I have into an rvalue, the compiler should do it automatically. This is already done in some places. Example: std::unique_ptr<int> get_int() { auto…
The Terranauts by T.C. Boyle is heavily inspired by the Biosphere 2 experiment. It contains a lot of gossip and petty behavior, and a lot of people seem to find the plot overall boring, but I still liked it. (I simply…
Are the more fancy scripts supported by Unicode used by real people in production? By scholars? With special fonts? Or is it more like Unicode just wanting to support everything, even though the target audience is…
Although I generally agree with you, I think there is a difference between the emergent property of a coffee table and that of consciousness: the particles the coffee table is made of are "just" matter, and so is the…
Does consciousness produce any measurable effect? For a time I thought consciousness is some kind of by-product of some kinds of computation which doesn't influence the computation itself. But how can I then know that I…
I haven't really looked into it, but how does Sparta compare to Ikos (https://ti.arc.nasa.gov/opensource/ikos/)?