math
24:46Painting a Character with Maths
458K views • 5 years ago
Inigo Quilez
Inigo Quilez live-codes a cartoon character painting entirely from math, using signed distance fields in a Shadertoy shader. He explains each step of building the image from formulas.
42:00I painted a Landscape with Mathematics
812K views • 4 years ago
Inigo Quilez
Inigo Quilez live-paints a mountain landscape using only math in a shader, building up from a basic polynomial noise surface through fractal terrain, lighting and atmosphere. The code runs in real time on Shadertoy so viewers can edit it as they follow along.
56:03A Tour of Prolog
33K views • 4 years ago
The Power of Prolog
Markus Triska tours Prolog's most distinctive features, including its use as a database and query language, rule processing, constraint solving and compile-time rewriting. It also covers concise meta-interpreters.
Topic match · Logic & formal methods