alimw

28 ms·

121.
by alimw 5y ago
An astonishingly cynical ad, made in the hope that people only half-remember the original line.
122.
by alimw 5y ago
There is a tactic (in Lean) called library_search. I'm not sure it's as smart as you'd like? But it is useful. https://leanprover-community.github.io/mathlib_docs/tactics....
123.
by alimw 5y ago
I have run weeks-long computations in a Jupyter cell! The only issue was with OSX updates-- I disabled those.
124.
by alimw 5y ago
Hi! Imagine for a moment that your next project required you to develop a lot of functional analysis and PDE theory in Lean. Would you be tempted to build that on top of what you've done (or will have done) with condensed sets?
125.
by alimw 5y ago
This turns out to be a review paper by the same authors which only mentions the model I wanted to criticise. It's unlikely that one of the original papers will ever turn up on HN though! I was surprised to see this. As I recall they be
126.
by alimw 5y ago
These guys' models can have multiple solutions. To me, that would indicate a problem with the model. But they are happy enough just to select the most optimistic solution.
127.
by alimw 5y ago
> affects everyone who gets vaccinated, not just researchers. If you understood my comment to stand in opposition to that obvious statement, then I'm not surprised its logic escaped you. Or are you just indulging in pointless rhetor
128.
by alimw 5y ago
Unless you are a researcher in the field, there are certainly more important things for you to be worrying about. Just get a vaccine, any vaccine.
129.
by alimw 5y ago
That would be true if one knew in advance which books one was going to invest a lot of time and effort in.
130.
by alimw 5y ago
You got me looking for pantomime statistics in recent years :) Perhaps they're hard to find or perhaps I didn't try very hard, but the best I could come up with was this from 2013: > Terri Paddock, Managing and Editorial Direct
131.
by alimw 5y ago
I would like to point out to the casual reader from elsewhere that the comments in this thread refer to a Britain of the past. A nation's sense of humour evolves rather quickly.
132.
by alimw 5y ago
Well we know the people who lose significant money will be a strict subset of people who are greedy. Maybe that's a good thing? More seriously, study after study has shown that unless you take the fundamentals into consideration there
133.
by alimw 5y ago
When it began it was worth nothing and when it ends it will be worth nothing. Zero sum.
134.
by alimw 5y ago
As a game theorist I find your description utterly impenetrable :)
135.
by alimw 5y ago
In fact working as a quant does not automatically confer the sort of broad understanding most valuable in high-level discussion. (I was a quant then an academic.)
136.
by alimw 5y ago
Is it called that because u looks a bit like μ? How is it pronounced?
137.
by alimw 5y ago
The WHO campaign of the late 50s and early 60s very nearly did eradicate malaria globally. Unfortunately, for people living today in those parts of the world where it has resurged, a miss is as good as a mile.
138.
by alimw 5y ago
Not for the Damien Hirst retrospective?
139.
by alimw 6y ago
I imagine it was bought with money.
140.
by alimw 6y ago
If a truly ingenious method exists, probably best that nobody knows about it! Thankfully the current crop of would-be American dictators doesn't look smart enough to figure one out for themselves. (Brute force remains an option.)
141.
by alimw 6y ago
Don't forget as well when he lied about having a buyer for Tesla causing share prices to jump.
142.
by alimw 6y ago
So why is Elon Musk still walking around a free man?
143.
by alimw 6y ago
Olle Peters has been pushing this for years. Economists are still working.
144.
by alimw 6y ago
What sort of monk? I often flirt with the idea too. It's a better plan than prison for sure!
145.
by alimw 6y ago
I think this is the same trick I eventually (too late) found to make my model tractable assuming a bivariate Normal. It certainly hadn't been my first instinct to consider rate of change with respect to correlation.
146.
by alimw 6y ago
Surely it's illegal to organise like this? It's probably true that Wall Street firms sometimes collude to manipulate the market, but I assume they'd be in trouble if they got caught...
147.
by alimw 6y ago
> Instead of filing massive law suits, why doesn't Dominion attempt to prove, without a shadow of a doubt, that the machines were _not_ biased Well now they'll have to do exactly that in a courtroom. I can't think of a bet
148.
by alimw 6y ago
> Cases have already started to level in London. Lockdown has been implemented too late to make any significant difference to that. This is a common claim and I have seen it made about various periods of lockdown in various countries. &q
149.
by alimw 6y ago
Both of what? Both the publicity machine for producing the photos and the website for republishing them? Or both the photos themselves and the spurious connection to semiconductor physics?
150.
by alimw 6y ago
I'm confused. If it is the photos that you consider indecent, surely you should be taking issue with the publicity machine that produced them? As far as I can see, this website has done little more than add a spurious connection to sem

More ›