daxfohl

45 ms·

781.
by daxfohl 4y ago
Newton added "indigo" to the rainbow because of an occult belief in numerology and a divine purpose of the number 7. We all have our faults.
782.
by daxfohl 4y ago
Yeah, the most depressing part of my job is when I have to calculate the SLO metrics for our directors. The first pass of stuff we control is always way within SLO. Then we have to subtract stuff where some third party messes up, or like th
783.
by daxfohl 4y ago
So to solve physics, you don't just have to be smarter and more creative than Einstein, but than Einstein and Godel combined.
784.
by daxfohl 4y ago
I meant it seriously though. Unless you're a deep expert at something, most likely you're just going to use Java to hook into that thing's SDK or whatever. OP didn't come across as someone who was trying to learn PhD-lev
785.
by daxfohl 4y ago
I fully expect this to be a guy spouting stories in the hopes of getting laid. But, it could all be true. The level of detail is pretty convincing, not something you'd make up on the spot. So I am actually happy some congress people ar
786.
by daxfohl 4y ago
Whatever you're interested in, learn it deeply and then you'll have an edge to get paid for the thing you want to do. "Skills" don't really give you an edge at anything. You're expected to learn those on the jo
787.
by daxfohl 4y ago
Java
788.
by daxfohl 4y ago
Is the experience here much different from Idris? The latter was more a language that can also be used for proofs, whereas Lean came out of a proof assistant. Does that lead to much difference in use, or do the approaches essentially conver
789.
by daxfohl 4y ago
One difference I see is Lean uses type classes while Idris uses implicits. Can anyone comment on the pros and cons of that decision? (Or pros and cons between the two languages in general?) It also seems that Idris was created as a general-
790.
by daxfohl 4y ago
Dumb question: would wearing a seatbelt help? (assuming the chair is fixed)
791.
by daxfohl 4y ago
I'm curious how cloud they are. Maybe they have an advantage by starting after the maturity of cloud platforms, using the latest and greatest, and avoiding all the redesign cycles? Or maybe they don't cloud at all and that is thei
792.
by daxfohl 4y ago
Summary of causes per the article: treatments delayed due to covid coming back to haunt, out-of-practice immune systems, provider burnout, all of which should normalize in time. The tone of the article doesn't match that of the title.
793.
by daxfohl 4y ago
Yes this is what I meant. The way Azure does it is kind of nice (to me at least, as an ex member of ARM) because ARM can generically check access just by the URIs. The downside though is that the URI also includes the subscription and tenan
794.
by daxfohl 4y ago
I was expecting a blockchain that runs on a quantum computer.
795.
by daxfohl 4y ago
Pretty much this. I was very anti-REST back circa 2015-2017 when I started doing web dev. I was doing solo work and all my services were JSON-RPC (I can't remember whether that was an actual standard then or if I just rigged it). I was
796.
by daxfohl 4y ago
> If they are in fact retarded disproving them shouldn't be so hard right? Think of how stupid the average person is. Then realize that half of them are stupider than that. --George Carlin (I think)
797.
by daxfohl 4y ago
My partner signed us up. I'm skeptical. My understanding is they don't really know what to do with it but are trying various things. So not recycling per se, but using the scraps for other purposes, similar to how shredded tires c
798.
by daxfohl 4y ago
What _should_ Twitter have done? I see plenty of "nothing", so that's not interesting. But if there was a Blue, and surveys where you could see the opinions aggregated by, say, doctors with ivy league degrees, would that be u
799.
by daxfohl 4y ago
Oh that's interesting. All these years I never knew the quote was in direct reference to something else. Well anyway there are lots of other good nuggets in Middlemarch, hopefully _some_ of them original.
800.
by daxfohl 4y ago
Feel free to read DeLillo (obviously). I'm really curious what the fuss is about. I found the characters drab, the style uninspiring, the themes mundane. There must be something there but I didn't get it.
801.
by daxfohl 4y ago
Coding? I started contributing to google's quantum computing libraries last year (they did not create a wormhole) and now moving on to compiler development.
802.
by daxfohl 4y ago
I read Mason and Dixon and half of Gravitys Rainbow. Brilliant author but too dense and too, eh, Pynchony, for me. I liked Marquez best of that era. That said I've more or less stopped reading fiction, feel like after hundreds of attem
803.
by daxfohl 4y ago
Middlemarch is also my favorite classic novel. I didn't get anything out of Underworld (or White Noise). Don't understand why they're so acclaimed. Curious if you end up the same.
804.
by daxfohl 4y ago
So mathematically the relationship is actually cubic, of `d` minus a constant.
805.
by daxfohl 4y ago
I interpret it as meaning someone who goes way out of their way to feed hungry people on other continents but won't spare a penny for someone at their doorstep. Admittedly that could be way off.
806.
by daxfohl 4y ago
Middlemarch is also my favorite classic novel. So many good observations there. One of my favorite quotes, "But we all know the wag's definition of a philanthropist: a man whose charity increases directly as the square of the dist
807.
by daxfohl 4y ago
Writing code for what? Instead of writing code for e-commerce or whatever sites, why not just have AI tickle our pleasure centers directly and do just enough to keep us alive. Seems easier, and so much more efficient than writing code to ma
808.
by daxfohl 4y ago
I think he's just trying to eliminate the cultural barrier for marketing a Tesla pick up truck.
809.
by daxfohl 4y ago
+1 I was much happier using Dapper compared to EF. I figure if it's good enough to run stackoverflow, it's probably good enough for whatever I happen to be doing. The amount of open source in dotnet is great. (I think more than Ja
810.
by daxfohl 4y ago
This is my experience, having gone the route you're looking. Haskell (~6 month trial) was unproductive for me. Primarily the ecosystem is full of abandonware. Secondarily it lures you into spending way too much time refactoring stuff

More ›