Advertisement ยท 728 ร— 90

Posts by Reto Kramer

I'm still learning how easy it is to go from "software I wish existed" to "software that exists" now, especially for anything that's a script, automation, or small utility.

Everything I internalized in 20 years about the cost of building things has changed in less than two years.

2 months ago 15 2 0 0

Congratulations - Thatโ€™s wonderful news ๐Ÿ‘๐ŸŽ‰

6 months ago 1 0 0 0

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

8 months ago 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

9 months ago 1 0 0 0

โ€ฆ including for relatively fringe PLs, in my experience.

10 months ago 1 0 0 0

A wonderful and inspiring lecture. Thank you!

11 months ago 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!

1 year ago 0 0 0 0
Advertisement

Thatโ€™s such a cool project ๐Ÿ‘

1 year ago 1 0 0 0

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

1 year ago 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)?

1 year ago 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! ๐Ÿ˜€

1 year ago 2 0 0 0

Thank you for sharing!

1 year ago 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."

1 year ago 0 0 0 0

๐Ÿค 100% matches my experience, and I find your take and outlook exciting!

1 year ago 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...

1 year ago 38 8 2 0
Advertisement