← Feed

Posts

• Post #2172256

  As idle as a painted term upon a painted turnstile

• Post #2172254

  I tried to find out if Edinburgh City Council had an API for swimming pool times and found this dormant github repository with a grim final commit message https://github.com/edinburghcouncil/datasets

• Post #2172253

  @cahollenbeck When I have to make videos I do think "Damn it, I'm a doctor, not an actor"

• Post #1846849

  The deadline for the eleventh Mathematically Structured Functional Programming workshop has been extended to 7th May. Submission site: https://submissions.floc26.org/msfp Main site: https://msfp-workshop.github.io/msfp2026/ We are looking for long and short papers and interesting talks on applying mathematics to programming. @mkerjean

• Post #652852

  The Twelfth workshop on Mathematically Structured Functional Programming now has a webpage: https://msfp-workshop.github.io/msfp2026/ . We are affiliated with FSCD at FLoC 2026 in Lisbon this July. @mkerjean and I are still getting some things organised, but now is the time to start thinking about your mathematically structured submissions!