daoxid

6 ms·

1.
by daoxid 5y ago
> misappropriated Haskell/ML function syntax, enum/struct asymmetry I'm curious, could you elaborate?
2.
by daoxid 5y ago
Just delete all CSS files!
3.
by daoxid 5y ago
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 thing comp
4.
by daoxid 6y ago
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] https://nikic.github.io/2020/05
5.
by daoxid 7y ago
> 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 reasons why I came to
6.
by daoxid 7y ago
Wait, what? Where has this been automated?
7.
by daoxid 7y ago
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.
8.
by daoxid 7y ago
> 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 self
9.
by daoxid 7y ago
> 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 they came to a
10.
by daoxid 7y ago
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).
11.
by daoxid 7y ago
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 be recreated, but sh
12.
by daoxid 7y ago
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-rende
13.
by daoxid 7y ago
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?
14.
by daoxid 7y ago
Yep, your example describes exactly (and better) what I meant. Thanks!
15.
by daoxid 7y ago
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 example, if som
16.
by daoxid 7y ago
Cool, I'll wait! (no pressure :) )
17.
by daoxid 7y ago
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.
18.
by daoxid 7y ago
> 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() {
19.
by daoxid 8y ago
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 find the premise fas
20.
by daoxid 8y ago
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 actually using something e
21.
by daoxid 8y ago
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 coffee table
22.
by daoxid 8y ago
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 am conscious?
23.
by daoxid 8y ago
I haven't really looked into it, but how does Sparta compare to Ikos ( https://ti.arc.nasa.gov/opensource/ikos/ )?