← Feed

Posts

• View post

• View post

  i hate double columni hate double columni hate double columni hate double columni hate double columni hate double columni hate double columni hate double columni hate double columni hate double columni hate double columni hate double columni hate double columni hate double columni hate double columni hate double columni hate double column

• View post

  Hi all, I'm very excited to announce that Darshall Shetty and I are co-student volunteer chairs for ICFP 2026! We've just posted the student volunteer application form, please apply/forward to interested students. We are also having full AV this year, headed by Eloise (@fdeitylink) and Dexter. https://icfp26.sigplan.org/track/icfp-2026-icfp-volunteers Note: we've extended the application deadline to after the LOPSTR+PDPP acceptance date, to accommodate any students subm...

• View post

  logo by sean is officially on the website https://www.williamjbowman.com/arli/

• View post

  got a *faculty* teaching award as a PhD student, feels like this should count to graduate amirite????

• View post

  v cute note found inside this library book I got 🥺

• View post

  please submit to MSFP! (Mathematically Structured Functional Programming), the deadline has been extended to Thursday, May 7th! more info here: https://msfp-workshop.github.io/msfp2026/

• View post

  i did metalsmithing this weekend, new (unfortunately pricey) hobby unlocked

• View post

  friend sent me the new joyce manor album and damn I miss being a hipster

• View post

  what's the worst part of being mentally unwell is how expensive it is

• View post

  "it's gonna get way more confusing don't worry"

• View post

  RE: https://mastodon.gamedev.place/@lritter/116418496330684145 chomping at the bit to post this on the cs dept slack but

• View post

  @wilbowma acm financial data fans is the new "sports fans"

• View post

  this morning I was trying to get a head start, so I skipped my usual slow morning hang in the comfy chair with sumi in my lap while I drink my coffee. as I was getting ready, sumi is YOWLING in the hallway, like never before. I sit down in the comfy chair and she literally SPRINTS into my lap. lesson learned: never change routine.

• View post

  LB: I love this post for starting off with a casio watch bc that's what I have too, and ppl in my running group are shocked and keep suggesting I get a smart watch and I refuseeeee

• View post

  every year I wait until the last minute to do my us taxes and every year I immediately DUMP how to do it out of my brain every year and then every year is spent remembering how to do it again

• View post

  very very happy to announce my and @wilbowma's paper "Type Universes as Kripke Worlds" at ICFP 2025 this year 🎉 🌐 🌌

• View post

  https://www.reddit.com/r/math/comments/37yyyz/comment/crssj4u TIL the $ delimiters in latex were due to how expensive it was to typeset math, is this true??

• View post

  since blogs are trendy https://koronkevi.ch/posts/humanity.html