zodiac

8 ms·

31.
by zodiac 5y ago
That's a good point. I wonder if the problem is that efficient persistent arrays aren't in racket's standard library (there are some third-party libraries implementing them though). Since racket isn't a "pure FP&quo
32.
by zodiac 5y ago
Got it. I'm familiar with persistent data structures but I was more curious as to the "Haskell approach" of doing the same problem (which, I assume, doesn't use persistent data structures per se). Follow-up question: if
33.
by zodiac 5y ago
Using the interpreter example in the article, would it be accurate to say that the author's inefficient "each instruction copies the existing bytes into a new array, change the byte of interest, return this new byte array, and ab
34.
by zodiac 5y ago
I think the author somewhat explained why FP "suggests" that. In his explanation, it's because when you read tutorials that operate on "numbers and strings and simple lists" (as the author puts it), you do create an
35.
by zodiac 5y ago
I love the Purely Functional Data Structures book (so many cool data structures and ideas!) but does really "solve" it? For e.g. I double checked and the PFDS for an array (the author's example) would be a skew-binary random
36.
by zodiac 5y ago
I don't think it's possible to divorce "proof" and "application" as cleanly as you'd like. For instance, let's take a very common "application" of statistic: given a test that has false posi
37.
by zodiac 5y ago
From reading the proof, I think he meant “n composite => 2^n - 1 composite” and it’s just a typo
38.
by zodiac 5y ago
I found this article with some breakdowns of the CBR assets in a few ways (e.g. by country, by denominating currency, by asset type) (some of it based on old data): https://www.ft.com/content/526ea75b-5b45-48d8-936d-dcc
39.
by zodiac 5y ago
> Because every single transaction in USD must result in a credit and debit to an account at the US Federal Reserve If I understand it correctly, in this case, isn't the thing prohibiting that transaction the US sanctions (i.e. htt
40.
by zodiac 5y ago
But "completeness" already has a (different) definition, like when we say the reals are complete but the rationals are not edit: to match with existing terminology you might call the reals the "completes" and the complex
41.
by zodiac 5y ago
But all algorithms that deterministically play a finite combinatorial game can be represented as a decision tree. (there may be other, far more succinct representations)
42.
by zodiac 5y ago
I think people are downvoting you because you seem like you're attacking a strawman. We all agree that 1) it's an interesting math problem 2) for real-life instances, the FP64 solution is good enough. For e.g. when you say "a
43.
by zodiac 5y ago
But the article presents it as an interesting pure math problem, and doesn't claim that the FP64 solution isn't good enough. I should add that the people who write state of the art "practical" TSP solvers spend a lot of
44.
by zodiac 5y ago
You can still do IOI style contests very regularly as an adult, check out AtCoder or codeforces. Actually the US national olympiad (USACO) is open for everyone too :)
45.
by zodiac 5y ago
https://codeforces.com/blog/entry/20548 is old but pretty good. for e.g. #2 is specific cases: "you get a problem for a tree. Consider its variant where the tree degenerates into a path".
46.
by zodiac 5y ago
I am well aware of the "disadvantages" (to put it mildly) of hypothetical neutrino-based communications and I never suggested that they could viably replace EM-based communication
47.
by zodiac 5y ago
> If there were a way to reliably detect neutrinos in sufficient quantities they'd be ideal since you could send messages through the earth and at near light speed, I suppose. > As opposed to how we communicate now globally? From
48.
by zodiac 5y ago
Let the radius of the earth be R. Say you want to send a message from the north pole to the south pole. If you use radio waves that travel around the earth, the shortest distance they can travel is πR ≈ 20,000km. If you use neutrinos that t
49.
by zodiac 5y ago
Communication via EM waves travel around the earth, not through it. (eg radio waves, fibre optic cables, satellite...)
50.
by zodiac 5y ago
Or you're a pro athlete
51.
by zodiac 5y ago
IC = individual contributor (as opposed to manager, etc)
52.
by zodiac 5y ago
Haha, I kind of had the opposite history (played Go first, got more into chess later and found it more interesting) Still love the community and experience of both games though
53.
by zodiac 5y ago
I think the "answer to q2" here ( https://mathoverflow.net/questions/199097/which-unfoldings-o... ) is what you want!
54.
by zodiac 5y ago
Speaking only for myself, off the top of my head, I use it to look up stuff for work (software engineering), for several of my hobbies, and to learn more about local news / events, and I feel like it works equally well or better than a
55.
by zodiac 5y ago
I think the Chandy-Lamport snapshot algorithm tries to do something like this for all distributed systems (in their model, and it tries to get any consistent snapshot, not allowing you to specify the "time"); not sure if it's
56.
by zodiac 5y ago
You can modify the question to be well-defined and not suffer those measurement problems, eg "the total number of videos uploaded before midnight UTC on 2021-04-29"
57.
by zodiac 6y ago
Here's how I want encryption to work: it should be unbreakable when it's used to encrypt communication between journalists and their sources, but it should be breakable when used to encrypt communications between terrorists. I rea
58.
by zodiac 6y ago
What if they disabled trading, the stock slowly lost value, and people who were long the stock couldn't exit their position? Someone's gonna complain and ask "why didn't they just disallow buying but allow selling".
59.
by zodiac 6y ago
ios layout (autolayout) is like that. I generally prefer it to css, but it's not perfect either.
60.
by zodiac 6y ago
> in natural language, 'and' usually implies set union well, sometimes it can be syntactically ambiguous too, right? e.g. "I welcome big and small dogs" vs "I welcome well-behaved and properly groomed dogs"

More ›