alimw

9 ms·

61.
by alimw 3y ago
> The only exception might be one-off scripts. Agreed, but if you're writing in J, Forth or Factor then it's hardly likely to make it into production anyway.
62.
by alimw 3y ago
> Would the US kindly send money? Again. And again. Where is this money?? Still waiting for mine!
63.
by alimw 3y ago
I dunno, my local (council-affiliated "Better" brand) gym claims exactly that in its advertising — that you pay by the month with no cancellation fee — but it turns out when you go to cancel that they have already laid claim to th
64.
The truth about paranoia – and why it’s higher than ever(theguardian.com)
3 points by alimw 3y ago|0 comments
65.
by alimw 3y ago
Is the error to assume that any logic at all might apply to this matter? "Whereof one cannot speak, thereof one must be silent."
66.
by alimw 3y ago
On the other hand, if more innocent people lacked the awareness to avoid dodgy areas then they probably wouldn't be so dodgy!
67.
by alimw 3y ago
Mochizuki is unenthusiastic. [1] Section 1.12 of https://www.kurims.kyoto-u.ac.jp/~motizuki/Essential%20Logic... .
68.
Fermat's Last Theorem to be proved in Lean (probably eventually)(gow.epsrc.ukri.org)
3 points by alimw 3y ago|0 comments
69.
by alimw 3y ago
Oops! I checked the spec and it's supposed do something more like this: def f (n : Nat) : String := Option.getD (Option.merge String.append (if n % 3 = 0 then "Fizz" else none) (if n % 5 = 0 then
70.
by alimw 3y ago
Yes split_ifs is in Mathlib so I have replaced it with split (twice) which is in Core. I believe there is also an intermediate level Std. I'm not sure why you'd want to avoid Mathlib but I daresay it's possible for many types
71.
by alimw 3y ago
Sure! def f (n : Nat) : String := String.append (if n % 3 = 0 then "Fizz" else "") (if n % 5 = 0 then "Buzz" else "") #eval List.map f (List.range 100) theorem poop (n : Nat)
72.
by alimw 3y ago
"So what might have caused this strange new syndrome in our trading platform?" "Perhaps one of the market participants was doing something different?" "Nope." Then literally two hours of me stumbling through po
73.
by alimw 3y ago
They iterate f where f(z) = (a₀ + a₁ z ź + a₂ Re(zⁿ) + a₃ i) z + a₄ źⁿ⁻¹. You can easily check that f(z exp(i 2 π / n)) = exp(i 2 π / n) f(z).
74.
by alimw 3y ago
All of these are aperiodic; it says as much in the first paragraph. Are you talking about the rotational symmetry?
75.
by alimw 3y ago
"... please use the original title, unless it is misleading or linkbait; don't editorialize." https://news.ycombinator.com/newsguidelines.html
76.
by alimw 3y ago
Is this a quality article? It starts badly: > ... elevation of the land is equal to the value of the function (the “profit”) at that particular spot. Gradient descent searches for the function’s local minimum ...
77.
by alimw 3y ago
Just remind yourself that these people have probably thought harder about their problem domains than you have.
78.
by alimw 3y ago
"In Intellectual Mathematics a topic is introduced only when the student can be convinced of the value of doing so." If I understand this correctly, you cannot bend the approach to the teaching of any particular topic (e.g. what&#
79.
by alimw 3y ago
I guess this is the banal reason why most conspiracy theories take off. They "sound interesting".
80.
by alimw 3y ago
Now you can have an unelected technocrat somewhere in the UK write the standards for your new toaster. Or more likely it'll just be forgotten in the bonfire of regulations and you'll end up dead on your kitchen floor in a warm poo
81.
by alimw 3y ago
> ...the only scenario that really makes sense for Russia... Dictatorships don't come without an internal power struggle. Your logic depends on a view of Russia as a single self-serving entity.
82.
by alimw 4y ago
"Just asking questions" huh? Well unless they are heading somewhere (like towards answers), questions by themselves are not worth a damn. But perhaps you really are trying to post signs to some conclusion you regard as natural? If
83.
by alimw 4y ago
This seems about right. Work with pennies why not. My very basic test suggests that 1 - 2^(-53) is distinct from 1 in double-land. So if x is the total number of pennies and 2^(-53) * x < 0.5 I can't see why any problem would arise.
84.
by alimw 4y ago
> though I'm not sure anyone ever used an interactive theorem prover to show a conjecture they did not know was true The Liquid Tensor Experiment [1] formalised a proof that the author himself found sufficiently complicated to have
85.
by alimw 4y ago
There are some Lockhart books mentioned on this page.
86.
International nuclear fusion project may be delayed by years, its head admits(theguardian.com)
7 points by alimw 4y ago|2 comments
87.
UK PM wants all pupils to study maths to 18(bbc.co.uk)
8 points by alimw 4y ago|3 comments
88.
by alimw 4y ago
The MacBook doesn't have ctrl on the right! But I've done my best to follow this advice by making right-opt into ctrl and right-cmd into meta.
89.
by alimw 4y ago
The word "original" does not appear so I don't know why you've put it in quotes. Indeed you don't have to read very far down the article to find acknowledgement that something similar had been done centuries earlier
90.
by alimw 4y ago
In fairness to the article, it does go on to say > Sanskrit, although not widely spoken, is the sacred language of Hinduism and has been used in India's science, philosophy, poetry and other secular literature over the centuries.

More ›