I have already biked indoors on stationary bikes in 2026!

First bike ride for the year done 🚴

RIP old Jerry pfp

I regret clicking that link

Protein packets

Braid was one of my first games on Steam. Really fun game

Second attempt I asked it to break it down into lemmas, and prove those individually, as one would when handwriting a proof. After a few rounds of compaction it finally go there.

Shocking what it can accomplish given my modest background in automated theorem proving.

I was able to jam this through with Claude Code (will post proof later in some form)

Initial attempts of prompting by "just prove it" (or similar) blew through my quota with no output, CC just spent forever thinking.

I think I only know about Artemis II because of my Bluesky friends.

Here’s my contribution to April Cools:

www.vikramsaraph.com/blog/2026/04...

www.aprilcools.club

Didn’t know I needed this joke in my life till now

People we ever saying that it writes novel code *slower* than oneself?

Christina Koch - Wikipedia

I’d learned today from a coworker that Christina Koch worked at APL at some point: en.wikipedia.org/wiki/Christi...

Mug that says mobsters, lobsters, Rhode Island

This mug is still in my possession 🙂

Hard to believe it’s been 10 years since this happened.

I was around during that time and remember discussing among Brown grad students how cringey of a slogan this would be.

I’m wondering which bloggers are doing this, but I can only imagine why they might do this is to generate content faster due to time constraints.

I’m pro-AI for making recommendations on editing content, but anti wholesale writing of it

too bad I can’t add this to my regular queue

Metric - Torture Me YouTube video by Bloo Music

I learned that some of the really early music made by Metric on their Grow Up and Blow Away album isn’t on Spotify (or maybe other streaming services). Someone uploaded a few of these to YouTube though, including this banger:

Pizza Alexander horned sphere? Am I doing this right?

Oh cool TIL new spider man trailer!

One of my favorite and most memorable non-fiction reads.

More! More! More! Tech Workers Max Out Their A.I. Use.

Related to trends in AI usage:

It's hard to believe it's already been a year, but I just bought a virtual ticket for only $99. Good (hacker) conference with good people. Looking forward to anything related to hardware or AI.

TIL how to factory reset a Yamaha Clavinova (20+ year old digital piano, with a floppy drive ‼️) because our son button mashed it in a way we couldn’t figure out how to undo.

Sounds like I’ve got to watch Project Hail Mary what with all the posts on here. I’ve already listened to the audiobook.

OpenAI to acquire Astral Accelerates Codex growth to power the next generation of Python developer tools

openai.com/index/openai...

This is big

tfw you learn more of your grad school contacts are on Signal 🥰

Apparently some flights from Atlanta to Huntsville also go back in time (destination wall clock time earlier than origin’s). Just like South Bend to Chicago.