Posts tagged "programming"
- Swarm swarm III (virtual hackathon) - June 12, 2024
- Swarm 0.4 release - August 22, 2023
- Swarm virtual hackathon - December 12, 2022
- Swarm alpha release! - October 6, 2022
- Swarm: status report - June 20, 2022
- Swarm: a lot can happen in a week - October 1, 2021
- Swarm: preview and call for collaboration - September 24, 2021
- Types versus sets in math and programming languages - June 24, 2021
- Competitive Programming in Haskell: modular arithmetic, part 2 - March 3, 2020
- Competitive Programming in Haskell: modular arithmetic, part 1 - February 15, 2020
- Competitive Programming in Haskell: primes and factoring - February 7, 2020
- Competitive Programming in Haskell: reading large inputs with ByteString - October 13, 2019
- Competitive Programming in Haskell: Scanner - May 22, 2019
- Competitive Programming in Haskell: Basic Setup - April 24, 2019
- Hendrix teams at ACM ICPC - November 4, 2018
- Call for submissions: FARM 2018 - April 23, 2018
- My new programming languages course - January 13, 2017
- Towards a new programming languages course: ideas welcome! - May 23, 2016
- CCSC-Midsouth conference and programming contest - April 2, 2016
- In defense of drawing by coding - October 18, 2013
- FARM 2013: call for demonstration proposals - July 8, 2013
- Workshop on Functional Art, Music, Modeling and Design - May 13, 2013
- Back from Baltimore - October 2, 2010
- Typed type-level programming in Haskell, part IV: collapsing types and kinds - August 5, 2010
- Typed type-level programming in Haskell, part II: type families - July 6, 2010
- Typed type-level programming in Haskell, part I: functional dependencies - June 29, 2010
- 2009 ICFP programming contest reflections - June 29, 2009