a-nikolaev

7 ms·

31.
by a-nikolaev 5y ago
For Russian-speaking people, one interesting investigation of Dyatlov incident is ongoing here: https://www.youtube.com/channel/UCDZTS1BXsSHUkZeVK5T1q7w/fea... - The author is an artist who is looking for anatomic
32.
by a-nikolaev 6y ago
Yeah, but what you are saying now is more like that academic/professional non-philosophers are easier to reach an agreement on particular philosophy-adjacent questions from their field of expertise. Yeah, this is totally possible, but
33.
by a-nikolaev 6y ago
Well, as if non-academic internet? philosophers are better at agreeing or reaching any form of truth. I'm very skeptical about that.
34.
by a-nikolaev 6y ago
Roq sounds like a great name.
35.
by a-nikolaev 6y ago
I think, you could also write Elliptic_curve_pt.Num_syntax.( (g ^ x) ^ y = g ^ xy ) instead of let open Elliptic_curve_pt.Num_syntax in ...
36.
by a-nikolaev 6y ago
Yep, you can learn programming in any OS. (OS is mostly orthogonal to programming itself really.) Especially if you are using something popular like Python that is available for almost any platform.
37.
by a-nikolaev 6y ago
a lock-in is a lock-in, even if with free software, it incurs certain costs on you, even if it provides convenience.
38.
by a-nikolaev 6y ago
Emacs is its own ecosystem, you either buy it all, and grow to use it more and more, or don't get to use it all. So in a way it separates itself from the rest of Unix ecosystem.
39.
by a-nikolaev 6y ago
A healthier approach is to have a separate non-Emacs app that can do symbolic integration, which can be run seamlessly from within Emacs. Otherwise, with all its extensions Emacs starts giving the impression of an Apple-like walled garden,
40.
by a-nikolaev 6y ago
Yeah yeah, I agree. But, I think, the thing is that once you start making so many carefully made assumptions what is and isn't happening, then the nice parable format falls apart quickly.
41.
by a-nikolaev 6y ago
But they can observe that Alice always wins when playing against Bob. (If they somehow can determine that one player is black and the other is white, they probably can also distinguish the players as well?)
42.
by a-nikolaev 6y ago
Chess must be a "beauty contest" then. Seriously, a model that can predict things better than a coin flip will be more scientific. Even if it utilizes something that is somewhat hypothetical / not immediately observable. Say,
43.
The anatomy of the modern window manager (2019) [pdf](cs.ru.nl)
4 points by a-nikolaev 6y ago|0 comments
44.
by a-nikolaev 6y ago
I have lecture notes for the intro programming course I taught a few years ago: https://a-nikolaev.github.io/cpp-spring-2015/ It is actually in C++, but the goal was to cover C features first as the foundation, before
45.
by a-nikolaev 6y ago
I wish Wolfram used help of a Russian-speaking editor, but the material makes up for the small errors he makes.
46.
by a-nikolaev 6y ago
Maybe the idiosyncratic BS of C++ is what's hard to express in a saner language? If someone only used hammers all their life, then they will say that a microscope is a bad hammer, which is kind of true =D
47.
by a-nikolaev 6y ago
And that Fortran on average was pretty bad. Any language that requires certain level of discipline will have hard time to be adopted at a large scale. And this is why Python, R, and "C/C++" are still the best friends for most
48.
by a-nikolaev 6y ago
Can you provide an example where a smart contract needs unbounded loops or unbounded recursion? Do you really need Turing completeness to begin with?
49.
by a-nikolaev 6y ago
Yeah, there is a lot of interesting symbols to use.
50.
by a-nikolaev 6y ago
Many math papers do use weird LaTeX characters [1], for example Halloweenmath [2]. And even though it does not look like there is a shortage of symbols for writing math, emoji can be used too, just be tasteful about it. [1] http:/&
51.
by a-nikolaev 6y ago
Reminds me of the "DIY lay-down desk" https://blog.luap.info/drafts/i-built-a-lay-down-desk.html
52.
by a-nikolaev 6y ago
I played Russian accordion with this type of a layout (EDIT: not the same as chromatone, which uses https://en.wikipedia.org/wiki/Jank%C3%B3_keyboard ), and I think it is superior to the piano keyboard. But the piano l
53.
by a-nikolaev 6y ago
The author confuses the value of elegance in scientific research and scientific correctness. Many scientists like to drink coffee when doing their research, and it helps. But we don't judge their theories on the basis of whose coffee w
54.
by a-nikolaev 6y ago
Look, elegance and beauty can be used at the search stage, when looking for a better model describing reality: - Can I make this equation simpler? - Can I make this model more general? - Can I make the formulas easier to deal with
55.
by a-nikolaev 6y ago
There are mathematical formalisms (like possibility theory http://scholarpedia.org/article/Possibility_theory - this article seems to be better than in Wikipedia) that allow making decisions based on the relative likel
56.
by a-nikolaev 6y ago
Would be interesting to see how Ranked programming relates to Possibility theory https://en.wikipedia.org/wiki/Possibility_theory EDIT: There is actually a short discussion at the end of the PDF on ranked programming:
57.
by a-nikolaev 6y ago
The number of users is not a metric that makes something Nobel prize-worthy. The exaggeration of the comparison with left-pad is to make this point more clear to you ~~ if you cannot see it yourself, it's sad. Also, going with "fu
58.
by a-nikolaev 6y ago
If it is safe 99.98% of the time, 0.01% you get Onagawa, and 0.01% you get Fukushima, the new data point does not make the whole picture look safer. We are talking about a system that is mostly safe, but with a non-negligible probability of
59.
by a-nikolaev 6y ago
Nuclear energy is still dangerous. For example, it is still not safe against possible natural disasters (Fukushima), as well as from possible terrorist attacks. Imagine a 9/11 type of accident with a nuclear plant as its target. Potent
60.
by a-nikolaev 6y ago
oh friend, say no more, how about left-pad? https://www.npmjs.com/package/left-pad

More ›