FAY CARSONS

System Designer

Functional Programming TypeScript Type-driven development Music Rust Graphics Full-stack Development Haskell Generative Art Real-time systems OCaml Functional Programming TypeScript Type-driven development Music Rust Graphics Full-stack Development Haskell Generative Art Real-time systems OCaml

0x1A2B

0xFF42

0x8C9D

0x3E7F

Experience

Software Engineer

Fastr • Jan 2025-Jun 2025

Integrated upstream features during platform transition and optimized frontend performance, reducing load times by ~33% and memory usage by ~40%.

Software Engineer

Tarides • Aug 2024-Jan 2025

Rewrote Odoc documentation generator parser using Menhir, improving maintainability and performance for the OCaml ecosystem.

Software Engineering Intern

Grame • Mar 2024-Aug 2024

Built live-coding audio plugin for Cables.gl, enabling real-time Faust DSP compilation to WebAssembly with hot reloading.

Graphics Engineer

Independent • Mar 2023-Mar 2024

Created generative art collections exhibited internationally and developed custom rendering algorithms including raytracing and agent simulations.

Articles

View all articles →

Projects

Haskell Effect.ts Social

Shader Platform

Modern shader programming environment with social features

In development • Cutting edge

OCaml Menhir OSS

Odoc Parser

Complete rewrite of OCaml's documentation generator parser

Open source • Performance critical

Fractal 3d shape created with the Hollow framework

                                        hemisphere-cosine
                                         {([vec3] vec4)
                                         ([normal]
                                            (=vec3 rand-vec (rand-pcg (+ rand-offset
                                                                         normal
                                                                      gl_FragCoord.xyz)))
                                            (=float cos-theta rand-vec.x)
                                            (=float sin-theta (sqrt (- 1 (* cos-theta cos-theta))))
                                        
                                            (=float phi (* 2
                                                           ~Math/PI
                                                           rand-vec.y))
                                            ;"spherical to cartesian"
                                            (=vec3 t (normalize (cross normal.yzx normal)))
                                            (=vec3 b (cross normal t))
                                        
                                            (=vec3 l (+ (* sin-theta
                                            (+ (* t
                                                  (cos phi))
                                               (* b
                                                  (sin phi))))
                                               (* normal
                                                  cos-theta)))
                                            (=float pdf (* ~(/ Math/PI)
                                                            cos-theta))
                                                        (vec4 l (/ ~(/ 0.5 Math/PI)
                                                        (+ pdf 1e-6))))}
                                    

Clojure WebGL DSL

Hollow

Clojure creative coding framework with meta-programmable shader DSL

Featured library • Production ready