Can you move to a city? This is what most people I know in this situation do. Though I had a great time getting a car and taking myself out for hikes, sauna / spa days, activities and parties in the east bay near SF. Great place for practicing being alone. I had to think about it like dating myself - where would I have taken a date for fun? Try a bunch of things and see what sticks and remember you can appreciate moments by yourself with this mindset and it's like 80% as good.
I appreciate your commitment to modernist capital-S Science here :) I'm familiar with how the field ought to work but after working in Andrew Gelman's lab for some years, also with how it can fail us. Here I think the researcher in question has had a much larger impact than you are allowing for. Here's a choice quote:
> Every single disease-modifying trial of Alzheimer’s has failed.
> The huge majority of those have addressed the amyloid hypothesis, of course, from all sorts of angles. Even the truest believers are starting to wonder. Dennis Selkoe’s entire career has been devoted to the subject, and he’s quoted in the Science article as saying that if the trials that are already in progress also fail, then “the A-beta hypothesis is very much under duress”. Yep.
The last thing I read about the link between amyloid-β accumulation and Alzheimer's was that the entire field was full of fake data ( https://www.science.org/content/blog-post/faked-beta-amyloid... ). In particular, even treatments that directly reduce amyloid-β in the brain did not restore cognitive abilities.
At least this paper tests both cognitive abilities as well as "amyloid-β pathologies." I'm not at all an expert in this field but gold nanoparticles sounds like something you'd see on a late night infomercial, lol.
The current law is more general; it’s the current policy’s consumer price heuristic that has become a bad approximation to the law. I like “The Economists’ Hour” on the topic.
I will say up front that I don't think the social good is worth what we are collectively paying for it, but I do think the market hours are a reasonable device. This is basically because there are humans involved and they need to sleep (Matt Levine has written about this).
If you want the best price, you need to have all of the market participants bidding together. Market hours serve as a coordinated period in which ~all market participants agree to be online and bidding.
Prices, thus, get stale overnight. But we assume that that is mostly okay, as business is normally conducted during business hours, and we assume that transactions can wait until the next day. ACH transfers take multiple days! (technically so do stocks, but that's mostly invisible to retail traders).
If you're a retail trader, I would caution you somewhat against trading after-hours; there is very little liquidity and it could cost you 100s of bps more.
> Unfortunately, the rethinking package which is a major component of the book itself depends on the V8 engine for some reason.
This is my fault, in a sense. In order to get the new Stan compiler (written in OCaml) distributed via CRAN (which requires everything to be built from source on its antiquated build servers), we decided to use js_of_ocaml to translate the OCaml compiler into javascript. See this thread for more details: https://discourse.mc-stan.org/t/a-javascript-stanc3/11044
When I posted that, I didn't really think we would end up using it.
I'm surprised to see this argument. Tooling and infrastructure are only as clean as the services they support. I don't think you get to wash your hands because all you did was build e.g. Palantir a giant database that's great for storing locations if you know customers will be assassinating political dissidents with it.
This did not hold up well, imo. Not sure how to count it but by some lists this is stuff like: Tencent, Alibaba, Amazon, Netflix, Priceline, Baidu, Salesforce.com, JD.com.
Others would include Uber/Lyft, Airbnb, GitHub, ...
There are only a few that would qualify that I can think of - Instagram, Snapchat, and WhatsApp.
If folks here have other examples or thoughts on why this does or doesn't hold true would love to hear them.
Curious if the author could comment on what Menhir is lacking, my estimation is possibly just the concrete syntax trees, though you could definitely emit an AST that has as much of that as you need to do the tasks the author mentions.
Be cautious using this article to try to learn anything. Differentiable programming is not actually related to deep learning; it's another word for automatic differentiation, a technique that is very important in deep learning implementations but useful for a variety of other tasks where having gradients available for arbitrary functions is useful.
The article is correct that "Differentiable Programming" seems to be a rebranding effort that I believe just helped automatic differentiation work from the machine learning world get published in Programming Languages journals. I wouldn't read too much into it.