benoityp.bsky.social
👤 Joined on 02 Oktober 2023
Followers
Following
Total Posts
@benoityp.bsky.socialI think something that was a bit underdiscussed in the blockchain everything era was the bleakness of the world you must imagine for the purported benefits of crypto to really kick in.
Show PostThe problem is there are no trusted intermediaries who can do things like reverse transactions when they’re discovered to be fraudulent. They should invent a version of Bitcoin that has something like that.
Show Posthaskell is written specifically to be amenable to verification while verifying c is the subject of countless phds and industrial money sinks
Show PostIEEE-754 may be accursèd in the eyes of the LORD but that's no excuse to start slinging +Infs and NaNs around in code that is supposed to work on values between 0 and 1 lol
Show Postplease refrain from blindly dividing floats by variables for which 0 is a perfectly reasonable value. thank's
Show Post