By @doc-ko

Work in progress

Apologies for the AI-generated: AI-generated textText with a dashed underline, like this word, was written by AI.; I’ll get round to it at some point.

☢️ TO BE UNSLOPPIFIED Using Claude Code

This site isn’t much of anything yet. I basically let AI run loose with little to no thought so far on what the final design should be.

  • mathematics
  • computing
  • linguistics
  • logic & philosophy

01

AI-generated: What I do.

AI-generated: Placeholder summary, taken from the previous site and the About page.

mathematics

AI-generated: proofs, notation, formal structure

computing

AI-generated: Git, Markdown, static sites, OpenAPI tooling, small changes, and Linux desktop workflows

linguistics

AI-generated: syntax, semantics, language as a system

logic & philosophy

AI-generated: definitions, arguments, careful distinctions

02

AI-generated: State of this site.

AI-generated: What is done, what is placeholder, what is missing.

Overhauling In Progress

Visual design

Adding a bit more personal flair to the visual design, plus a light and dark mode.

AI-generated: Placeholder AI-generated: copy ≈ previous site

AI-generated: Copy

AI-generated: Wording is borrowed from the previous site and will be rewritten.

AI-generated: Missing AI-generated: TODO

AI-generated: Content

AI-generated: The blog, writing samples, and a settled purpose for this site.

03 / AI-generated: contact and paths

AI-generated: Where to go

AI-generated: Contact: .