man-and-laptop

23 ms·

91.
by man-and-laptop 8y ago
Finance articles keep using the word "liquidity". What is liquidity and where can I get it? Quote: Liquidity Is a Slippery Slope The two major challenges with most DEX’s today are liquidity and UX. The DEX that will win over the
92.
by man-and-laptop 8y ago
I gave my generalisation in terms of frequency, and not in terms of "number of rectangles" in the Riemann sum, which I conveniently assumed to be infinite. A better generalisation: if a function is thin-tailed, and its Fourier tra
93.
by man-and-laptop 8y ago
Sketch of an alternative proof, more DSP: Use the fact that the approximation in the paper is equal to the inner product of e^{-x^2} with a Dirac comb [1]. The amazing thing about the Gaussian function and the Dirac comb is that they'r
94.
by man-and-laptop 8y ago
While what you're saying is strictly speaking true, Scott Alexander had a thesis on this: He noticed that the scientists of the day often ended up in trouble with the inquisition. And while, strictly speaking, it was for reasons not re
95.
by man-and-laptop 8y ago
Lamport suggests hierarchical proofs as a possible remedy. They're somewhere in between computer verification and the current prevalent style. Lamport acknowledges it would make writing proofs harder, while reading them easier. The sty
96.
by man-and-laptop 8y ago
On the subject of using other people's computers: How do people who use a heavily customised environment -- like Emacs with modifications (like caps-lock key for CONTROL) -- cope with this?
97.
by man-and-laptop 8y ago
Finance jargon is impenetrable. Aren't you supposed to gamble with a fixed percentage of your money in case a long tail event happens? From an outsider's point of view, that seems like rule number one. Questions about NASDAQ:
98.
by man-and-laptop 8y ago
George R R Martin uses it
99.
by man-and-laptop 8y ago
It's far from state of the art, but reading Computer Vision by Simon J D Prince [1] alongside David Barber's BRML can really help. [1] - http://www.computervisionmodels.com/
100.
by man-and-laptop 9y ago
Perhaps I should've added a :P to the end of that. See Gabriel's response here: https://news.ycombinator.com/item?id=15187733
101.
by man-and-laptop 9y ago
Subtraction: let pred = λ(n : Natural) → (Natural/fold n { prev : Natural, next : Natural } (λ(p : { prev : Natural, next : Natural }) → { prev : p.next, next : p.next + +1}) { prev : 0, next : 0 }).prev in λ(x : Natural) → λ(