zodiac

7 ms·

1.
by zodiac 1mo ago
Does snapshot/suspend/resume keep processes/RAM alive - or do you need to re-start processes/reload stuff into RAM? How does that work under the hood (CRIU?) and how fast is it?
2.
by zodiac 5mo ago
We still care about computation and algorithms even when proving theorems in a classical setting! For e.g., imagine I'm trying to prove the theorem "x divides 6 => x != 5". Of course, one way would be to develop some gener
3.
by zodiac 9mo ago
Here’s a good document defending the merits of this design. https://xenaproject.wordpress.com/2020/07/05/division-by-zer...
4.
by zodiac 1y ago
No browser passes 100% of WPT, the leader is chrome which has about 1000 failing tests
5.
by zodiac 1y ago
1400 x $100,000 is $140 million, not $1.4 billion
6.
by zodiac 2y ago
Interesting, in this representation a plane is represented by the point on it closest to the origin, right?
7.
by zodiac 3y ago
> Every time you install an open-source app, the developers are extorted by Apple with Core Technology Fee of €0.5 each I don't think this is true? AIUI a developer can choose to operating using the "old business terms" ev
8.
by zodiac 3y ago
I'm curious about graph algorithms that are "higher order" than what the article describes - e.g. how does Datalog encode the fact that two graphs (given as two relation sets) are isomorphic? How do I write a graph isomorphis
9.
by zodiac 3y ago
Something like "schedule a reminder to stop using the computer at 10pm so I can sleep by 11pm"? Since I want to sleep at 11pm local time every day
10.
by zodiac 3y ago
The real TIL (to me) is that the previous state-of-the-art could solve 10 of these! I'd heard there was a decision algorithm for plane geometry problems but I didn't know it was a practical one. Some searching turned up http:&#x2
11.
by zodiac 3y ago
I think there’s syntactic ambiguity whether “faster” modifies “generates” or “code”
12.
by zodiac 3y ago
I read mathematics on screens but when it comes to working out exercises etc I still prefer to do it with pen and paper, so I prefer succinct notation.
13.
by zodiac 3y ago
I didn’t really get that joke, could you explain it?
14.
by zodiac 4y ago
The “except for math” part is doing a lot I think. There’s a huge amount of work needed to get rendered math to look as good as latex’s and I’m not sure CSS (as an example) is expressive enough to get this done
15.
by zodiac 4y ago
“Give us your passport or we’ll fire you / won’t give you this job”
16.
by zodiac 4y ago
I wish discussions of such site didn't inevitably become discussions about software engineer interviews. It's a really nice site created by volunteers and I've often had it been the only decent resource online for a particula
17.
by zodiac 4y ago
Could you please define “strategy” such that those people you refer to aren’t “following a strategy” but someone who doesn’t eat breakfast is “following a strategy”? I eat breakfast when I’m strength training and don’t when I’m not, I’m not
18.
by zodiac 4y ago
What makes skipping meals a “strategy” while your meal eating habits is (presumably) not a “strategy”?
19.
by zodiac 4y ago
The article gives one example - find out if a recipe has ingredient X. You could also imagine "find all recipes (from a cookbook) that are vegan", or "find all recipes I could follow given the contents of my fridge", etc
20.
by zodiac 4y ago
I agree with your 3rd, 4th, and 5th sentences, but not with your 1st and 2nd. Assuming a large number of independent validators, the Nash equilibrium is close to "there is no equivocation, hence no slashable evidence, hence no incentiv
21.
by zodiac 4y ago
> Which sure sounds like a decentralized process that is ultimately just centralized around the ETH foundation at the end of the day. The validators need to be decentralized (i.e. prevent "harmful collusion"), but the slashers
22.
by zodiac 4y ago
Depends on what you mean by "best". For e.g. comparison-based sorting will already cost O(n log n) time but the HashMap solution will run in O(n) HashMap operations.
23.
by zodiac 4y ago
The chord is D-flat dominant 7 It’s the same example as on the wiki page for “tritone substitution” - ‘For example, in the key of C major one can use D♭7 instead of G7.’
24.
by zodiac 4y ago
I think the problem is that the first separates words by underscore and the second doesn’t
25.
by zodiac 4y ago
Maybe the_svd_doctor uses flop/s to describe hardware, like you said
26.
by zodiac 4y ago
50ms is under human detection? maybe 50ms is under the "conscious detection" threshold (debateable, IMO...) but it will definitely feels "laggy"
27.
by zodiac 4y ago
Conversely, I did not like the old system where I would buy a new phone and get a new wall wart which I would proceed to toss into a drawer (since the old wart still works fine)
28.
by zodiac 4y ago
> This is one of those tricks you just have to memorize and it's very hard to come up with the solution in 30 min. Maybe that particular solution is hard to come up with, but you can solve the problem without any "tricks",
29.
How Singapore turned to its experimental tech team to solve Covid-19 problems(channelnewsasia.com)
2 points by zodiac 4y ago|0 comments
30.
by zodiac 4y ago
If you used the State monad for the author's interpreter example, and you did it in Racket (your "state of the world" is a cons-list), what would be the run-time of the resulting interpreter? Similar question for streams (alt

More ›