Profile avatar
samth.bsky.social
Associate Professor, IU Computer Science · Core Developer, @racketlang.bsky.social · Member, TC39 · Handler, Gravymaker · Bike Advocate, Bloomington IN
953 posts 1,543 followers 503 following
Getting Started
Active Commenter
Posts 5 Comments 45

Over the 10 days, I wrote a new Racket library for "expect testing", a style that @yminsky.bsky.social has advocated for in OCaml. github.com/samth/recspe... As an experiment, I built it entirely with Codex (the OpenAI async AI programming tool). I have some thoughts.

submitted 2 days ago • 1 comment

Outside the Brown County Courthouse in Nashville, Indiana #NoKings

submitted 5 days ago • 5 comments

Here's a paper describing quantum computing using standard programming constructs, w/o the linear algebra! The hope is that this will demystify quantum computing and serve as a formal foundation for reasoning about quantum programs. paper eprint.iacr.org/2025/1091.pdf code github.com/qqq-wisc/qwla

submitted 7 days ago • 2 comments

Bluesky is less fun because it's 100% about the current events that are horrifying and bad.

submitted 7 days ago • 1 comment

Hot take: a lot of posting about this is based on anxiety that maybe this does poll well with swing voters in Ohio.

submitted 9 days ago • 0 comments