l-m (Liam Leadbetter)

• Self taught and persistent.

• Full time @ Zenith Hosting as Head of Product.
• Part time studying Pure Mathematics, Computer Science @ UNSW and a Casual Academic teaching COMP1521.

• Platform and infra engineer, doing a lot of backend in Golang at the moment.
  Experience with hard systems programming.
• Homelab is a bare metal Kubernetes cluster, Talos Linux.
• Selfhosted and bootstrapped compilers for fun, interested in P/L optimisation.
• WebAssembly: Performance, WASM spec, porting, Emscripten, and work on WebAssembly code generators.
• Long time experience with open source, linux, devops, and the like.
• Previous semi serious and hobby experience with Blender, 3D modeling.
• Can write Lean4 and understand math at an undergrad level.

• Go, C, Lean4, WebAssembly, TypeScript, Zig.

• I daily drive Debian (laptop) because it’s very stable.

l-m.dev

• /cs | My blog about computers and all of the above.
• /stream | I stream sometimes.
• /talk | I present talks sometimes.
• /net | Cool sites on the internet.

where to find me

• YouTube: @l-mdotdev
• Twitch: lmdotdev
• Email: ‘l-m’ at ‘l’ dash ‘m’ period ‘dev’
• Linkedin: liam-leadbetter
• GitHub: l1mey112
• Discord: ‘lm111’

YouTube

My YouTube channel contains some fun stuff. I started it when I was 16 and wanted to talk about C programming

• Series on verification of peephole optimisations on Lean
• Series on writing a functional programming language compiler in C
• Fun technical talks, stream VODs, etc

Presentations

See /talk

revisions

All notable software projects

• (+) ‘l-m.dev’ | My website!

• (+) [P] [Yt] Peephole Formal | Formalisation of peephole optimisations in Lean.
• (+) [Pre] ‘RandomX.js’ | RandomX.js is an implementation of the ubiquitous Monero POW algorithm RandomX in JavaScript.
• (+) [Yt] Compiler in C, web series | Module system, unified function call syntax, compile time evaluation, type inference and basic unification.
• (+) ‘me.l-m.dev’ | A stylistically minimal, privacy respecting, linear blogging website, written in the V programming language. A search engine for me, the things I am interested with, and take part in.
• (+) |+| [P] ‘Year 11 Physics, Applied.’ | A collection of interactive demonstrations and simulations designed to visualise and help myself and my peers understand the physics concepts taught in my Year 11 Physics class.
• (+) | ‘V programming language’ | (Inactive) Contributor | WASM Compiler backend and standard library
• (+) [P] ‘stas’ | My stack based compiled systems programming language for x86_64 systems running Linux or FreeBSD kernels. | written in itself, compiles to optimised x86_64 intel assembly, uses assembler backends ‘nasm’ and ‘fasm’ | utilises OS specific native system calls to interact with the system, unencumbered by a C library, cross compiling with ease.
• (+) [P] ‘crepl’ | Compile and execute C code on the fly as you type it. | lightweight and incredibly fast alternative to igcc
• (+) [P] ‘bootsector-dvd-screensaver’ | A dvd screensaver written in 16 bit x86 assembly for the bootsector | constrainted to 512 bytes of data and code, both the bitmapped image and driver code fit with 24 bytes to spare.
• (+) [P] ‘notcurses-opengl’ | Project and demo utilising notcurses and OpenGL to render to the terminal in an efficient manner. | renders the mandelbrot set with a screen space shader.
• (+) [P] ‘v-2Dsoftbodies’ | Simulating 2D softbodies in V, displayed in the terminal. | simulation of the spring mass model and gas pressure in a bouncing ball | many visualisations of Hookes’s Law and the Ideal Gas Law.
• (+) [P] ‘jitcalc’ | A tiny proof of concept calculator written in the V programming language that evaluates expressions by creating x86_64 programs at runtime.