Guannan Wei
@guannanwei.bsky.social
Programming languages; Assistant Professor at Tufts CS; Previously INRIA/ENS, Purdue
https://continuation.passing.style/
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
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!
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...
Let me link to the PDF...
ucalgary.scholaris.ca/server/api/c...
ucalgary.scholaris.ca
April 29, 2025 at 5:12 PM
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...
Let me link to the PDF...
ucalgary.scholaris.ca/server/api/c...
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...
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
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...
Just don't do it, folks....
www.reddit.com/r/changemyvi...
Reposted by Guannan Wei
"Migrating away from #rustlang" deadmoney.gg/news/article...
Migrating away from Rust.
When I started building Architect of Ruin in December 2023 I chose to build it in the Bevy game engine. My choice was motivated by a pers...
deadmoney.gg
April 28, 2025 at 8:39 PM
"Migrating away from #rustlang" deadmoney.gg/news/article...
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)
* 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
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)
* 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)
Reposted by Guannan Wei
