Gan Shen

@ganshen
21 Followers
74 Following
27 Posts
PhD student at UC Santa Cruz studying programming languages
Homepagehttps://gshen42.github.io
Gan Shen2d ago
No, I don't want to share my browsing data with you.
Gan ShenMar 10
Show threadjulesMar 9

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

Gan ShenMar 9
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.
Show threadGan ShenMar 7
@redmp Fedora was pretty good when I was running desktop Linux
Gan ShenMar 4
Show threadDaphne Preston-KendalMar 4
@lindsey https://docs.racket-lang.org/cadnr/index.html
c(a|d)ⁿr

Gan ShenFeb 28
I've accumulated three apps on my dock that feature a Z icon 🤣(they're Zed, Zulip, and Zotero)
Show threadGan ShenFeb 28
@lindsey They're all good reads!
Gan ShenFeb 17
TIL that you can have Agda-like decidable equality in Haskell using the singleton package.
Show threadGan ShenFeb 3
@zyang This sounds horrible 😞
Show threadGan ShenOct 31
@redmp emacs lisp 🙃 and it comes with an operating system