sn9

38 ms·

631.
by sn9 3y ago
Have you read any of Hillel Wayne's stuff? He's got great articles on various formal methods approaches. https://www.hillelwayne.com/tags/formal-methods/ Check out the sub-topic tags for more. Or just sk
632.
by sn9 3y ago
Lots of mushy domains still have aspects of their foundations that are amenable to deliberate practice. For software engineers, problem solving with math and leetcode style questions can be trained in a deliberate practice style, as well as
633.
by sn9 3y ago
The circuit in my apartment that my wifi is on keeps flipping so my connection has been frustratingly intermittent. I've gotten more reading and cleaning done in the last week than I have in maybe years.
634.
by sn9 3y ago
They're not cheap, but they exist. https://www.coolmitt.com/
635.
by sn9 3y ago
Profit motive. Industries don't sacrifice profits for the public good. Just look at the fossil fuel and tobacco industries. That's one of the primary reasons we have governments. To solve issues like this.
636.
by sn9 3y ago
There was an explosion of processed foods that are less satiating while also being engineered to be hyper-palatable after WWII. The solution you're looking for would require legislating a ban on any food products that didn't exist
637.
by sn9 3y ago
Quanta articles are usually written by people with at least graduate degrees, if not PhDs in Math/Physics/CS/etc. They're without question one of the highest quality pop science publications around. That you had to reach
638.
by sn9 3y ago
Yeah there are a few more updates. You can check out the table of contents and preface here: https://pragprog.com/titles/tpp20/the-pragmatic-programmer-2...
639.
by sn9 3y ago
The 2nd edition came out a few years ago btw.
640.
by sn9 3y ago
If someone replies within a few minutes with a link to a study, you can usually just assume it doesn't even support their point unless they're actually a researcher in the field. It takes way longer even for experts to read and di
641.
by sn9 3y ago
They worked like direct links for me. No logins or anything.
642.
by sn9 3y ago
Of course it is. It's pretty common for students to fail a course and pass it or even master it later. You just have to put in the work. Finding the right resources absolutely helps as well. As does shoring up your foundational prerequ
643.
by sn9 3y ago
For SWEs, some combination of good personal finance practices and working towards being able to be hired at higher paying companies are probably your highest ROI activities.
644.
by sn9 3y ago
He has an ADHD playlist btw: https://www.youtube.com/playlist?list=PLYxtGyYUCbEGRw4WaKtjF...
645.
by sn9 3y ago
Beyond the benefits of actually proving you give a damn about work-life balance, I suspect mandatory minimums of 4+ weeks of PTO force organizations to structure/hire/work in a way that makes everything more robust since you need
646.
by sn9 3y ago
You probably want to check out the Zero to Production book which is about using Rust for back-end development. https://www.zero2prod.com/
647.
by sn9 3y ago
Lots of great suggestions here. I'll throw out a recommendation for The Little series of books (e.g., The Little Schemer , The Seasoned Schemer , The Reasoned Schemer , The Little Typer , etc.) The first book is all you need to g
648.
by sn9 3y ago
The aops books [0] will take you from prealgebra all the way to calculus and discrete math and will give you a foundation strong enough to enter any undergraduate math program in the world. And the books all have complete solutions manuals
649.
by sn9 3y ago
The recommendations on https://teachyourselfcs.com/ are all pretty high quality and canonical.
650.
by sn9 3y ago
I've noticed it as a pretty widespread phenomenon for anyone who has the subjective experience of being competent and thinking that's enough to translate to other fields. Super common in hot takes on politics, medical contrarianis
651.
by sn9 3y ago
For biology at least, my professors often said that by the time a textbook was published, it was 5 years out of date.
652.
by sn9 3y ago
Has math not changed because freshman calculus hasn't changed in the same amount of time? Judging a field by what's taught to freshman is a poor metric for progress on the frontier.
653.
by sn9 3y ago
But the people most in need of the intervention are also the ones least likely to take those muscle-preserving steps. And if you can get them to take those steps, the need for the drug decreases.
654.
by sn9 3y ago
This is true but it's still extremely well established that you lose some muscle along with fat if you're in a prolonged caloric deficit without sufficient protein and strength training.
655.
by sn9 3y ago
Peter Attia made a video recently using precisely that observation as the reason he avoids prescribing it except as a last resort, and only then when he can get patients to increase their protein intake and start strength training while get
656.
by sn9 3y ago
I see a lot of discussion here about quicksort as an alternative. If I'm understanding correctly, we're talking about sorting integers. Would something like radix sort not be more appropriate? Or is there a reason to still prefer
657.
by sn9 3y ago
Isn't the point of quicksort that the randomization of the pivot selection means that you're extremely unlikely to run into a pathological case for the specific pivot chosen? And perhaps even more unlikely if you permute the input
658.
by sn9 3y ago
A percentage of every pay check. Investing into index funds regularly is pretty much always gonna be a better investment strategy with higher returns and lower risk than hoping for an inheritance.
659.
by sn9 3y ago
With how easy investing in index funds is these days, that's no longer true. You can build wealth more reliably and cheaply with automatic transfers to a target date fund than hoping any given real estate market takes off.
660.
by sn9 3y ago
They're described in detail in the book reviewed in the link this entire thread is responding to.

More ›