Tomas Petricek
@tomasp.net
Assistant prof at @mff.unikarlova.cuni.cz. Interested in new ways of thinking about programming and history & philosophy of computing. Previously at University of Kent and @cst.cam.ac.uk.
Do you want to write your own implementation of Tiny Boxer?
Check out my demo from PLISS'25 & follow the step-by-step tutorial here: github.com/tpetricek/ti...
Check out my demo from PLISS'25 & follow the step-by-step tutorial here: github.com/tpetricek/ti...
May 29, 2025 at 9:24 AM
Do you want to write your own implementation of Tiny Boxer?
Check out my demo from PLISS'25 & follow the step-by-step tutorial here: github.com/tpetricek/ti...
Check out my demo from PLISS'25 & follow the step-by-step tutorial here: github.com/tpetricek/ti...
I'm speaking at Programming Language Implementation Summer School (PLISS) next week.
Let's see if I can get the attendees to implement a tiny version of Boxer: dl.acm.org/doi/pdf/10.1...
It is a fun example of how interactive programming *systems* can do more than *languages*!
Let's see if I can get the attendees to implement a tiny version of Boxer: dl.acm.org/doi/pdf/10.1...
It is a fun example of how interactive programming *systems* can do more than *languages*!
May 20, 2025 at 11:10 PM
I'm speaking at Programming Language Implementation Summer School (PLISS) next week.
Let's see if I can get the attendees to implement a tiny version of Boxer: dl.acm.org/doi/pdf/10.1...
It is a fun example of how interactive programming *systems* can do more than *languages*!
Let's see if I can get the attendees to implement a tiny version of Boxer: dl.acm.org/doi/pdf/10.1...
It is a fun example of how interactive programming *systems* can do more than *languages*!