Datalog in miniKanren

Comments (1)

deosjr · 17m ago

Seems like interest in Datalog is high this week, so I thought I'd share a write-up of a minimal Datalog implementation I did a while ago.

Runs in the browser using Hoot (https://spritely.institute/hoot/) which compiles Guile Scheme to WebAssembly.

Tell HN: Help restore the tax deduction for software dev in the US (Section 174)

GCP Outage (status.cloud.google.com)

Frequent reauth doesn't make you more secure (tailscale.com)

A receipt printer cured my procrastination (laurieherault.com)

The last six months in LLMs, illustrated by pelicans on bicycles (simonwillison.net)

Magistral — the first reasoning model by Mistral AI (mistral.ai)

If the moon were only 1 pixel: A tediously accurate solar system model (2014) (joshworth.com)

Apple announces Foundation Models and Containerization frameworks, etc (apple.com)

Jemalloc Postmortem (jasone.github.io)

Containerization is a Swift package for running Linux containers on macOS (github.com)

Research suggests Big Bang may have taken place inside a black hole (port.ac.uk)

Apple introduces a universal design across platforms (apple.com)

US-backed Israeli company's spyware used to target European journalists (apnews.com)

Marines being mobilized in response to LA protests (cnn.com)

I convinced HP's board to buy Palm and watched them kill it (philmckinney.substack.com)

Chatterbox TTS (github.com)

Congratulations on creating the one billionth repository on GitHub (github.com)

Bruteforcing the phone number of any Google user (brutecat.com)

How I program with agents (crawshaw.io)

Launch HN: Vassar Robotics (YC X25) – $219 robot arm that learns new skills

"Localhost tracking" explained. It could cost Meta €32B (zeropartydata.es)

Kagi Reaches 50k Users (kagi.com)

OpenAI dropped the price of o3 by 80% (twitter.com)

Air India flight to London crashes in Ahmedabad with more than 240 onboard (theguardian.com)

Self-Host and Tech Independence: The Joy of Building Your Own (ssp.sh)

Meta invests $14.3B in Scale AI to kick-start superintelligence lab (nytimes.com)

Joining Apple Computer (2018) (folklore.org)

We’re secretly winning the war on cancer (vox.com)

Building supercomputers for autocrats probably isn't good for democracy (helentoner.substack.com)

Danish Ministry Replaces Windows and Microsoft Office with Linux and LibreOffice (heise.de)

I have reimplemented Stable Diffusion 3.5 from scratch in pure PyTorch (github.com)

Convert photos to Atkinson dithering (gazs.github.io)

Waymo rides cost more than Uber or Lyft and people are paying anyway (techcrunch.com)

Show HN: I made a 3D printed VTOL drone (tsungxu.com)

FSE meets the FBI (blog.freespeechextremist.com)

Rendering Crispy Text on the GPU (osor.io)

Low-background Steel: content without AI contamination (blog.jgc.org)

Show HN: Chili3d – A open-source, browser-based 3D CAD application

Successful people set constraints rather than chasing goals (joanwestenberg.com)

Brian Wilson has died (pitchfork.com)

Finding Shawn Mendes (2019) (ericneyman.wordpress.com)

Ask HN: How do I give back to people helped me when I was young and had nothing?

iPhone 11 emulation done in QEMU (github.com)

macOS Tahoe brings a new disk image format (eclecticlight.co)

Sly Stone has died (abcnews.go.com)

Endometriosis is an interesting disease (owlposting.com)

Show HN: Spark, An advanced 3D Gaussian Splatting renderer for Three.js (sparkjs.dev)

Microsoft Office migration from Source Depot to Git (danielsada.tech)

Field Notes from Shipping Real Code with Claude (diwank.space)

Why Android can't use CDC Ethernet (2023) (jordemort.dev)

Datalog in miniKanren

Comments (1)