wen@wenkokke·Aug 15, 2021Heya PL twitter! Without peeking, which of the following properties do you think hold for floating-point arithmetic?docs.google.comFloating-point Survey TyDe 2021: Integrating Agda with SMT-LIBNo peeking! Just give me your gut instinct!51034
Brendan Zabarauskas@brendanzabReplying to @wenkokkelol, my gut was like, 'surely none of them?? 😭'12:20 PM · Aug 15, 2021·Twitter Web App9 Likes
