Ten 
I swear I'm not trying to ignore anyone.
Ojoajogwu Monday Onoja
@dearlybelovedtreasure
- 0 Followers
- 7 Following
- 8 Posts
Writer, proofreader and copy editor
@pwuille I saw your profile on Twitter and followed you all the way here... There is something I must discuss with you... Mk
@viticci @macstories I need to have a word with you. I just signed up for Mastodon some hours ago... You've got to listen to me, please... It's only gonna take some minutes... I'm fast running out of time...
@viticci @macstories I need to have a word with you. I just signed up for Mastodon some hours ago... You've got to listen to me, please... It's only gonna take some minutes... I'm fast running out of time...
Daniel J. BernsteinNew formally verified proof of #safegcd iteration bound: https://cr.yp.to/2023/hull-light-20230416.sage (script for full run+extras: https://cr.yp.to/2023/hull-light-howto-20230416.sh) Advantages over previous formally verified proofs: (1) covers all input sizes; (2) finishes verifying in 10 minutes; (3) smaller TCB (HOL Light).
@pwuille I saw your profile on Twitter and followed you all the way here... There is something I must discuss with you... Mk
Being the best version of myself