Gan Shen

@ganshen
21 Followers
73 Following
26 Posts
PhD student at UC Santa Cruz studying programming languages
Homepagehttps://gshen42.github.io
No, I don't want to share my browsing data with you.

@maxsnew I think LLMs have just exacerbated the preexisting contradiction between university as a place for education and university as a system for professional certification.

goodhart's law tells us that using grades for more than just feedback will inevitably distort behavior.

Engaging with a course in order to maximize learning and engaging with a course to maximize your grade have always been imperfectly aligned, LLMs have just served as wedge to widen that misalignment.

Every time I read about STM in Haskell, I'm impressed — it solves the problems that plain locks (`MVar`) are not composable in such an elegant way. And there's not much changes to the APIs. You just use `TVar` and wrap everything in a `atomically` block.
c(a|d)ⁿr

I've accumulated three apps on my dock that feature a Z icon 🤣(they're Zed, Zulip, and Zotero)
TIL that you can have Agda-like decidable equality in Haskell using the singleton package.
A hyper-logical Halloween
#programming
IFLScience.com
silly take on AWS 😂 credit https://www.twonks.co.uk

Suggested name revisions:

Apple TV (hardware) ➡️ Apple HDMI box thingy

Apple TV (app) ➡️ iTunes

Apple TV (service) ➡️ Not Netflix, the Other One

Did some vibe coding today on some front-end stuff. It kind worked. I guess this is the new norm now.