Trending tags: ai  github.com  rust  trump  psychology  health  microsoft  show  linux  psypost.org  apple  go  vibecoding  environment  brain  arstechnica.com  web  theguardian.com  java  nature.com 

Making a “MiniKanren” using Z3Py (2021)

4 years ago philipzucker.com

Related Stories

Datalog in miniKanren

6 days ago deosjr.github.io database lisp

Shirt Without Stripes (2021)

14 days ago github.com

User-space interrupts (2021)

8 days ago lwn.net osdev

Fast Rust Builds (2021)

41 hours ago matklad.github.io rust

Exploiting Vulnerabilities in Cellebrite UFED (2021)

10 days ago signal.org

Help making a Android binary

4 days ago reddit.com android rust

The Making Of: de_dust2

4 days ago johnsto.co.uk

Windows 10 spies on your use of System Settings (2021)

14 days ago michaelhorowitz.com windows

Making $1M from my personal projects

20 days ago alexwest.co

GitHub Summer of Making has started

5 days ago summer.hack.club github

Making Cobra CLIs even more fabulous

3 days ago reddit.com go

Making chess in ncurses and c++

25 hours ago youtube.com c++

Making Sense of Acquire-Release Semantics (2023)

14 days ago davekilian.com c

Making diagrams with syntax-highlighted code snippets

33 hours ago vexlio.com

It’s nearly impossible to buy an original Bob Ross painting (2021)

6 days ago thehustle.co

AI Chatbots Are Making LA Protest Disinformation Worse

11 days ago wired.com ai

“Bugs are 100x more expensive to fix in production” study might not exist (2021)

20 days ago theregister.com

Making Emacs lsp-mode work with Rust conditional features

10 days ago blog.aheymans.xyz emacs rust

diceomatic: a DSL for making children's dice games

9 days ago robertheaton.com game python

Let's make a game! 257: Enemy decision-making

2 days ago youtube.com game

Making a genetic algorithm to navigate a 2D spacecraft

10 hours ago a-biad.github.io algorithm genetics

The curious case of shell commands, or how "this bug is required by POSIX" (2021)

11 days ago notes.volution.ro

Show HN: I am making an app to rival "Everything"

12 days ago drimiteros.github.io show

Steam Beta enables Proton on Linux making Linux gaming simpler

3 days ago gamingonlinux.com game linux

Making a multiplayer Wordle: Pushing the Overwatch Workshop to its limits

12 days ago zez.dev

AI coding assistants aren’t really making devs feel more productive

10 days ago leaddev.com ai

Problems Using SCT Library

4 days ago reddit.com rust

Making Magic with MCP: From Data Retrieval to Real Analysis and Insights

18 days ago jellyfish.co

Making a Package Manager Plugin for Neovim - Need Advice on Handling Go

8 days ago reddit.com go neovim vim

Is there a Vim equivalent of touch typing drills? I tried making one

25 hours ago vimdrill.com vim