Happy Pi Day! Great day to work with the Effekt language:
| Pronouns | he/him |
| DECT/EPVPN | 4624 |
| Pronouns | he/him |
| DECT/EPVPN | 4624 |
@marvin Wonderful!
Here's my quick attempt.
Pi as the first positive root of sine using Newton's method with a twist: sine (and cosine) are defined as mutually recursive push-streams representing their Taylor series, all implemented in the Effekt language.
Happy Pi Day! Great day to work with the Effekt language:
The presentation of our OOPSLA paper "Tracing Just-in-time Compilation for Effects and Handlers", given by Marcial Gaißert is here: https://www.youtube.com/live/PH86sTG6G08?t=23837s
joint work with Jonathan Immanuel Brachthäuser
I am more than proud of my PhD students, colleagues and collaborators!
Together we managed to have 5 papers at this year's OOPSLA'25 (R1 and R2) and 1 at the colocated ICFP'25.
🥳🎉
Our OOPSLA papers:
- Compiling Classical Sequent Calculus to Stock Hardware
- The Simple Essence of Monomorphization
- Tracing JIT Compilation for Effects and Handlers
- Dynamic Wind for Effect Handlers
- The Simple Essence of Overloading
Our ICFP paper:
- Multiple Resumptions and Local Mutable State, Directly
Links to the PDFs etc. can be found here:
https://se.cs.uni-tuebingen.de/singapore2025/
One sentence summaries of each paper in the following posts...