Sam Pollard
@sdpoll.bsky.social
Computer scientist researching formal methods. I enjoy TTRPGs and staying inside.
A book in my shelf. It's interesting that from a floating-point perspective, addition is harder than multiplication because figuring out the magnitude is more difficult than addition, so requires more logic.
October 19, 2023 at 5:23 PM
A book in my shelf. It's interesting that from a floating-point perspective, addition is harder than multiplication because figuring out the magnitude is more difficult than addition, so requires more logic.
Some people on here arguing over public transit when what we really need is thousands of miles of railways for these only
October 9, 2023 at 4:08 AM
Some people on here arguing over public transit when what we really need is thousands of miles of railways for these only
The two sides of modernity
September 17, 2023 at 3:52 PM
The two sides of modernity