that’s like 60 million bitcoin 👀

TIL it’s an open problem whether there exists a polynomial bijection from Q to QxQ and therefore apparently a very very difficult question. who knew?

I haven’t used but reading the comments it seems a bit clunky if viewed solely from that perspective. I think with enough volume you could justify a market maker that can actually quote prices and redeem instantly.

I once wasted an entire hour of pitching Axiom listening to some public pension plan schlub tell me how farcaster is the future and that it’s very existence proves crypto is a better stack to build apps on that route around bitcoin entirely. I hope the plan’s beneficiaries thank him for his service.

with enough volume you could turn this into a fully fledged p2p exchange.

speaking of which, , do you even believe the reals exist?

doesn’t it feel weird? Q has infinitely many holes in it.

they don’t tell you that virtually every concept surrounding continuity works on functions from Q to Q. they don’t tell you this because they want you to be ignorant and afraid.

heine borel and anything relying on compactness fails. weirdest/coolest result is IVT fails too, which is bizarre because on R continuity is strictly stronger than IVP, but in dense-but-not-complete R that flips.

the first number is zero and the second number- wait no, that sounds dumb-

Bitcoin is about acceleration. do you know what else is about acceleration?

so interesting: https://www.youtube.com/watch?v=jxu80s5vvzk

honestly can’t stand people who say “the calculus”. I don’t think there is anything in bitcoin that annoys me this much …

y’all keen on homotopy type theory or we sticking with ZFC for now?

ah but you are assuming the algebra works such that (a,b)*(c,d)=(a*c,b*d) whereas I am analogising it to how C works with reals.