alimw

18 ms·

181.
by alimw 6y ago
There's a different logic to the tally stick anyway
182.
by alimw 6y ago
Maybe you absorbed their value at the time?
183.
by alimw 6y ago
Well you're right, we just need to get rid of half the people then we can start working on that. What do you suggest we do with them?
184.
by alimw 6y ago
Why so warm? As well as being energy-hungry it must make hygiene a challenge
185.
by alimw 7y ago
I'm not sure this is specific to any particular school of mathematical education. There is bound to come a point at which you cannot understand everything and have to start winging it. If you can cope with that, that's good, you a
186.
by alimw 7y ago
Are there countries in which a significant fraction of the population takes it on a regular basis? Presumably these are the same places in which an actually large fraction of the population has had malaria and in which there is some natural
187.
by alimw 7y ago
What do you imagine does surround London? Empty moors and badlands? Also https://en.wikipedia.org/wiki/Billingsgate_Fish_Market
188.
by alimw 7y ago
A spy for whom?
189.
by alimw 7y ago
> ... asserting beliefs as fact. I believe that ...
190.
by alimw 7y ago
I will accept this advice of "embrace being a loser" as good advice only if you can claim to have done it successfully yourself. Paradoxically I suspect it's really hard to do without losing all hope.
191.
by alimw 7y ago
Has this ever happened to you? There can't be many areas of mathematics in which it could.
192.
by alimw 7y ago
You might be right that good code needs names. But since in a terse language like J or K it may take longer to think up a good name than to write the code, it's handy that one doesn't have to have names for everything when prototy
193.
by alimw 7y ago
> So no one re-writes their own stuff I have (unwillingly) had to do this. I did look at off-the-shelf solvers but they all seemed to restrict themselves to nice domains in low dimensions. Edit: Perhaps you are only talking about the lin
194.
by alimw 7y ago
Sadly being a jerk can be a vicious cycle. With rising anger and bitterness about how poorly your contributions are received, it may be virtually impossible to present a smiling and upbeat facade to the world—when you're tired, when yo
195.
by alimw 7y ago
Pointing out that the currently default structure could be replicated by other means currently available is no argument for keeping it the default. It is not in fact some God-given design to which all paths must inevitably converge. Clearly
196.
by alimw 7y ago
When he asks for a central hub to direct drivers, he might be asking for a central hub that optimises according to a system-wide objective. I'm pretty sure that Google Maps just tells each driver what it reckons best for them individua
197.
by alimw 7y ago
This is exactly what I'd expect of something called Kafka.
198.
by alimw 7y ago
Please try this exercise and report back :) Suppose it happened that when setting up your parameter space you found yourself working with ξ and η instead of x and y, where the relationship is given simply by (ξ, η) = A (x, y) for A an inver
199.
by alimw 7y ago
OK well that is not commonly called "log normalization". It is called "using log returns".
200.
by alimw 7y ago
Is this what you mean by "log normalization"? https://www.spec2000.net/08-normalization.htm I haven't read much further, perhaps you make it explicit later on.
201.
by alimw 7y ago
> Note that if a system is inconsistent then everything is provable, thus if a system is consistent there must be a proposition which cannot be proved. ¬ ∀ (P Q : Prop), (P → Q) → (¬P → ¬Q)
202.
by alimw 7y ago
I guess some strategy might work only on a small scale because a larger volume would move the market. But I am suspicious of this claim (3). On the other hand there are certainly strategies viable for companies but not for individuals becau
203.
by alimw 7y ago
The big limitation of Coq is a limitation common to all proof assistants. It takes a lot of time and effort to formalise even simple mathematical ideas, so complex ones can seem quite beyond reach. However if a proof requires the analysis o
204.
by alimw 7y ago
Roads that have always been able to pass sensibly-sized cars on either side are effectively one-way now because of all the outsize vehicles.
205.
by alimw 7y ago
Well getting into Cambridge probably indicates some degree of respect for humanity's body of work to date. That's a pretty narrow definition of decency though.
206.
by alimw 7y ago
Christ, if all I'd needed was to know more about the thesis topic than my advisor, I'd have been done on day two.
207.
by alimw 7y ago
While Homotopy Theory is just one strand in modern mathematics, it is believed that a type theory based on it can serve as a foundation for the whole of mathematics.
208.
Controlling or Coercive Behaviour in a Relationship(bbc.co.uk)
1 points by alimw 7y ago|0 comments
209.
by alimw 7y ago
This prompts a question I'd like to know the answer to. One of these thick new bags is equivalent to how many of the skinny old single-use ones in terms of environmental impact?
210.
by alimw 7y ago
> That or maybe it's just the hypoxia ;) Or a kind of mild hypothermia? I've experienced your "euphoric feeling" during and after swims in cooler water. Google tells me the water temperature in San Francisco Bay is ab

More ›