Reto Kramer
@retok.bsky.social
Software Engineering and Product Leader
Using tsnet to integrate a service into Tailscale is as seamless and effective as it is easy and fun. Extremely well done, kudos @tailscale.com
July 13, 2025 at 7:14 PM
Using tsnet to integrate a service into Tailscale is as seamless and effective as it is easy and fun. Extremely well done, kudos @tailscale.com
I'm as flummoxed as amused that my computer auto-corrects Raclette to Racket. The thing must have been `(spying-on ,me). Love both! 😀
January 31, 2025 at 1:45 AM
I'm as flummoxed as amused that my computer auto-corrects Raclette to Racket. The thing must have been `(spying-on ,me). Love both! 😀
Reposted by Reto Kramer
If you are going to POPL 2025 in Denver consider coming to my talk at #PEPM2025 on the missing diagonal.
The computing community has produced many high level languages and tools for programming high level systems (e.g. Java for user interfaces)
popl25.sigplan.org/details/pepm...
The computing community has produced many high level languages and tools for programming high level systems (e.g. Java for user interfaces)
popl25.sigplan.org/details/pepm...
The Missing Diagonal: High Level Languages for Low Level Systems (Invited Talk Abstract) (PEPM 2025 - The 2025 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation) - POPL 2025
The ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM) has a history going back to 1991 and has been held in conjunction with POPL every year since 2006. The origin of PEPM is ...
popl25.sigplan.org
December 13, 2024 at 12:09 AM
If you are going to POPL 2025 in Denver consider coming to my talk at #PEPM2025 on the missing diagonal.
The computing community has produced many high level languages and tools for programming high level systems (e.g. Java for user interfaces)
popl25.sigplan.org/details/pepm...
The computing community has produced many high level languages and tools for programming high level systems (e.g. Java for user interfaces)
popl25.sigplan.org/details/pepm...