← Feed

Posts

• Post #3537095

• Post #3184718

  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

• Post #2932807

  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...

• Post #2932806

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

• Post #2932805

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

• Post #2361450

  v cute note found inside this library book I got 🥺

• Post #1840431

  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/

• Post #1806300

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

• Post #1349157

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

• Post #1349156

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

• Post #1349155

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

• Post #1349153

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

• Post #1156286

  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.

• Post #1156284

  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

• Post #1156283

  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

• Post #872119

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

• Post #862083

  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??

• Post #723192

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