Isaac Harris-Holt

Graphic with headline "Gleam in production" and a quote: "Gleam’s type system, along with classic BEAM goodness like supervision trees, has given us total confidence that our code will handle just about anything we throw at it" - Isaac Harris-Holt, CTO at Rover

"We’ve started using Gleam to orchestrate all of the background jobs that happen in our system. Gleam’s type system, along with classic BEAM goodness like supervision trees, has given us total confidence that our code will handle just about anything we throw at it" - @ihh.dev ⭐

Oh I love a bit of history! Let's hope that autocomplete can save me from the same fate 😅

GitHub - Pevensie/valkyrie: A Redis and Valkey client for Gleam! A Redis and Valkey client for Gleam! Contribute to Pevensie/valkyrie development by creating an account on GitHub.

Check it out 👀
github.com/Pevensie/val...

GitHub - Pevensie/valkyrie: A Redis and Valkey client for Gleam! A Redis and Valkey client for Gleam! Contribute to Pevensie/valkyrie development by creating an account on GitHub.

I have once again been nerd-sniped by @lpil.uk into writing a Gleam package.

This time, it's a lightweight, high-perf client for Redis-compatible databases, called Valkyrie!

The library includes a connection pool, and has been tested against Redis, Valkey, KeyDB and Dragonfly.

I'm trying to watch Doctor Who but keep getting distracted by work. Caffeine is a bitch.

And now we're coming up to some @gleam.run with @ihh.dev !

Who basically youtubed himself into @gleam.run / the gleambassador!

@codebeam.bsky.social Stockholm

There was a bug. It's now 11pm. Damnit.

A screenshot of a GitHub Action running for tag `prod-v0.16.0`

Deploying to prod at 5pm on a Friday? Try 8pm on the Friday before I leave the country for @codebeam.bsky.social Lite Stockholm 😎

YouTube video by Isaac Harris-Holt Everything you need to know about Decoders in Gleam

Hey folks, it's been a little while since I've released a video. Here's one talking about how to decode dynamic data in Gleam - a super important topic!

Take a look 👀

youtu.be/JPGiHrtWJCg

Check out what we've been working on for the past little while!

Screenshot of the Rover agent detecting that a vibecoder has committed their API token

can 100 unarmed vibecoders defeat 1 security audit

🔹Giacomo Cavalieri & Isaac Harris-Holt: Talks on #Gleam at Lambda Days 2025🔹
@giacomocavalieri.me dives into #Squirrel, a Gleam library for #type-safe #database access, while @ihh.dev explains how Gleam can simplify #backend architecture.

🎟️ Don't miss their talks on the Lambda Days agenda!

What happens when you fall into a new language by accident? @ihh.dev ’s journey into Gleam proves it might just be the best mistake you ever make. codebeamstockholm.com/talks/Jumpin...

When asked what they liked about Gleam, developers responded with:

"It's very braindead"
"Gleam is Haskell for normies"
"The core team is very fasionable"
"I don't have to configure TS"

I think I've picked the right language

Screenshot of a GitHub Pull request comment made by the Rover bot, detailing a potential race condition in some code

The Rover bot just stopped us from shipping a buggy feature to prod (again).

You get: a better experience exploring your codebase graphs
we get: to not waste another development cycle fixing it

#devtools #softwaredevelopment #dev

How we rewrote OpenFGA in pure Postgres TL;DR: We rewrote parts of OpenFGA in pure Postgres to make it easier to keep our authorization system up-to-date with our main database.

Rover's own @ihh.dev takes us through how we implemented our own ReBAC auth system in our latest blog post

Somehow, it's the least painful infra work we've ever done

getrover.substack.com/p/how-we-rew...

#devops #buildinpublic #dev

If you're wondering where I've been over the last little while (and why there haven't been many videos), this is it!

Introducing Rover Ship fast; break nothing

With the Rover public beta now open, treat yourself to a little coffee break and read about the problems with software incidents that inspired us to build getrover.substack.com/p/introducin...

#devtools #dev #softwareengineering #launchday

Hello, Mars
#launch #startup #software #buildinpublic #devtool

YouTube video by Isaac Harris-Holt I'm hosting a Gleam chess bot tournament

It's announcement time! For a bit of fun, I'm hosting a Gleam chess bot tournament. Details here👀

youtu.be/YOQTAI0KA9M

People who espouse "journey over destination" have clearly never paid for a London cab

It'd be really cool if this supported SCIP output (the successor to LSIF for code indexing). rust-analyzer has it built-in, and the current implementation of scip-python is built on PyRight.

YouTube video by Isaac Harris-Holt You could be doing more with static typing in Gleam

Hey folks! It's time for a new video. Statically-typed languages are fantastic. A true blessing to society.

But you're probably not using them properly.

youtu.be/dMtZdPiMfb0?...

Aw shucks! Oh well, will just have to find another 350 stats somewhere...

Depends on the brand of hot chocolate as to whether it's tolerable

Hot chocolate with water is just worse

Likewise, I understand why "nyoom in circle" is appealing to some... I think

Well that's exactly why it's better!

I don't get why people watch F1 when Mario Kart is the same thing but better

A bedroom with a camera and teleprompter, 3 studio lights and soundproof panels.

Turning your bedroom into a recording studio is the most fun you can have with your clothes on.