Does anyone know how SMTLIB's String theory does unicode normalization?

Coffee and a cat

Attended USENIX last week. Wrote up some of the work I saw: aaronjeline.github.io/posts/usenix...

Great talk from Joe Cutler: t.co/8Ffra2YkMt on improving the performance of property based testing.

Got to revive an old tradition today. Coffee with my dad at Reister's Daughter.

Great article from @mcy.gay on pretty printing. mcyoung.xyz/2025/03/11/f...

Finally, someone's saying it!

??

It's been a year since this silly guy was officially cured. He's unstoppable.

Maya just brought me this

Someone is happy I’m back at my desk all day

Someone is enjoying the fruits of Christmas

Sleep cat

Cats

Favorite CS work you’ve read this year? I’ll start in the thread below! (It’ll be obvious I’ve been thinking a lot about testing this year)

Nice argument but I’ve already drawn your api as a huddle of grotesques and my api as the meeting of beauty

new market inefficiency spotted

A maybe stupid parsing question. I read Matt Might's "Yacc Is Dead". This technique (among others) produce a parse forest in the face of ambiguity. How does one (efficiently) reduce the parse forest to the one tree that you want w/r/t operator precedence? Can't find a source on it.

Ok I'm here too

Look at the mini ice cream cone Maya made

Haskell is really just such a joy to write

Lol twitter

Love to ride the MARC train

Pup The Band continues to be cool and good

Here we go again

Also gotta do first cat post

New Zelda Acquired

reskeet if you are pondering this orb