Viewing profile — daoxid

> 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 month…

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] ht…

> 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…

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.…

> 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 the…

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 i…

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…

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?) securit…

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 cha…

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:…

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 bo…

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, e…

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…

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…

I haven't really looked into it, but how does Sparta compare to Ikos ( https://ti.arc.nasa.gov/opensource/ikos/ )?