outlace

10 ms·

61.
by outlace 4y ago
ChatGPT and its relatives are very very impressive on first impressions, but I've been using ChatGPT-3 and now 4 heavily every day since they became available to individuals and once you start using them this much it becomes very clear
62.
by outlace 4y ago
"Lancet retracts 12-year-old article linking autism to MMR vaccines" < https://www.ncbi.nlm.nih.gov/pmc/articles/PMC2831678/ >. Even the Lancet makes big mistakes sometimes.
63.
by outlace 4y ago
Seems like many superchargers are already overcrowded with Teslas alone in my experience, so this will reduce the appeal of Teslas. The biggest advantage Tesla has and the main reason I chose it is due to its dedicated charging infrastructu
64.
by outlace 4y ago
I thought the "navigate on autopilot" feature was basically FSD but on highway only. But no, it just suggests lane changes that are dumb most of the time. Yes, I can only blame myself really, but I can't believe they would ev
65.
by outlace 4y ago
A bit tangential but I just got a Tesla Model 3 and paid $6,000 extra for “enhanced autopilot” buying into all the marketing about it, and its one of the biggest regrets of my life and makes me unable to appreciate an otherwise great car. I
66.
by outlace 4y ago
After some deliberation, I think this mostly makes sense and shouldn’t be upsetting. If someone discovers/invents something important but isn’t capable of communicating that new thing for whatever reason then no one else can benefit fr
67.
by outlace 4y ago
I see it noted that this could speed up machine learning inference, but any hope of this being extended to also speed up training? I imagine with 100x speedup in matmuls, albeit approximate matmuls, one could plausibly train on a CPU.
68.
by outlace 5y ago
I used to be against standardized tests, but I grew up as a low-income minority in a single-parent household and I ended up getting into good schools pretty much only due to my high test scores, which has been a life changer. Other than tes
69.
by outlace 5y ago
But Lean4 is in alpha stage and there are no official stable releases yet, of course it's not well-documented nor polished yet. Lean3 works perfectly well and has everything you need.
70.
by outlace 5y ago
I think it all comes down to the aesthetics and user experience. The Lean webpage is inviting and modern. Coq’s website looks like it’s from the 90s. Lean’s integration with Visual Studio Code is clean and user friendly. The language itself
71.
by outlace 5y ago
No proof assistants like Lean and Coq?
72.
by outlace 5y ago
Implementing this paper < https://arxiv.org/abs/1903.03129 > for a computer vision application.
73.
by outlace 5y ago
I recently started a relatively complex machine learning project in Julia 1.6 and it’s been great so far. Occasionally the youthful nature of the language creates minor issues (eg fewer answers on stackoverflow) but overall it really has d
74.
by outlace 5y ago
What if we mandate that all workers must get part of their compensation in the form of company shares so that if the company explodes in value, it's not just the executives that become billionaires and the workers are just still going
75.
by outlace 5y ago
“That said, GPUs are essential for training” http://learningsys.org/neurips19/assets/papers/18_CameraRead...
76.
by outlace 5y ago
I used to share the concern with overpopulation, but birth rates are often below replacement in developed countries. I now worry more about the long-term survival of humanity than I do about overpopulation. I expect all countries to eventua
77.
by outlace 5y ago
Where is cost of living in this analysis? In the Midwest you can still have a nice quality of life with any decent job. Yeah sure, you can’t have such things in SF, NY or LA like maybe you could in the 70s.
78.
by outlace 5y ago
Thats not true… in Lean you can restrict yourself to constructive math if you want to for some reason. Just that most actual mathematicians don’t.
79.
by outlace 5y ago
Highly recommend Lean theorem prover for programmers who want to self-learn some mathematics
80.
by outlace 5y ago
I can see how it could be interpreted that way. My first reaction was (if the claim is true) that must be cultural memes as the cause, as a genetic cause automatically was implausible to me.
81.
by outlace 5y ago
Pros and cons like anything but one big pro of corralling all the most productive and intelligent people together is the network effect that can have. Big things can happen when you get a bunch of really smart people together that wouldn’t
82.
by outlace 6y ago
Thanks for the correction!
83.
by outlace 6y ago
I wrote a series of blog posts about persistent homology and topological data analysis for absolute beginners as I was obsessed with it for some time: http://outlace.com/TDApart1.html
84.
by outlace 6y ago
It was never mentioned in the article so I just looked it up on Wikipedia, but Elliptic curve cryptography is not secure against future quantum computers.
85.
by outlace 6y ago
thanks for referencing Gell-Mann Amnesia. Never heard of it before but after looking it up it is quite compelling.
86.
by outlace 6y ago
Presumably severe includes some people who don’t need hospitalization. Some high risk patients can get new monoclonal antibody treatments that may prevent them from needing hospitalization. Some people are sent home from the ED with oximet
87.
by outlace 6y ago
I'm not getting much out of the visualization but if you click each topic it has a nice little lay-person summary which is great.
88.
by outlace 6y ago
After reading the whole article, it was not as scary as I first anticipated and kind of clever even (but I’m not endorsing it by any means)
89.
by outlace 6y ago
Great news. There are definitely a number of people out there who, in part due to social circumstances have difficulty taking meds daily and this will likely help a good proportion of them.
90.
by outlace 6y ago
This was a great read - I recommend reading it all the way through

More ›