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

Creată 10h | 15 iun. 2025, 18:20:08

Autentifică-te pentru a adăuga comentarii

Alte posturi din acest grup

Meta's Llama 3.1 can recall 42 percent of the first Harry Potter book

Meta's Llama 3.1 can recall 42 percent of the first Harry Potter book

Article URL: https://www.understandingai.org/p/metas-llama-31-can-recall-42-percent

Comments URL:

16 iun. 2025, 03:30:12 | Hacker news

KAIST Succeeds in Real-Time CO2 Monitoring Without Batteries or External Power

KAIST Succeeds in Real-Time CO2 Monitoring Without Batteries or External Power

Article URL: https://news.kaist.ac.kr/newsen/html/news/?mode=V&mng_no=47450

Comments URL:

16 iun. 2025, 03:30:09 | Hacker news

Let's Talk About ChatGPT-Induced Spiritual Psychosis

Let's Talk About ChatGPT-Induced Spiritual Psychosis

Article URL: https://default.blog/p/lets-talk-about-chatgpt-induced-spiritual

Comments URL:

16 iun. 2025, 03:30:08 | Hacker news

DARPA program sets distance record for power beaming

DARPA program sets distance record for power beaming

Article URL: https://www.darpa.mil/news/2025/darpa-program-distance-record-power-beaming

Comments U

16 iun. 2025, 01:20:05 | Hacker news

First-Ever Supercritical CO2 Circuit Breaker Debuts

First-Ever Supercritical CO2 Circuit Breaker Debuts

Article URL: https://spectrum.ieee.org/sf6-gas-replacement

Comments URL:

16 iun. 2025, 01:20:04 | Hacker news

How fast can the RPython GC allocate?

How fast can the RPython GC allocate?

Article URL: https://pypy.org/posts/2025/06/rpython-gc-allocation-speed.html

Comments URL:

15 iun. 2025, 22:50:13 | Hacker news

An Introduction to the Hieroglyphic Language of Early 1900s Train-Hoppers

An Introduction to the Hieroglyphic Language of Early 1900s Train-Hoppers

Article URL: https://www.openculture.com/2018/08/hobo-code-introduction-hi

15 iun. 2025, 22:50:11 | Hacker news

Techie