grumpy_sre's profile picture. All opinions are my own.
| SRE @spring_health | 🦣 🏒 Fan | Racketeteer Imposter

The Grumpy SRE (rob)

@grumpy_sre

All opinions are my own. | SRE @spring_health | 🦣 🏒 Fan | Racketeteer Imposter

고정된 트윗

Do your SLOs feel more like aspirational goals than achievable targets? At #SRECon EMEA 2025, I’ll share how we at Spring Health tackled SLO readiness, the messy way. Learn practical strategies. What's been your biggest SLO struggle?

grumpy_sre's tweet image. Do your SLOs feel more like aspirational goals than achievable targets? At #SRECon EMEA 2025, I’ll share how we at Spring Health tackled SLO readiness, the messy way. Learn practical strategies. What's been your biggest SLO struggle?

Wow getting into an IDE without AI yelling "AUTOCOMPLETE WITH THIS" every 1 second is so refreshing and a total vibe (pun intended).


Thought I didn't need Dr.Racket. I have an IDE I used day-to-day and the Magic Racket plugin. However, once I got to some macro work, truly a godsend 🙏

grumpy_sre's tweet image. Thought I didn't need Dr.Racket. I have an IDE I used day-to-day and the Magic Racket plugin. However, once I got to some macro work, truly a godsend 🙏

The Grumpy SRE (rob) 님이 재게시함

Racket - the Language-Oriented Programming Language - version 8.18 is now available from download.racket-lang.org See blog.racket-lang.org/2025/08/racket… for the release announcement and highlights.

racketlang's tweet image. Racket - the Language-Oriented Programming Language - version 8.18 is now available from download.racket-lang.org

See blog.racket-lang.org/2025/08/racket… for the release announcement and highlights.

The `All` construct for polymorphism within type declarations in typed racket is something I've yet to see before and I do kind of like. See the following for an example of a homebrew'd (and if unidiomatic, please forgive) polymorphic map method. Regardless of your thoughts, we…


The Grumpy SRE (rob) 님이 재게시함

Super excited to release the latest version of "A Data-Centric Introduction to Computing" (DCIC). See release notes for 2025-08-27 for what's changed and new (a LOT!): dcic-world.org/2025-08-27/Rel…. dcic-world.org


The Grumpy SRE (rob) 님이 재게시함

as an experienced engineer, the worst part of AI right now is the illusion of productivity and constantly battling the sunk-cost fallacy


Working through the first couple parts in Racket this AM. Great stuff!

If you are at all interested in type checking, you should definitely check out Stephen Diehl’s Typechecking Zoo! It has in-depth walkthroughs of implementing progressively more advanced type systems. Link below 👇

therealchreke's tweet image. If you are at all interested in type checking, you should definitely check out Stephen Diehl’s Typechecking Zoo! It has in-depth walkthroughs of implementing progressively more advanced type systems. Link below 👇


"You and your research" - Hamming Always inspiring, watched like 10x and even bought the long version book. Can't recommend enough. Link to talk: youtu.be/a1zDuOPkMSw?si…

grumpy_sre's tweet card. Hamming, "You and Your Research" (June 6, 1995)

youtube.com

YouTube

Hamming, "You and Your Research" (June 6, 1995)


Long road trip. Cycling between @ttforall and @HaskelInterlude. Came across this gem!! Absolutely loved the class I took which used tidal at @ColbyCollege. Possibly only pure functional class during my time there and also what a vibe, final concert was a highlight of my 4 years!

In this episode we speak to Alex McLean who created the TidalCycles system for electronic music - implemented in Haskell of course. haskell.foundation/podcast/67/



United States 트렌드

Loading...

Something went wrong.


Something went wrong.