pull down to refresh

134 sats \ 2 replies \ @schmidty OP 28 May \ parent \ on: Mike Schmidt - Brink, Optech AMA bitcoin AMA

I'd add that work on formal verification is interesting as well.

write
compose
11 sats \ 1 reply \ @Scoresby 28 May

I saw that Vitalik published a post about formal verification earlier this month and I think I heard that Toby Sharp was also working on formal verification.

reply
113 sats \ 0 replies \ @schmidty OP 28 May
reply