Stories by harperlee

Proofs Should Repair Themselves

Opiates of the Middle Classes

Logic programming in higher-order logic

The Rise and Fall of the Failed-State Paradigm

About each topic, a selection of five books

A compared review of the best textbooks in Any Subject

Can Codeq 2 solve Clojure’s weaknesses?

Commoditize your complement (2019)

A Road to Common Lisp

Literature-Based Discovery

Rendering deep implicit signed distance fns with differenciable sphere tracing

Data Denormalization Is Broken

A Retargetable Forward and Inverse Renderer (Differentiable Renderer)

Ranked programming: Probabilistic programming without probabilities

Different Perspectives to Solve Problems

PyMC: Theano Is Dead, Long Live Theano

Logic, Explainability and the Future of Understanding

Artificial Intelligence and Bloom’s Taxonomy

UKanren in J: Embedding in an Array Language with Rank-Polymorphic Unification [pdf]

Building a Lego-powered Submarine with magnetic couplings

1
2
3
4
5
6