Guannan Wei

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

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!

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

From the changemyview community on Reddit Explore this post and more from the changemyview community

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

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

"Migrating away from #rustlang" deadmoney.gg/news/article...

Hope your students find it more interesting to learn about CPS!

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)

Sorry to see this. If this is OOPSLA, this will be turned into at least a conditional accept. But now people complain that OOPSLA's acceptance rate is too high...

Making Logical Relations More Relatable (Proof Pearl) Mechanical proofs by logical relations often involve tedious reasoning about substitution. In this paper, we show that this is not necessarily the case, by developing, in Agda, a proof that all simply...

An excellent first introduction to logical relations:

arxiv.org/abs/2309.15724