Name: Dylan Thinnes
Type: User
Bio: I like birds, learning programming languages, and computers from type theory down to digital circuitry.
Graduate of 1583 (University of Edinburgh).
Location: Edinburgh, Scotland
Blog: https://dylant.org
Dylan Thinnes's Projects
Database API abstraction library.
Project to create a punchcard-styled portrait of Ada Lovelace
Just my advent of code solutions. Mostly in Haskell, some bash.
A lisp I threw together over an afternoon, originally looking at SectorLISP
A tiny bash framework for writing alternate calendar and time specifications
Langton's ant and Conway's Game of Life using ANSI escape characters to position cursor directly at target position.
Advent of Code, 2020
Advent of Code, 2021
Automatically calculates the vectors for the sides of archimedean solids & generates a corresponding joint in OpenSCAD
This is a very simple wrapper around the arithmoi package which provides a prime factorizer.
Image classifier for sides of Archimedean Semi-regular Polyhedra
Scripts to automatically make formulaic puns
A rudimentary combinatorial circuit simulator.
Transpose a befunge program
Welcome to Better Informatics. The student run website for students in the School of Informatics.
Bubblepop Clone
Displays the bus times. Flask reverse proxy, VueJS renderer, simple X server xinit config.
Split input on stdin into chunks of n bytes with newline delimiters
Pong in Haskell / Clash, running as software using SDL and as hardware targeting FPGAs
The Star Wars Clock
Company documentation for Edinburgh Hacklab
Compiler for Elm, a functional language for reliable webapps.
Convert numbers into their Conway-Wechsler form - Command-line utility & website (using wasm)
Programs to take sums and cumulative sums of newline-delimited integers.
An in-bash working directory stack.
Another directory stack utility.
Keeping track of the hellscape that is the University of Edinburgh's DNS, one submit at a time.