deanmen

64 ms·

61.
by deanmen 5y ago
Vatican City
62.
Wristwatch containing an atomic clock (2014)(hodinkee.com)
5 points by deanmen 6y ago|0 comments
63.
by deanmen 6y ago
There is an actual atomic clock watch on the market that is a little bit smaller: https://www.hodinkee.com/articles/introducing-the-bathys-ces...
64.
by deanmen 6y ago
https://imo-grand-challenge.github.io/ For the challenge, they give the AI a formal representation of the problem in Lean. To remove ambiguity about the scoring rules, we propose the formal-to-formal (F2F) variant of the IM
65.
by deanmen 6y ago
He got kicked out of the building where he was doing his internship for changing the screensaver on the computer they were using to watch the training session. electrical engineering high school might mean the German "Hochschule",
66.
by deanmen 6y ago
If he keeps one copy at home and one copy at the office, he could get done reading faster than if he left a single copy in one place and only read it at that place.
67.
by deanmen 7y ago
Article without paywall https://pastebin.com/gDBDdTB6
68.
by deanmen 8y ago
Some people use the archaic spelling "shew" but only the senses "to prove or demonstrate". Or again in mathematics "rng" to mean a ring that does not necessarily have an identity. Or "iff" to mean &
69.
by deanmen 8y ago
According to WorldCat Library search it's not even in libraries other than Library of Congress and "College of Western Idaho". So it is probably not popular enough to be uploaded to a pirate site either. In fact it just cam
70.
by deanmen 8y ago
That study is disputed: http://dvorak.mwbrooks.com/dissent.html Moreover, people in modern times have attempted to create improved keyboard layouts (e.g. BEPO, Coleman) which are also better for typing Unix commands, sugges
71.
by deanmen 8y ago
The bigger x-height seems to make it a bit more readable. However, generally professors allow Palatino instead of Times even when measuring length requirement by page; unmodified Palatino is also wider but more aesthetically pleasing, and
72.
by deanmen 8y ago
Sorry, I must have misremembered and thought they said "no coding" instead of "no programming". But people would probably call such a usage a lie if it is intended to mislead even if strictly speaking it isn't.
73.
by deanmen 8y ago
Lying always being unethical is actually a relatively standard idea in classical ethical theories e.g. Summa Theologica, Question 110, Article 3. However, the statement that the class involves "no coding" could be considered trut
74.
by deanmen 8y ago
It could be considered a non-lie under the concept of mental reservation. In older usage, coding a computer meant writing assembly or machine language only; thus, a report on FORTRAN indicates that "FORTRAN virtually eliminates coding
75.
by deanmen 8y ago
In older use, "coding" meant only assembly and machine language programming, which would be a separate process from writing a high-level algorithmic version. A paper on FORTRANS claims that it will "virtually eliminate codin
76.
by deanmen 8y ago
How would you distinguish a performance based on the public-domain Bach-Gesselshaft Ausgabe from one from a different score? Also I don't think Sony prints editions of classical texts.
77.
by deanmen 9y ago
It's the textbook for a course calls "Mathematics for Computer Science" at MIT. Linear algebra is a separate course (18.06 or 18.700).
78.
by deanmen 9y ago
You have to pay U.S. taxes on worldwide income. The U.S. is the only country that does this, though.
79.
by deanmen 9y ago
Content seems to be in Larson, Elementary Linear Algebra and also in Complex Variables and Numerical Methods (GTU 2016) By Ravish R Singh, Mukul Bhatt
80.
by deanmen 9y ago
exponentiation be repeated squaring, multiplication by shift and add, then addition by subtraction "x - (- y)" or concatenating strings of the appropriate lengths (use printf in c), or bitwise operations
81.
Paperclips: an idle game(decisionproblem.com)
3 points by deanmen 9y ago|0 comments
82.
Othello in BASIC(github.com)
2 points by deanmen 9y ago|1 comments
83.
A Russian Teacher in America [pdf](faculty.utrgv.edu)
2 points by deanmen 9y ago|0 comments
84.
by deanmen 9y ago
Canada has the same coin denominations as the US, except that it has now eliminated the penny.
85.
by deanmen 9y ago
They meant to put e.g.
86.
Z-machine (infocom) interpreter in Go(msinilo.pl)
16 points by deanmen 9y ago|0 comments
87.
Automated trains(en.wikipedia.org)
2 points by deanmen 9y ago|0 comments
88.
by deanmen 10y ago
You can sail around a torus.
89.
How to fit a large program into a small machine (1980)(mud.co.uk)
3 points by deanmen 10y ago|0 comments
90.
Goats know what their friends sound like(sciencemag.org)
3 points by deanmen 10y ago|0 comments

More ›