We're discussing "Programming as Theory Building," by Peter Naur, (on zoom) today!!
Join us? 1-2pm Eastern Time (followed by "hallway chat).
Discussion will be led by @yvonnezlam
Paper: https://pages.cs.wisc.edu/~remzi/Naur.pdf
Sign up (for access): https://ti.to/bredemeyer/naurtheorybuildingaug2024