mathematics
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