I have an exam today from 17.00-20.00
Conversation
Notices
-
Embed this notice
steph@toot.party's status on Tuesday, 03-Oct-2023 16:34:38 JST steph
-
Embed this notice
steph@toot.party's status on Tuesday, 03-Oct-2023 16:34:39 JST steph
Hoi fedi
-
Embed this notice
steph@toot.party's status on Tuesday, 03-Oct-2023 16:53:48 JST steph
@puniko ty although I'm pretty certain that I'm gonna fail it 😞
-
Embed this notice
steph@toot.party's status on Tuesday, 03-Oct-2023 17:29:47 JST steph
@puniko program verification using hoare logic and weakest liberal precondition, linear temporal logic and computation tree logic. (luckily CTL* was removed last minute)
-
Embed this notice