Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
Koshkin
searching PlanetScale…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
37 ms
·
511.
▲
by
Koshkin
3y ago
Sounds like a terrible idea (in general). 1) Too many common words with differences in their pronunciation. 2) I imagine a heavily English-accented Spanish. "You must be from Spain." Yeah, right.
512.
▲
by
Koshkin
3y ago
The problem is that the word "any" stands for "random," or "arbitrary." It is not inconceivable that a scientist, say, would mix "random" substances together just to see what happens. But almost all s
513.
▲
by
Koshkin
3y ago
Trust has little if anything to do with knowledge. I know calculus not because I trust my professor. Trust no one, only yourself - after you have read the book, of course. What we are talking about here is a rather deep (and obviously confu
514.
▲
by
Koshkin
3y ago
What you are describing is not "any set of axioms." (Rather, it is a pre-existing concept.)
515.
▲
by
Koshkin
3y ago
Mathematics and Its History by Stillwell might give one a good idea.
516.
▲
by
Koshkin
3y ago
Not just particles, many things are (stars, animals, etc.)
517.
▲
by
Koshkin
3y ago
> I can make up any set of axioms Yeah, but that wouldn't be mathematics.
518.
▲
by
Koshkin
3y ago
A language is invented; mathematics is discovered.
519.
▲
by
Koshkin
3y ago
tbh I am yet to see concise C++ code
520.
▲
by
Koshkin
3y ago
In all fairness, it should be noted that, for better or worse, GA is not part of the mainstream; modern treatments use differential forms instead. For an accessible account, see, for example, https://www.jpier.org/ac_api
521.
▲
by
Koshkin
3y ago
You define, but the choice is in fact not quite arbitrary; rather, it is guided by something objective, i.e. by something that exists outside of your own mind.
522.
▲
by
Koshkin
3y ago
This makes no sense to you precisely because you think that mathematics is (only) a language. It's not. A language is invented; mathematics is discovered. In the US it's not called a science, but for all intents and purposes it in
523.
▲
by
Koshkin
3y ago
Indeed! (Numbers themselves lie at the foundation of Nature.)
524.
▲
by
Koshkin
3y ago
Nature doesn't care what (and how) we humans think.
525.
▲
by
Koshkin
3y ago
One of the well-known category theorists has said [0], > I’ve never succeeded in understanding the slightest thing about it. [0] https://golem.ph.utexas.edu/category/2010/08/what_is_the_lan... (Category
526.
▲
by
Koshkin
3y ago
Well, what I mean is that (to give you perhaps an extreme example) classical mechanics, while not "lacking experimental data," has for the last 200 years been effectively considered part of (applied) mathematics (known as "an
527.
▲
by
Koshkin
3y ago
Yeah, I have always wondered, though, how much physics is in the modern theoretical physics.
528.
▲
by
Koshkin
3y ago
Incidentally, The German Democratic Republic had a plural multi-party system. The largest by members and parliament seats were the Socialist Unity Party of Germany (SED), followed by Christian Democratic Union of Germany (CDU) and the Libe
529.
▲
by
Koshkin
3y ago
Not to disagree, but that’s what they were using.
530.
▲
by
Koshkin
3y ago
Yeah, this confused me, too, at first.
531.
▲
by
Koshkin
3y ago
"Slow" is relative, but I do remember how a Voodoo 2000 turned my 100 MHz box into a supercomputer!
532.
▲
by
Koshkin
3y ago
Like. Absolutely. Because communist dictatorship. Like China. With differences (and perhaps more freedom), but still.
533.
▲
by
Koshkin
3y ago
Well, Yugoslavia did cease to exist as soon as the "Soviet era" had ended.
534.
▲
by
Koshkin
3y ago
> Haven't heard of anything like that. (Speaking of ignorance.) The parent knows what they're talking about. "The people's democracies" was indeed the term that was customarily used within the Soviet block to i
535.
▲
by
Koshkin
3y ago
> uninspired attempts to copy American IBM PCs I fondly remember Bulgaria made Pravets, which was an excellent, high-quality clone.
536.
▲
by
Koshkin
3y ago
And the intelligent life will likely be bugs.
537.
▲
by
Koshkin
3y ago
> A meter * a meter should result in a liter A square meter... Anyway, I am all for the strong-typing on top of built-ins, but enums is not the answer.*
538.
▲
by
Koshkin
3y ago
One approach would be to have custom types (i.e. classes) so that you could write things in a type-safe manner: fobricate(type1(), type2(false), type3()); Here 'true' is the default. The only difference between these types
539.
▲
by
Koshkin
3y ago
> DOWN WITH BOOL! This is as silly as saying "down with the integers." (Boolean is a full-blown type that is richer than an enum in terms of the set of operations it supports.)
540.
▲
by
Koshkin
3y ago
It has all the parts...
More ›