algorithmic trading
Joined July 2020
- Tweets 240
- Following 667
- Followers 2,686
- Likes 4,308
13 Photos and videos
26 Sep 2023
1/ What does (7.8 choose 3) mean? A riddle, a real solution, and a bad but maybe not so silly solution:
There are n teams of m hares, and one team of t tortoises. The participants race, and finish in a random order. Teams are ranked by their slowest member.
22 Sep 2023
Time for solutions to 'the tortoise and the n teams of m hares' problem that I asked about a while ago on here! Congrats to @GaussianProcess for solving.
The answer is Γ(1/m 1)Γ(n 1)/Γ(1/m n 1)
2
3
38
11,661
26 Sep 2023
7/ That works if t/m is an integer, *but it also gives the correct answer* when t/m isn't an integer! So it's a sensible way to combinatorially define binomial coefficients like (7.8 choose 3) = (7 choose 3) / P(4 tortoises beat at least 3 out of 7 teams of 5 hares) = 51.272
2
11
2,258
27 Sep 2023
8/ I just realized this can be simplified a little bit, you can choose k=n to get
(7.8 choose 3) = 1 / P(24 tortoises beat all 3 teams of 5 hares)
3
1,766
22 Aug 2022
1/ Trapdooors, Backdooors, and Maybe Actually Factoooring
some paradigm CTF notes (pic related)
4
4
88
22 Aug 2022
9/ 128 bits seems just out of reach, maybe with some careful parameter tuning and enough time or with a more advanced factoooring method it can be done. I'd love to hear if anyone was able to make this work!
cc @samczsun @paradigm_ctf
2
10
22 Aug 2022
PS hmu if you're around for the Science of Blockchain conference!
1
16
18 Apr 2022
1/ A New Fastest Solidity Square Root?
It's closely based on the solmate implementation, and should be ~50 gas cheaper on average.
Here's a brief thread to explain the method:
github.com/Gaussian-Process/…
12
28
268
18 Apr 2022
5/ This gives us an initial estimate within a factor of ~3 of the true square root, which is still good enough that just seven iterations of the Babylonian method suffice.
1
11
18 Apr 2022
6/ Thanks to @wardbradt for discussion, and for help with forge and testing.
cc @transmissions11, @boredGenius
12