Smaug123

64 ms·

901.
How to identify your personal strengths(80000hours.org)
1 points by Smaug123 5y ago|0 comments
902.
by Smaug123 5y ago
It's not about a disparity as such. I've had great pairs who I'd say are about equally "good" as me (if one must project to a 1d scale), but who have complementary skills to mine.
903.
by Smaug123 5y ago
Well, Slate Star Codex and its sidebar of ads was a good counterexample. I would routinely click through to find out more, because its ads were a) aesthetically pleasing (they had a consistent style, for example) and b) highly relevant to m
904.
by Smaug123 5y ago
Well, it's explicitly stated that productivity is not their top priority, right? "We’ll move to a hybrid work week where most Googlers spend approximately three days in the office and two days wherever they work best." That&#
905.
by Smaug123 5y ago
The author does specifically list "planting trees", so presumably yes? > If we’re going to capture 10 GT of CO2 a year by planting trees, how much water will we need to irrigate them?
906.
by Smaug123 6y ago
I have a horrible feeling I'm Jew-splaining here, but I absolutely love the story and want to give more context for people who don't know it. Your anecdote is the last in a series, describing a debate between Rabbis Eliezer and Jo
907.
by Smaug123 6y ago
Vomiting out some concepts: "boosted", "again", "highlight", "resub", "encore", "restored"?
908.
by Smaug123 6y ago
Re your melatonin comment: just to check that you tried a dose of around 0.3mg/day rather than the enormous overdoses it's much easier to obtain?
909.
by Smaug123 6y ago
Sadly I don't have "my own programming language", and even if I did, I think this is an unsolved problem in language design :P Interesting question, though; I'll think about it.
910.
by Smaug123 6y ago
Even better! (I merely stated two treatments I knew of which were found to be effective well after the point when we were making ventilator-related decisions. I am doubtless unaware of many more.)
911.
by Smaug123 6y ago
Re ventilators specifically, remember that we had basically no treatment for severe Covid last March. The best we could do was sedate you, force air into your lungs, and hope for the best. Now we know that dexamethasone helps in severe case
912.
by Smaug123 6y ago
Though I will continue to claim that quotient types should belong in the list but aren't - even in Cubical Agda that problem's not really solved! If you don't have an easily-computed canonical form for your equivalence classe
913.
by Smaug123 6y ago
By the way, you have a large number of bugs here if you're trying to solve the famous real-world problem. What about 3 or 5 or 9?
914.
by Smaug123 6y ago
I still remember Gowers doing a live problem-solve as a lecture on what he calls "splitting questions" (that is, a sub-question whose resolution would ~halve the search space for a proof). He was given an unseen IMO problem and tr
915.
by Smaug123 6y ago
Google Trends: "proctor" is dramatically more common than "proctologist". I'd go so far as to say you're objectively wrong. https://trends.google.com/trends/explore?geo=US&q=proctor,pr.
916.
by Smaug123 6y ago
Indeed, it's pretty normal, though it's usually not at the rate you'd extract from a formal lodger. https://www.onefamily.com/talking-finance/finance/should-you... > According to a survey by My J
917.
by Smaug123 6y ago
VS for Mac is becoming an actual native app in the upcoming VS 2022, so progress is at least being made there!
918.
by Smaug123 6y ago
Under Georgism, you have the right to all the property you want. It just classes land as (I think?) the only thing which is "not property".
919.
by Smaug123 6y ago
A shot in the dark here, but I assume you own land? ;)
920.
by Smaug123 6y ago
That's what Georgism is about: fully separating those two concepts. The land is valuable because of the community; the property is valuable because of its owner. So under Georgism, all land is held under common ownership, with the
921.
by Smaug123 6y ago
What, then, makes Maine's trees so peculiarly bloodthirsty?
922.
by Smaug123 6y ago
Hence "from a certain point of view" - I would argue, in fact, that it's extremely similar to the sense in which 3 doesn't have a type in Go. Haskell's type system can express that sense, whereas Go's can'
923.
by Smaug123 6y ago
It doesn't have a type in Haskell, from a certain point of view. `3` is polymorphic. Prelude> :t 3 3 :: Num p => p
924.
by Smaug123 6y ago
Primo is an actual name in Italian; the others have fallen (more) out of fashion, but certainly Quintus, Septimus and so on used to be perfectly reasonable Latin names.
925.
by Smaug123 6y ago
Porque no los dos? Allowlist the languages you understand, also allow manual entry for the languages you don't? Seems like the obvious solution.
926.
by Smaug123 6y ago
One of the big reasons Project Euler is so brilliant is that every problem is formulated so that you can do it in any language. (I've introduced myself to about six languages this way, none of which you support yet.) What drove the dec
927.
by Smaug123 6y ago
Oh, amazing - I knew the name in a "that rings a bell" way, and I knew what Project Xanadu was, but I didn't realise they were linked! Thanks :)
928.
by Smaug123 6y ago
Andy Matuschak pointed out on Twitter that this paper from 1965 has a jaw-droppingly beautiful title, but then I read it and it's actually fascinating. It's an exploration from the idea of the memex, as imagined before personal co
929.
A File Structure for the Complex, the Changing, and the Indeterminate [pdf](andymatuschak.org)
79 points by Smaug123 6y ago|28 comments
930.
by Smaug123 6y ago
Discussed ad nauseam recently: https://news.ycombinator.com/item?id=26713827 https://news.ycombinator.com/item?id=26723399 https://news.ycombinator.com/item?id=26724237 https://n

More ›