08:33 <nsh> hmm

09:19 <nsh> that the probability a random matrix with entries from a continuous space is singular is zero follows topologically from Zariski (the preimage of the zero determinant is a zero set of solutions to a multivariate polynomial in n^2 variables for a n x n matrix and is a closet set but the only closed set with non-zero measure is the whole interval)

09:19 <nsh> but why is should converge to something like sqrt(1/12) for GF(2) is quite a bit more baffling

09:55 <sipa> for increasing prime p, the chance that a random matrix over GF(p) is non-intertible converges towards 1/p

12:34 <gleb> I remember reading a paper where someone had a prototype of (traditional) sharding a Bitcoin Core node so that validators of big blocks can scale better. Does anyone remember it by chance?

12:35 <gleb> I don't care about this work, but somebody I'm talking to wants to do something similar. So I wanted to point them to that work.

15:44 <gmaxwell> [lulzy altcoin drama] https://www.reddit.com/r/bsv/comments/eek2do/nchain_now_offering_a_100000_bribe_to_anyone_who/