2023-3-3
same day in other years
Previous year
Next year
19:16:10 @omasanori@mstdn.maud.io
Original notestock Public page link
icon

Dafny 4.0.0 🎉 🎉 🎉 🎉
https://github.com/dafny-lang/dafny/releases/tag/v4.0.0

Web site image
https://github.com/dafny-lang/dafny/releases/tag/v4.0.0
Release Dafny 4.0.0 · dafny-lang/dafny
19:20:31 @omasanori@mstdn.maud.io
Original notestock Public page link
2023-03-03 19:20:16 Posting 抑圧 Niceratus@pawoo.net
icon

This account is not set to public on notestock.

19:31:28 @omasanori@mstdn.maud.io
Original notestock Public page link
2023-03-03 19:27:21 Posting やまこ yamako@fedibird.com
icon

This account is not set to public on notestock.

19:32:00 @omasanori@mstdn.maud.io
Original notestock Public page link
2023-03-03 08:48:47 Posting sksat sksat@pasokey.net
icon

This account is not set to public on notestock.

19:38:17 @omasanori@mstdn.maud.io
Original notestock Public page link
icon

なにもかもが……

20:48:30 @omasanori@mstdn.maud.io
Original notestock Public page link
icon

イラスト「健全です」
私「ふーむ？」
型システム「健全です」
私「ふーむ？」

20:53:03 @omasanori@mstdn.maud.io
Original notestock Public page link
2023-03-03 20:52:09 Posting 抑圧 Niceratus@pawoo.net
icon

This account is not set to public on notestock.

2023-3-3