This is a heavily interactive web application, and JavaScript is required. Simple HTML interfaces are possible, but that is not what this is.
Post
Tobias Weinzierl
tobiasweinzierl.bsky.social
did:plc:7fhm72hl26p5vq5zk2u2kn6c
Our Correctness & Debugging workshop came to an end on Monday, and we have summarised the outcomes at https://shareing-dri.github.io/events/202511-correctness-workshop/ We'll certainly run one or two more of these events within the HAI-End project, and use the insights to feed into @shareing.bsky.social
2025-12-10T08:42:42.231Z