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!

10.05.2025 16:57 — 👍 2    🔁 2    💬 0    📌 0

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

29.04.2025 17:12 — 👍 5    🔁 2    💬 1    📌 0

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

29.04.2025 02:12 — 👍 10    🔁 4    💬 1    📌 2

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

28.04.2025 20:39 — 👍 120    🔁 9    💬 15    📌 3

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

24.04.2025 20:37 — 👍 3    🔁 0    💬 0    📌 0

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)

18.03.2025 04:45 — 👍 13    🔁 2    💬 3    📌 0

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

06.03.2025 19:41 — 👍 1    🔁 0    💬 0    📌 0

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

21.02.2025 23:16 — 👍 15    🔁 7    💬 0    📌 1