Jan Midtgaard
@janmidtgaard.bsky.social
Recovering academic. Occasionally hacks OCaml and property-based testing, manufacturing bad luck on an industrial scale.
Mastodon account: https://types.pl/@jmid
Mastodon account: https://types.pl/@jmid
Last night it was announced that our TACAS-paper 'Dynamic Verification of OCaml Software with Gospel and Ortac/QCheck-STM' co-authored with Nikolaus Huber, Naomi Spargo, Nicolas Osborne, and Samuel Hym won the 2025 @etapsconf.bsky.social's Best Tool Paper Award 🎉
#testing #pbt #award
#testing #pbt #award
May 8, 2025 at 8:38 AM
Last night it was announced that our TACAS-paper 'Dynamic Verification of OCaml Software with Gospel and Ortac/QCheck-STM' co-authored with Nikolaus Huber, Naomi Spargo, Nicolas Osborne, and Samuel Hym won the 2025 @etapsconf.bsky.social's Best Tool Paper Award 🎉
#testing #pbt #award
#testing #pbt #award
...and the award for best exception name showing up in an opam-repo CI run goes to... 🏆😄
April 4, 2025 at 8:30 AM
...and the award for best exception name showing up in an opam-repo CI run goes to... 🏆😄
Beautiful morning in Aarhus for a morning dip with 4C water and 3C air ☀️🌊🤓
February 6, 2025 at 9:35 AM
Beautiful morning in Aarhus for a morning dip with 4C water and 3C air ☀️🌊🤓
