pure-awesome

18 ms·

61.
by pure-awesome 7y ago
I quite like the blog https://qntm.org/ which has a minimalist design in this sense.
62.
by pure-awesome 7y ago
Dwarf Fortress values of Fun.
63.
by pure-awesome 7y ago
> It is especially tempting to name your first computer after yourself, but think about it. Do you name any of your other possessions after yourself? No. Your dog has its own name, as do your children. If you are one of those who fee
64.
by pure-awesome 7y ago
Beautiful! This joke has a very "XKCD" quality to it.
65.
by pure-awesome 7y ago
Paraphrasing, you said > There are engineers who can accomplish difficult engineering tasks when they are given clear requirements and engineers have the ability to find creative solutions when they are provided with problems and jobs ra
66.
by pure-awesome 7y ago
Calling something a "paradox" is statement about the map, and is relative to a person. I.e., something can be paradoxical to you but not to me. Calling something a "contradiction", on the other hand, is a statement about
67.
by pure-awesome 7y ago
It is possible to fall (essentially) forever without hitting the ground. In fact, the ISS does exactly that. In addition an object can be "in freefall" whilst travelling upwards. A ball thrown upwards begins "falling" th
68.
by pure-awesome 7y ago
I like that question! Hmm, I'd say to be a paradox, it needs to be so unexpected that it's an apparent contradiction. Merely slightly unexpected is not sufficient. "I did not expect you to arrive so early" is not a parad
69.
by pure-awesome 7y ago
The fact that stars appear close despite being incredibly far away, and the fact that the earth appears flat (and that we don't fall off) despite being spherical are both, indeed, paradoxes.
70.
by pure-awesome 7y ago
"Paradox" does not mean "contradiction", it means "appears to be a contradiction (at least at first glance) whether or not it actually is". This result is highly unintuitive to humans, and is hence a paradox.
71.
by pure-awesome 7y ago
I was thinking the same thing. I believe it's just easier for the average person to communicate three words than two multi-digit-precision numbers.
72.
by pure-awesome 7y ago
I've found the VS Code plugin for Microsoft's Lean Theorem prover to be quite nice as far as IDE support goes. https://leanprover.github.io/about/ https://github.com/leanprover/vscode-lea
73.
by pure-awesome 7y ago
This SMBC Comic comes to mind: https://www.smbc-comics.com/comic/2010-11-26
74.
by pure-awesome 7y ago
I've definitely seen the two-kitchen setup at the houses of some more well-to-do family friends. The kind of cooking done there will usually be only the final part of the meal, e.g., searing the steaks after the vegetables have been ma
75.
by pure-awesome 7y ago
I suspect "training" here was meant much in the same way the person in the following story "trained" their cat that they're entitled to food when they high-five: https://the-sky-traveler.tumblr.com/p
76.
by pure-awesome 7y ago
People would misspell it all the time, though.
77.
by pure-awesome 7y ago
I literally didn't realise there was a mistake until I read your comment. It's just two adjacent letters that have been swapped. I certainly understand how someone might read 'lanugage' and be thrown off by it, but I don
78.
by pure-awesome 7y ago
The purpose of OpenAI is to eventually lead to safe AGI. It's part of their core business purpose. Whatever they do with Machine Learning today is merely instrumental in leading up to that goal. We certainly cannot feasibly build AGI t
79.
by pure-awesome 7y ago
Also, wouldn't there be a tunnel all the way from the top of the building and through the person? People would wonder if a government agency wasn't using some sort of drone or satellite weapon to eliminate targets.
80.
by pure-awesome 7y ago
Yeah, from the title, it would have to be an invention that has saved the life of virtually everyone on earth. Perhaps something that prevented a nuclear apocalypse or the like. Or, at the very least, something that's saved the life of
81.
by pure-awesome 7y ago
Is a dark UX pattern not deceptive by definition?
82.
by pure-awesome 7y ago
Subtraction is not associative. One cannot just move parentheses around like that with numbers either: 5 - (2 + 3) =/= (5 - 2) + 3 The same holds for elements of a vector space.
83.
by pure-awesome 7y ago
Not the previous poster, but it seems "black" represents garbage truck whilst "green" represents recycling. The argument they were making is if your garbage weren't going to a recycling plant, it would be going to a
84.
by pure-awesome 7y ago
I had a realization the last time we had a fire drill: It wasn't scheduled, so when the alarm went off, we all looked at each other for a few moments like "is the siren just on the fritz or should we walk out?" After awhile w
85.
by pure-awesome 7y ago
Rough. Good luck! ;-) I just re-read Ra, which is amazing. Found it much easier to follow than the (equally amazing) Fine Structure. https://qntm.org/ra
86.
by pure-awesome 7y ago
Reminds me of this: "We had a unit test once which only failed on Sundays" https://qntm.org/unit
87.
by pure-awesome 7y ago
Oh! Thank you! The comment makes a lot more sense now! The newlines also helped, by the way, because I was wondering what putting the two numbers next to each other was meant to indicate.
88.
by pure-awesome 7y ago
Is consciousness a necessary component for AGI, though?
89.
by pure-awesome 7y ago
Just making sure you're aware of the discussion around Ghostery that's happened here on HackerNews, so you can make an informed decision: https://news.ycombinator.com/item?id=15969525 https://news.ycomb
90.
by pure-awesome 7y ago
> A few months back we introduced a game. > We created a topic on our development Discourse instance. Each time the test suite failed due to a flaky test we would assign the topic to the developer who originally wrote the test. Once f

More ›