Stories by logicprog

ECA: Editor (Agnostic) Code Assistant

Everything about the GNOME finance situation [video]

Fyrox - A feature-rich game engine built in Rust

SSC Post on GPT-3: How far can we push this kind of AI?

Better off Stateless (2007) [pdf]

Capsicum: Practical Capabilities for Unix

Sieve of Eratosthenes in APL

MicroKanren: A Minimal Functional Core for Relational Programming (2013) [pdf]

Show HN: Atomic Database: A deductive database with a natural language interface

Show HN: High Schoolers start video series on how to write data structures in C

Graceful Athiest – What If I Grant You That? (2016)