Hackers' Pub

Hackers’ Pub

Syntax	Description	Examples
`"` keyword `"`	Finds the string within quotes, including spaces. Case-insensitive. (Escape quotes inside with `\"`)	`"Hackers' Pub"`
`from:` handle	Finds content written by the specified user.	`from:hongminhee` `from:hongminhee@hollo.social`
`lang:` ISO 639-1	Finds content written in the specified language.	`lang:en`
`#` tag	Finds content with the specified tag. Case-insensitive.	`#HackersPub`
condition condition	Finds content that satisfies both conditions on either side of the space (logical AND).	`"Hackers' Pub" lang:en`
condition `OR` condition	Finds content that satisfies at least one of the conditions on either side of the OR operator (logical OR).	`#HackersPub OR "Hackers' Pub" lang:en`
`(` condition `)`	Combines the operators within the parentheses first.	`(#HackersPub OR "Hackers' Pub" OR "Hackers Pub") lang:en`

bgl gwyng @bgl@hackers.pub

4/18/2025, 3:49:58 PM

Public

파이썬에 kanren이라고 논리형 DSL이 있구나.

GitHub - pythological/kanren: An extensible, lightweight relational/logic programming DSL written in pure Python

An extensible, lightweight relational/logic programming DSL written in pure Python - pythological/kanren

github.com · GitHub

박준규 @curry@hackers.pub

4/18/2025, 11:56:19 PM

Public

@bglbgl gwyng miniKanren이라는 게 있고 다른 언어로 여러 구현체가 있나 봅니다. kanren은 일본어 関連かんれん의 발음을 영어로 적은 거네요. 공교롭게 하스켈 커뮤니티에서도 최근 typedKanren을 다룬 글이 있길래 잠깐 찾아봤습니다. https://discourse.haskell.org/t/the-haskell-unfolder-episode-42-logic-programming-with-typedkanren/11869

세 개의 타원형 노드로 구성된 계층 구조 다이어그램입니다.

* 최상단 노드는 “miniKanren, Scheme”이라고 적혀 있으며, 두 개의 아래 노드로 화살표가 연결되어 있습니다.
* 왼쪽 아래 노드는 “kanren, Python”이라고 적혀 있습니다.
* 오른쪽 아래 노드는 “typedKanren, Haskell”이라고 적혀 있습니다.
이 다이어그램은 miniKanren이 Scheme 언어로 작성되었고, 그로부터 Python 버전인 kanren과 Haskell 버전인 typedKanren이 파생되었음을 나타냅니다.

If you have a fediverse account, you can quote this note from your own instance. Search https://hackers.pub/ap/notes/01964b54-ed27-728f-b3f2-34430c870070 on your instance and quote it. (Note that quoting is not supported in Mastodon.)