pull down to refresh

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

Im biased here, but probably the boring stuff. More code review, more testing. Build system work. Maybe there is more quantum work needed "just in case".

write
compose
134 sats \ 2 replies \ @schmidty OP 28 May

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

reply
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