howling

8 ms·

31.
by howling 4y ago
> The other mitigation strategy is: just buy some puts. I wonder who are the counterparties selling puts to Jane Street. My cynical view is that they are losing overall but the traders don't care because they are winning in short te
32.
by howling 4y ago
Normal currying describes an isomorphism between functions of type (A x B) -> C and functions of type A -> (B -> C). With dependent types, we can have an isomorphism between functions of type ((a : A) x (b : P(a))) -> Q(a, b) an
33.
by howling 4y ago
Personally, I find the title to be slightly misleading as the proof is essentially just (un)currying for dependently typed function.
34.
by howling 4y ago
His python code can be shorten to from math import * prod(map(factorial, l)) which isn't much longer than his J code especially if you count the number of tokens rather than the number of characters as the J code uses ridiculo
35.
by howling 4y ago
Standard application of selection bias. People that don't "turn up just fine" don't go to college or browse HN.
36.
by howling 5y ago
I can see how to do it with a cube now but I don't think it works for general paralleleliped as it has 3 pair of different faces and a naive way of dividing it into 6 tetrahedra would cut each face into two triangles so we get 3 sets o
37.
by howling 5y ago
While your volume formula is correct, I don't see a way to cut a general parallepiped into 6 identical tetrahdtra. In fact, I don't see how it can be accomplished with a cube.
38.
A Short Comment on AlphaCode(cs.nyu.edu)
3 points by howling 5y ago|1 comments
39.
by howling 5y ago
Does she have any writings online that describe those nasty semantic edge-cases?
40.
by howling 5y ago
https://chemguide.co.uk is great for A-level chemistry.
41.
China takes down Duolingo, Memrise, and other foreign language learning apps(scmp.com)
50 points by howling 5y ago|8 comments
42.
Canada's maple syrup 'rebels' (2015)(bbc.co.uk)
2 points by howling 5y ago|0 comments
43.
by howling 5y ago
What Nina actually posted: https://mimiandeunice.com/2018/11/07/the-jenndra-identitty-c... https://blog.ninapaley.com/2018/02/07/gender_colonialism/
44.
by howling 5y ago
Random ballot is different from sortition.
45.
by howling 5y ago
There are quite a few voting systems that removes/minimizes incentive of gerrymandering. My favourite is https://en.wikipedia.org/wiki/Random_ballot .
46.
by howling 6y ago
The 3d equivalent of a circle is a sphere, which is also impossible to escape from in 3d.
47.
by howling 6y ago
I think the prerequisite for "Category Theory in Context" is a grasp of basic category theory ((co-)limits, Yoneda lemma, adjoint functor theorems, etc). You should also have some interest in an abstract maths field that requires
48.
by howling 6y ago
And how do you prove that a totally-ordered, Dedekind-complete, Archimedean field does not lead to contradiction besides constructing it explicitly by bootstrapping from natural numbers?
49.
by howling 6y ago
relevant xkcd: https://xkcd.com/2028/
50.
by howling 6y ago
Keeping your wealth as money is also gambling (you're betting against high inflation rate).
51.
by howling 6y ago
Okay, to be pedantic, pseudo-polynomial time.
52.
by howling 6y ago
Actually, the knapsack problem allows taking an item more than once. The problem described in the blog is the 0-1 knapsack problem which can be solved in polynomial time.
53.
by howling 6y ago
Not an expert but I think it is only suitable for text file since most diff algorithms assume the files are made of not-very-long lines.
54.
by howling 6y ago
Representation theory is about study of functors between category of vector spaces and category of interest, which is quite different from the problem of different representations of a triangle.
55.
by howling 6y ago
The article elaborates on this point a bit: > Like pipes in UNIX, the functions are clever enough to be performant when composed together–we don’t traverse the whole list and generate a new list each time, each item is generated on deman
56.
by howling 6y ago
The definition is correct. A monad is an endofunctor with return and join functions. Just like a monoid in the category of sets is a set with identity and multiplication.
57.
by howling 6y ago
I would have written two functions instead where one takes a default argument and the other returns None if the list is empty. In pseudo-Haskell notation: min1 : Int -> List Int -> Int min1 def Nil = def min1 def (Cons x
58.
by howling 7y ago
The article (as many others) fails to address the single most important question in the palm oil debate. What alternatives are there if we are to avoid palm oil? How are they more environmentally friendly?
59.
by howling 7y ago
> It was only 282 years ago that Euler presented in his textbooks the exact formula for the volume of a sphere It's strange that Fermat's Library stated this since the formula for volume of sphere was discovered by Archimedes m
60.
by howling 7y ago
You can just disallow that?

More ›