Aaron Eline
@aaroneline.bsky.social
Does anyone know how SMTLIB's String theory does unicode normalization?
August 23, 2025 at 3:02 PM
Does anyone know how SMTLIB's String theory does unicode normalization?
Attended USENIX last week. Wrote up some of the work I saw: aaronjeline.github.io/posts/usenix...
USENIX 2025 Travel Blog
aaronjeline.github.io
August 18, 2025 at 1:00 PM
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.
https://www.youtube.com/watch?v=ux49IvxKQR8
t.co
July 3, 2025 at 5:12 AM
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.
March 30, 2025 at 3:36 PM
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...
The Art of Formatting Code · mcyoung
mcyoung.xyz
March 16, 2025 at 3:35 AM
Great article from @mcy.gay on pretty printing. mcyoung.xyz/2025/03/11/f...
Finally, someone's saying it!
January 30, 2025 at 2:04 AM
Finally, someone's saying it!
It's been a year since this silly guy was officially cured. He's unstoppable.
January 26, 2025 at 8:33 PM
It's been a year since this silly guy was officially cured. He's unstoppable.
Maya just brought me this
January 17, 2025 at 8:56 PM
Maya just brought me this
Someone is happy I’m back at my desk all day
January 6, 2025 at 7:28 PM
Someone is happy I’m back at my desk all day
Someone is enjoying the fruits of Christmas
December 30, 2024 at 6:47 PM
Someone is enjoying the fruits of Christmas
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)
I’ll start in the thread below! (It’ll be obvious I’ve been thinking a lot about testing this year)
arxiv.org
December 19, 2024 at 9:18 PM
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)
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
December 17, 2024 at 3:56 PM
Nice argument but I’ve already drawn your api as a huddle of grotesques and my api as the meeting of beauty
Reposted by Aaron Eline
new market inefficiency spotted
December 17, 2024 at 1:39 PM
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.
December 17, 2024 at 6:01 AM
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.
Look at the mini ice cream cone Maya made
September 26, 2023 at 4:46 PM
Look at the mini ice cream cone Maya made
Reposted by Aaron Eline
Haskell is really just such a joy to write
July 4, 2023 at 3:19 PM
Haskell is really just such a joy to write
Reposted by Aaron Eline
