- Graceful Lean
A small start on formally proving graceful paths and caterpillars in Lean.
graph theory
- Graceful Graph Moves
Visual tour of gracefulness graph transformations, with proofs for paths, caterpillars, and double stars.
graph theory
- An ECS lite architecture
Small write-up about my chip layout renderer.
software engineering
rust
- Extracting Faces from Graphs
How we extract faces from Arcol sketches. The cool part is the wedge algorithm from Jiang and Bunke.
geometry
graphics
graph theory
- Serialization-based undo
How I used zstd compression to implement an undo system for Blockdown.
c++
- C++ as a scripting language
How I used dynamic linking to quickly iterate on Blockdown puzzles.
c++
- Exploring Special Relativity
I coded up some Exploratorium style interactive diagrams to learn about special relativity.
physics
- Rolling Cubes and Group Theory
Some notes about rolling cube games.
group theory
- Generating SVG for the Prime Knots
How I created a wall poster of knot diagrams.
graph theory
- Kauffman's Cross Products Paper
How the Four Color Theorem relates to the algebra of cross products.
graph theory
- Tait Coloring
Tait coloring and the Four Color Theorem.
graph theory
- The Graceful Tree Conjecture
Graceful labelings on graphs and the GTC.
graph theory
- My American lineage
An interactive sunburst visualization of my father's pedigree.
personal
visualization
- Octasphere Tessellation
The virtues of the humble subdivided octahedron.
graphics
python
- Perfect Panning
Pan and zoom like Google Maps, but with perspective.
math
- 3D Wireframes in SVG
Using Python to generate 3D line art.
graphics
python
- par_streamlines.h
My tiny C library for triangulating wide lines, Béziers, and streamlines.
graphics
- Identity Theft
Timeline of my 2018 saga with identity theft.
personal
- Distance Fields
Generating and visualizing distance fields.
graphics
image processing
- prideout/snowy
Small Python 3 module for manipulating and generating images.
graphics
python
- streamlines
Rendering streamlines for data visualization.
graphics
visualization
- Animated Strava Paths
Fun with Strava Activities, D3, and Google Maps.
python
javascript
- par_sprune.h
My tiny C library for broad phase collision detection in 2D.
graphics
- par_bubbles.h
Single file C library for enclosing points with disks and making bubble diagrams.
graphics
- par_shapes.h
Generate triangle meshes from parametric surfaces, polyhedra, and L-systems.
graphics
- Remember 3Dlabs?
Reminiscing about my corporate alma mater.
personal
- GPU Particles
GPU-Driven Particles with WebGL 1.0.
opengl
graphics
- Zoomable Texturing
Texture experiments with highly zoomable content.
opengl
graphics
- Marching Squares
My single-file C library for generating triangles from images.
graphics
- Headless Rendering
Diary of adventures with headless OpenGL on an EC2 server.
opengl
cloud
nvidia
- Recursive Wang Tiles
My single-file C library for generating progressive blue noise sequences via Recursive Wang Tiles.
opengl
- Coordinate Fields
Discusses an interesting way to encode unsigned distance.
opengl
rendering
- prideout/heman
My own little open-source C library for doing heightmap stuff.
rendering
- Quad Meshes
Tricks for rendering quad meshes with OpenGL (core profile) and computing smooth normals with transform feedback.
opengl
- Organic Animation
Demonstrates a type of 2D animation that's better suited to WebGL than Canvas 2D.
webgl
- Ear Clipping
Tessellation of concave polygons (with holes) in Javascript, using a simple ear clipping algorithm.
webgl
- Knot Gallery
Interactive gallery of the prime knots through 9 crossings.
webgl
- Modern Opengl
Prezo on Modern OpenGL that I put together for my colleagues.
opengl
- Fluid Sim
I open sourced my purely OpenGL-based volumetric fluid sim.
opengl
- Sympy Surfaces
Generate interesting parametric surfaces using SymPy.
opengl python
- Barrel Distortion
Playing with barrel distortion.
opengl
- Strings Inside Vertex Buffers
Stupid OpenGL trick: embed a raw C string in a vertex buffer.
opengl
- Distance Picking
Create a distance field on the GPU, use it for point selection.
opengl
- Clip Planes
How to use clip planes in modern OpenGL.
opengl
- Go And Renderman
RenderMan bindings for Google's new language go.
golang
renderman
- Ancient Posts
Older articles from my previous blog archive.
archive