fnrslvr

11 ms·

61.
by fnrslvr 8y ago
> Doing it properly requires a carefully designed interface to hide internal data structures, and splitting out the end user headers from the internal headers, but it works. Out of curiosity, how? (If pointers or other mechanisms for mem
62.
by fnrslvr 8y ago
Is this a regional thing? I've had interviewers inquire perplexedly from across the table as to why in the world someone with a mathematics degree was seeking a software development job. Do employers in some parts really salivate over
63.
by fnrslvr 8y ago
The burden is on the specifier of the compass and straight-edge algorithm to explain a reasonable mechanism for carrying out the steps exactly, to infinite precision. Without this, the procedure can only be expected to give a reliable appro
64.
by fnrslvr 8y ago
If key figures at the federal reserve didn't (don't?) believe in the self-regulating power of a free market, that's nice, but this article still seems to suggest that said belief is still alive and well among highly influenti
65.
by fnrslvr 8y ago
The media's fondness of using the term "algorithms" for the products of rigor-allergic ML practitioners breaks my inner algorithm theorist's heart. :(
66.
by fnrslvr 8y ago
If your FAANG research team employs just as many PhDs as non-PhDs, and we accept that there are a couple of orders of magnitude more non-PhDs in software engineering than CS PhDs looking for work in industry, then I don't rate my chanc
67.
by fnrslvr 8y ago
It seems to lead to the sort of situation where the only kind of success a poor kid can hope for in life is the kind where they get into the kinds of degrees that offer pay, whereas privileged rich kids have the luxury of getting to go into
68.
by fnrslvr 8y ago
As someone whose education straddled the four-pillars pure topics, mathematical foundations, and computer science, I share a bit of a wariness about AC with the constructivists, but I cannot let go of LEM. It's a big part of how I reas
69.
by fnrslvr 8y ago
Formal systems aren't just about mechanizing mathematical work to make it a subject of software engineering. (Though this is a useful and probably underdeveloped outcome.) They also turn mathematical work itself into mathematical objec
70.
by fnrslvr 8y ago
|\N| = |\Z| = |\Q^2457000| != |\R| isn't wondrous to you? Nor are space-filling curves? Or unmeasurable sets and paradoxes like Banach-Tarski? You don't see beauty in the proofs of Cantor's theorem (|S| < |P(S)| for all S)
71.
by fnrslvr 8y ago
In a world where it's taken for granted that, say, countable additivity over measurable sets will work work out fine, and is felt to be a different beast than arbitrary use of a separation schema plus a set of all sets, sure. But it to
72.
by fnrslvr 8y ago
Also, Scott Aaronson gets pulled into speculation on these things a lot, e.g. https://www.scottaaronson.com/blog/?p=3208
73.
by fnrslvr 8y ago
There's a lot of subjectivity to the "we can simulate the universe" variety of claim stated by the article, but I'd tend to forgive considerations of the scale of the entire universe in that claim. It should be obvious
74.
by fnrslvr 8y ago
Some combination of the holographic principle and the the information overhead of classically representing a quantum state? (I don't know, I'm not a physicist.) Surprised that the currently exponential overhead for simulating a qu