ahelwer

78 ms·

931.
by ahelwer 7y ago
Yelp itself is roughly like this actually, a few large apartment buildings are on there. One of the places I used to live offered us a Starbucks gift card if we wrote a positive review.
932.
by ahelwer 7y ago
Would be useful to edit the title to note it is a YC company, as is convention.
933.
by ahelwer 7y ago
My favorite is the Natural Number Game: https://wwwf.imperial.ac.uk/~buzzard/xena/natural_number_gam... A series of levels where you prove ever-more-complex theorems in Lean, gaining each proved theorem as a tool
934.
by ahelwer 7y ago
Z3 is very different from Coq and Lean. Coq and Lean are interactive theorem provers, while Z3 is a satisfiability modulo theories (SMT) solver which can do things like checking whether a logical formula is satisfiable or finding a solution
935.
by ahelwer 7y ago
I tried learning Coq through the Software Foundations track a couple times and enjoyed what I did learn, but bounced off. If Coq made something similar to the Natural Number Game [0] I'd love to give it a go and see the differences! [0
936.
by ahelwer 7y ago
lol oops, fixed thanks!
937.
Doing a math assignment with the Lean theorem prover(ahelwer.ca)
141 points by ahelwer 7y ago|29 comments
938.
by ahelwer 7y ago
It doesn't sound like a particularly tall order to me. Also, the alternative isn't opening up - which is utterly psychopathic and would kill millions - but continue in lockdown until a vaccine is developed within two years.
939.
by ahelwer 7y ago
It is impossible to reopen without Taiwan-style temperature checks & mask requirements outside buildings, contact tracing, large-scale testing, and quarantine enforced by penalty of law (with corresponding support systems - get the poli
940.
by ahelwer 7y ago
Have you ? That book was about how the pro-corporate media portray various regions & people so as to drum up support for war. This situation is roughly the opposite of that.
941.
by ahelwer 7y ago
The quote from Zapolsky is especially funny, because it exactly follows the PR strategy outlined in the leak notes the paragraph prior. What an incredibly fake, dishonest person. Not really the best candidate to be calling a union organizer
942.
by ahelwer 7y ago
Any book purporting to explain why the west was so successful without including the practices of colonialism is just utterly without merit, sorry. Enormous transfer of wealth and resources from the rest of the world are very handy.
943.
by ahelwer 7y ago
In the article they explicitly talk about this, the technical term is that it is spread by aerosols (basically, smaller droplets) in addition to droplets. This is similar to TB, which generally requires patients to stay in negative pressure
944.
by ahelwer 7y ago
lol this whole thread reminds me of the first time I dated a medical resident, carrying myself with similar confidence seen here, and quickly realized (after pissing them off with intensely ignorant statements a few times) I knew absolutely
945.
by ahelwer 7y ago
What you're missing is that both political parties in the states are beholden to capital interests, and so the reason "we" can't let them go bankrupt is it would work against those interests. This isn't a conspiracy
946.
by ahelwer 7y ago
They edited their comment after I wrote mine. It would have been much more polite for them to reply. Let's dispense with the requirement that I provide you with a comprehensive legal framework that would nicely sort all countries into
947.
by ahelwer 7y ago
Forcing colonialist countries to return their ill-gotten wealth is nothing but justice. If you live in those countries your affluence is built on a history of appalling human suffering. Saying it's all water under the bridge is just tr
948.
by ahelwer 7y ago
I don't think this is a problem. The greatest concentration of wealth in this cycle has been around mass surveillance & behavior modification. Gone are the days of Google viewed naively as some happy-go-lucky do-no-evil org. We are
949.
by ahelwer 7y ago
I'm going to level with you, also as a Canadian living in the US, this list of behaviors reads like something you'd come up with if you spent all day inside consuming local news. Lockdown seems to be working just fine in Seattle.
950.
by ahelwer 7y ago
I was going to speculate that the wikipedia user was inspired by xkcd's "citogenesis" comic [0] but that was published in 2011 [1] while the edit happened in 2009. [0] https://xkcd.com/978/ [1] https:&#
951.
by ahelwer 7y ago
Nothing is bulletproof, all we can do is take actions to reduce probability of transmission and the actions chosen should target the greatest drivers of transmission. I am not aware of any studies but on the other hand it would be incredibl
952.
by ahelwer 7y ago
Yes, infected individuals are infected individuals. We are talking about asymptomatic spread. It can be difficult to tell whether you have symptoms or it's just a particularly bad pollen day. For this reason quarantining known-infected
953.
by ahelwer 7y ago
The method of infection matters. Singapore and Taiwan have done amazingly well specifically because they enforce quarantine of infected individuals along with various levels of testing to identify those individuals, for example people hav
954.
by ahelwer 7y ago
I will here simply point you to the countries which have had great success combating this epidemic, such as Singapore and Taiwan. They exercise strict quarantine of infected (note, not uninfected) individuals plus contact tracing.
955.
by ahelwer 7y ago
This is still up in the air. The WHO says that, while there are documented cases of pre-symptomatic transmission, it is not the main driver of infection like with the flu, see: https://www.who.int/dg/speeches/detai
956.
by ahelwer 7y ago
I could believe this is it! Looks somewhat familiar in the internet archive, although things get hazy since this was nearly 20 years ago: https://web.archive.org/web/20040624143153/http://www.amazin...
957.
by ahelwer 7y ago
I think this might be it! And yes, I think it was also Popular Science in which I saw the ad. What a blast from the past!
958.
by ahelwer 7y ago
This made me recall some wild online catalog website from the early 2000s that was primarily known (and advertised) for hoverboard sales, where the hoverboard was basically a small noisy gas-powered rectangular hovercraft you could stand on
959.
by ahelwer 7y ago
Bankruptcy doesn't mean the company's assets are thrown in the trash. It just means the current equity & bond holders get rinsed. Other presumably smarter people can then come in and run the company.
960.
by ahelwer 7y ago
Everyone and their dog went to go refinance their mortgage after the first rate cut, might explain the rates going up.

More ›