Reto Kramer's Avatar

Reto Kramer

@retok.bsky.social

Software Engineering and Product Leader

61 Followers  |  320 Following  |  13 Posts  |  Joined: 20.11.2023  |  2.2069

Latest posts by retok.bsky.social on Bluesky

Congratulations - That’s wonderful news 👏🎉

30.09.2025 02:15 — 👍 1    🔁 0    💬 0    📌 0

+1. One of the best such "other changes" I know is to decouple relentlessly (and perhaps recursively). Teams, code, schedules, ...

01.08.2025 00:49 — 👍 1    🔁 0    💬 0    📌 0

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

13.07.2025 19:14 — 👍 1    🔁 0    💬 0    📌 0

… including for relatively fringe PLs, in my experience.

05.06.2025 22:16 — 👍 1    🔁 0    💬 0    📌 0

A wonderful and inspiring lecture. Thank you!

24.04.2025 00:26 — 👍 1    🔁 0    💬 0    📌 0

Yes, so much of this. Glad I'm not alone in prompting my way through 'Don't apply a "fix" before you can explain the root cause.' Local flavor of what you describe: process hangs during shutdown -> no worries, wrapping a hard kill around it after a timeout - tada 😚. "Root cause before fix" pleease!

15.04.2025 02:23 — 👍 0    🔁 0    💬 0    📌 0

That’s such a cool project 👏

11.04.2025 19:38 — 👍 1    🔁 0    💬 0    📌 0

Roger that and yes, please do your utmost ;-)

16.03.2025 00:26 — 👍 2    🔁 0    💬 1    📌 0

Love your bite-sized Racket macro examples. Thank you! Q: What’s the most Racket idiomatic way to wrap/intercept the reads too (ignoring, as you said, that it’ll make things utterly unusable)?

15.03.2025 22:17 — 👍 2    🔁 0    💬 1    📌 0

I'm as flummoxed as amused that my computer auto-corrects Raclette to Racket. The thing must have been `(spying-on ,me). Love both! 😀

31.01.2025 01:45 — 👍 2    🔁 0    💬 0    📌 0

Thank you for sharing!

27.01.2025 03:56 — 👍 0    🔁 0    💬 0    📌 0

Especially the trend of not publishing the raw "wire" protocol in favor of adoption-focused overweight SDKs has irked me for years ... +1 for "... It cuts down the amount of the API I need to learn upfront, and it cuts down how much future programmers (myself) reading the code need to understand."

09.01.2025 21:17 — 👍 0    🔁 0    💬 0    📌 0

🤝 100% matches my experience, and I find your take and outlook exciting!

09.01.2025 21:15 — 👍 0    🔁 0    💬 1    📌 0
Preview
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 ...

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...

13.12.2024 00:09 — 👍 38    🔁 8    💬 2    📌 0

@retok is following 20 prominent accounts