niftycent.com
NiftyCent
US
Login
Marketplace
Discounts

Datalog in miniKanren

Article URL: https://deosjr.github.io/dynamicland/datalog.html

Comments URL: https://news.ycombinator.com/item?id=44283093

Points: 10

# Comments: 2

https://deosjr.github.io/dynamicland/datalog.html

Created 2d | Jun 15, 2025, 6:20:08 PM


Login to add comment

Other posts in this group

The drawbridges come up: the dream of a interconnected context ecosystem is over
The drawbridges come up: the dream of a interconnected context ecosystem is over

Article URL: https://www.dbreunig.com/2025/06/16/drawbridges-go-up.html

Comments URL:

Jun 17, 2025, 5:10:11 AM | Hacker news
Selfish reasons for building accessible UIs
Selfish reasons for building accessible UIs

Article URL: https://nolanlawson.com/2025/06/16/selfish-reasons-for-building-accessible-uis/

Co

Jun 17, 2025, 5:10:10 AM | Hacker news
The Humble Programmer (1972)
The Humble Programmer (1972)

Article URL: https://www.cs.utexas.edu/~EWD/transcriptions/EWD03xx/EWD340.html

Comments URL:

Jun 17, 2025, 5:10:07 AM | Hacker news
William Langewiesche, the 'Steve McQueen of Journalism,' Dies at 70
William Langewiesche, the 'Steve McQueen of Journalism,' Dies at 70

Article URL: https://www.nytimes.com/2025/06/16/business/media/william-langewiesche-dead.html

Jun 17, 2025, 5:10:06 AM | Hacker news
Battle to eradicate invasive pythons in Florida achieves milestone
Battle to eradicate invasive pythons in Florida achieves milestone

Article URL: https://phys.org/news/2025-06-eradicate-invasive-pythons-florida-stunning.html

Comm

Jun 17, 2025, 2:40:20 AM | Hacker news
Generative AI coding tools and agents do not work for me
Generative AI coding tools and agents do not work for me

Article URL: https://blog.miguelgrinberg.com/post/why-generative-ai-coding-tools-and-age

Jun 17, 2025, 2:40:16 AM | Hacker news
Ask HN: How to Deal with a Bad Manager?
Ask HN: How to Deal with a Bad Manager?

Need some real life advice and stories from experienced folks.

I’ve been working for few years in a large company (think faang as a good approximation) in one of the departments under 1 manager.

Jun 17, 2025, 2:40:13 AM | Hacker news
Techie
Techie