I did the 5 boro bike tour today through NYC! 40 miles through all 5 boroughs.

Name your top 15 TV shows, gut instincts only Better Call Saul It’s Always Sunny in Philadelphia Gravity Falls Seinfeld Mythic Quest Rick and Morty Nathan for You Pluribus Arrested Development Murderbot One Piece (live action) Death Note Bojack Horseman The Boys The Marvelous Ms Maisel

Most tragic things about AI: the folks who should push for democratization of AI tools, which is the real battle, are too focused on denying AI itself to do that. There are many potential issues (and wins), but frontier models available only to the rich is one of the worst.

We do these things, not because they are easy, but because we want to drive impact through strategic partnerships and operational excellence.

First job was as a computer consultant for Notre Dame’s engineering computing facility the summer before starting college there. Did various IT things for supporting a RHEL cluster. I think it was like $9/hr?

Hard not to post Claude Claude Claude if the goal is engagement

This finally arrived in the mail!

Got a strong recommendation from my wife to read Yumi and the Nightmare Painter. Apparently it has lots of anime tropes.

Took some convincing of Claude to acknowledge that Potoin (not a typo) is a real item in FF VII: Dirge of Cerberus: claude.ai/share/2269c8...

Romanticize the Dive is finally out! open.spotify.com/album/75oefo...

jtomschroeder.com/blog/approxi... TIL of Padé approximants

Some kind of outlook outage causing me to send double and triple emails 🙃

It’s a small world when you randomly notice your old roommate’s PhD advisor is giving a talk this week at the institution you work.

Ride down the B&A bike path this morning with a few friends. Pretty day out today but it’s also only April for it to be this hot 🥵

Learned of this today: model-checking.github.io/kani/

Interesting chatter about this www.reddit.com/r/math/comme... Math community is often skeptical, and I’ve never seen them this stunned by a result. And by a public model too.

This paper claims you can define all elementary functions using just two primitive operations: the constant 1, and the binary function eml(x, y) := e^x - log(y). It's probably true but it may need work because it effectively defines i as √-1 ignoring the two choices here. arxiv.org/abs/2603.21852

I recognized this evening’s puzzled pint author solely from the font they typically use in their flavor text 😬

Learned this one only a couple of years ago.

This is the real deal folks red.anthropic.com/2026/mythos-...

Apparently each of my wife’s and her siblings’ partners (ie me + my siblings in law) like Legos and each got this set for Easter: www.lego.com/en-us/produc...

Anyone who makes an "I learned about this too late" post is doing a public service. They are very likely helping lots of other people at the risk of public embarrassment.

I didn’t use Jupyter notebooks enough to realize that it’ll reuse the venv from which the server was spawned, meaning pip installs will install in the same venv? As opposed to just creating a new venv when you start up the server claude.ai/share/e60c37...

Just learned that @antithesis.com is on Bluesky!

First bike ride for the year done 🚴

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

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

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:

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

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

I accidentally got added to a Signal group by a friend who’s doing board games in the Boston area this weekend. I pointed out the error saying I don’t live there, but I did briefly entertain the thought of flying over there just for board games 😂

claude --i'm-feeling-lucky

Goodreads finally getting a DNF

My mom mailed us a box of some of my old toys for our son to now play with, among them a bunch of my old legos which I am so so excited to have.

Hey I have soundness and completeness of unification in Lean! I'm not sure it's been done (though I wouldn't be shocked). It was harder than I expected, tbh. I should have followed the paper proof more closely. github.com/codyroux/tra...

One piece season 2 (the live action Netflix show) doesn’t have the same novelty as seeing a live action portrayal of it for the first time, but still totally worth watching.