Guannan Wei
guannanwei.bsky.social
Guannan Wei
@guannanwei.bsky.social
Programming languages; Assistant Professor at Tufts CS; Previously INRIA/ENS, Purdue

https://continuation.passing.style/
Reposted by Guannan Wei
Please see the CFP for the 2025 miniKanren and Relational Programming Workshop! conf.researchr.org/home/icfp-sp... Tell your friends! Hope to see you all in Singapore!
miniKanren and Relational Programming Workshop 2025 - miniKanren 2025 - ICFP/SPLASH 2025
The miniKanren and Relational Programming Workshop is a workshop for the miniKanren family of relational (pure constraint logic programming) languages: miniKanren, microKanren, core.logic, OCanren, Gu...
conf.researchr.org
May 10, 2025 at 4:57 PM
Reposted by Guannan Wei
I just discovered Konrad Slind's Master's dissertation, and it's a great summary on how to make a HOL.

Let me link to the PDF...

ucalgary.scholaris.ca/server/api/c...
ucalgary.scholaris.ca
April 29, 2025 at 5:12 PM
Reposted by Guannan Wei
The latest human subjects research scandal: the University of Zurich research group experiments on Reddit users w/o consent.

Just don't do it, folks....
www.reddit.com/r/changemyvi...
From the changemyview community on Reddit
Explore this post and more from the changemyview community
www.reddit.com
April 29, 2025 at 2:12 AM
Reposted by Guannan Wei
PSA: Zotero is the best paper reading / bibliography management app today.

* FOSS.
* Highlighting + comments actually work.
* Has previews of references, figures, etc.
* IPad app that can be annotated with Apple Pencil and syncs to the desktop app.
* Has a notion of tags (collections)
March 18, 2025 at 4:45 AM