← Feed

Posts

• View post

  Lean is using 800% of my CPU?????

• View post

  Why does the ACM DL display paper titles lower-cased (and generate citations that way) when the papers themselves are Title Case?

• View post

  When did "fixed-point" become just "fixpoint"

• View post

  even my impostor syndrome is fake because it doesn't increase my social capital, apparently

• View post

  PetGuessr #52 — 4/10 ❌🐶🐶❌🐱 ❌❌🐱❌❌ https://petguessr.com

• View post

  just one more meeting until weekend

• View post

  13 mins and 31 seconds

• View post

• View post

  i hate cars

• View post

  it's so funny that companies will tell rank-and-file employees that they have to obey some kind of social media code of conduct but then allow their most visible employees to post screenshots of text conversations with other academics and air dirty laundry in public about academic integrity

• View post

  incompressible Navier-Stokes more like incomprehensible Navier-Stokes (i don't know any physics)

• View post

  Our PLDI paper won a Distinguished Paper Award! Congrats to my collaborators @alpha_convert@types.pl and Manya Bansal (who tragically is not on Mastodon). I am extremely proud of the work we did on this, and I am excited to continue this line of research in the near future.

• View post

  paper titles from the 1980s are like "Tree Types" and paper titles from the 2020s are like "Glorp: A Sound Embedding of Algebraic Tree Types in a Domain Specific Language for Network Systems". where did we go wrong

• View post

  How does one write an entire language design paper without actually naming the language it describes???

• View post

  domain specific language for general purpose programming

• View post

  ah, my favorite proof technique

• View post

  poggers and preservation