Koshkin

10 ms·

151.
by Koshkin 2y ago
The “moral entitlement” has nothing to do with this. The software is legally required to abide by its license agreement (which, by the way, you are supposed to have read, understood, and accepted prior to using said software).
152.
by Koshkin 2y ago
Makes perfect sense…
153.
by Koshkin 2y ago
> ”do” and “done” “do” and “od” IIRC
154.
by Koshkin 2y ago
That’s why I like Ada (and VHDL). Somewhat verbose, perhaps, but much more readable than more “modern” languages.
155.
by Koshkin 2y ago
And let’s not forget, so was FORTRAN. (Programmers coded in Assembler back then.)
156.
by Koshkin 2y ago
At least these are not banned, as the ICEs no doubt will be in 11 years...
157.
by Koshkin 2y ago
Did you mean that they are basis functions for irreducible representations of SO (3)?
158.
by Koshkin 2y ago
I have heard about an object-oriented assembler (never seen one, though).
159.
by Koshkin 2y ago
> It is just a convention that a bunch of standard library That’s not true, this representation of strings (in the form of a literal) is built into the language itself.
160.
by Koshkin 2y ago
> I will never understand why C keeps Well, I, for one, do like the idea of C (in contrast to D or C++) still being sort of the lowest-level high-level programming language - one that's just a notch above the assembler.
161.
by Koshkin 2y ago
It's just that the "traditional" implementations of the operations on C strings (strcat etc.) are considered unsafe - which they are, strictly speaking. (But, to be fair, I haven't ever had problems using them, either.)
162.
by Koshkin 2y ago
Limbo has been taken (as the name of a language), so this should be SQuaLor or something...
163.
by Koshkin 2y ago
Then maybe a unikernel such as Nanos would work better for your use case. https://nanos.org/
164.
by Koshkin 2y ago
A low-overhead environment like this must be perfect for HPC applications, i.e., when you want to use a computer in its primary function (to perform calculations, as fast as possible).
165.
by Koshkin 2y ago
Dijkstra would disagree.
166.
by Koshkin 2y ago
> Computers… Software - in the broadest sense… Speaking of the broadest sense. An obligatory quote from Dijkstra: “Computer science is no more about computers than astronomy is about telescopes.”
167.
by Koshkin 2y ago
In physics research, things are discovered. In engineering, things are (mostly) invented. Mathematics can be thought of as a combination of those. There are “physical” parts (think of facts of Euclidean geometry) and “engineering” parts (e.
168.
by Koshkin 2y ago
> seriously How seriously though? Also, the priniples behind GPUs and their use - unlike maybe their physical realization - have not changed much since 2011. (See Chapter 4.)
169.
by Koshkin 2y ago
That, &c.
170.
by Koshkin 2y ago
Also, morphisms from A to B form a set.
171.
by Koshkin 2y ago
No (if the parent really meant ‘compiler compiler’ which, I think, would be what yacc/bison is).
172.
by Koshkin 2y ago
> integrates Emacs and Guile by providing a new Elisp implementation based on Guile's Lisp-oriented compiler tower and runtime environment I am hoping Guile the language (scheme) also will be supported alongside elisp.
173.
by Koshkin 2y ago
By Gödel's first incompleteness theorem there are true statements that cannot be proven (without adding new axioms).
174.
by Koshkin 2y ago
From today's perspective, sending people to Mars will be, more than anything, part of a new space race.
175.
by Koshkin 2y ago
Someone should get fired for discontinuing ifort...
176.
by Koshkin 2y ago
It is also useful to know all alternative definitions, if any exist (they often do).
177.
by Koshkin 2y ago
That is why we have category theory and homological algebra. https://en.wikipedia.org/wiki/Abstract_nonsense
178.
by Koshkin 2y ago
"Young man, in mathematics you don't understand things. You just get used to them." - John Von Neumann
179.
by Koshkin 2y ago
Solving problems (and trying to invent proofs) is indeed the way to enjoy math.
180.
by Koshkin 2y ago
Indeed; Haskell is purely functional, and Category Theory is nothing but a purely functional language of mathematics.

More ›