Diarmuid Early

183 posts

Diarmuid Early banner
Diarmuid Early

Diarmuid Early

@DimEarly

General nerd, likes Excel modeling

NYC Beigetreten Ocak 2016
22 Folgt339 Follower
Diarmuid Early
Diarmuid Early@DimEarly·
@KDCochran1 @ShengwuLi I remember that debate, and the theorem 😂 (One of many in which Shengwu claimed that 'everything the other side has said is irrelevant'!) Just when I thought I was done with posting on Twitter...
English
0
0
2
104
Shengwu Li
Shengwu Li@ShengwuLi·
One reason I ‘retired’ from debating was the day that I had a winning argument that was -provably- true, but the proof was impossible to convey without 20 minutes and a whiteboard.
English
5
17
287
58.7K
Diarmuid Early
Diarmuid Early@DimEarly·
@xaqwg Riddler extension for this week: what's the biggest number that can't be encoded in a triple (m,n,q), as a function of q? With a modified Chicken McNugget Theorem and some Fibonacci magic, you can show it's F_q * F_(q+1).
English
0
0
1
0
Diarmuid Early
Diarmuid Early@DimEarly·
@MrExcel Here's one way (with "XFD" in A1): =LET(OneToN, SEQUENCE(LEN(A1)), Chars, MID(A1,OneToN,1), CharNums, DECIMAL(Chars,36)-9, SUM((CharNums)*26^(LEN(A1)-OneToN))) This works with longer strings too - e.g. if we ever get there, this says col ABCDE will be #494,265
English
1
0
2
0
Bill Jelen
Bill Jelen@MrExcel·
In Excel, column XFD is the 16384th column2^14). Is there any elegant way using BASE or DECIMAL to convert XFD to 16384? My was is slow and clunky. quora.com/Can-we-calcula…
English
4
2
7
0
Diarmuid Early
Diarmuid Early@DimEarly·
@ollie Someone needs to set AlphaZero loose on this thing. I want charts.
Diarmuid Early tweet media
English
0
0
1
0
Diarmuid Early
Diarmuid Early@DimEarly·
@xaqwg I took a stroll down memory lane for the classic - this lemma from my PhD thesis came in handy!
Diarmuid Early tweet media
English
0
0
0
0
Diarmuid Early
Diarmuid Early@DimEarly·
@chapmajw @xaqwg Oops, you're right, I was looking at the one next to it. So your 9 is right. To be honest, I did it mostly by hand, with some help from Excel. I should have been more careful!
English
0
0
0
0
Diarmuid Early
Diarmuid Early@DimEarly·
@chapmajw @xaqwg Snap! Except I have one different from you - I think your 9 in the 7th row and 7th col should be a 6 (you can move 2 up from there to get to the 5). Full disclosure - I used yours to fix a mistake in my first version too!
Diarmuid Early tweet media
English
0
0
0
0
Diarmuid Early
Diarmuid Early@DimEarly·
@lotterdata @xaqwg I think you can take it a (small) step further - there's always a max unless D and P share a common factor, and in that case you use a similar formula to get the max mult of their GCD.
English
0
0
0
0
Diarmuid Early
Diarmuid Early@DimEarly·
@xaqwg The maze should have been the classic - so much to it! Some extensions: Can you finish from every starting square? Which start is most moves away from the finish? (Interestingly, there's a unique answer, and it's adjacent to the finish square!)
English
0
0
0
0
Diarmuid Early
Diarmuid Early@DimEarly·
@lotterdata @AtDrunkTweeting @xaqwg @Mathgarden Do you see more than one way to get two consecutive with -1 or -2? It has to be the highest power of 2 and an adjacent prime, and as long as you’re below n = 2^82,589,934 that’s n/2 and n/2 - 1 (I think).
English
0
0
0
0
Diarmuid Early
Diarmuid Early@DimEarly·
@AtDrunkTweeting @xaqwg @Mathgarden A couple more extensions to push this further... if the stadium size has to be between 2 and 100,000, which possible sizes work? If the stadium size is unlimited, what's the largest known size the claim could work for? I think it's 2^82,589,934 - 1.
English
0
0
0
0
donnbar
donnbar@TheWarOf1312·
@xaqwg @Mathgarden As an “extension” am I correct that this problem works with 10, 20, 40, 200, and 300 seats but NOT 100?
English
3
0
2
0
Diarmuid Early
Diarmuid Early@DimEarly·
@HectorPefo @xaqwg I read it as meaning you can pick a pace for any probability p (so you’re really just picking p) - seems reasonable to assume there is some pace at which a competitive team can almost surely finish the distance.
English
1
0
0
0