pre-ai

Formalizing properties of the Moore--Penrose pseudoinverse in Agda

🔥 Search before the bots. Firefox extension that filters results to pre-ChatGPT internet when everything was made by actual humans.

Determines your job based on your sentences.

Common Lisp exercises: recursion, macros, CLOS, tree walks (2020)

Early C/C++/Java practice: sorting benchmark, pthreads, Makefiles, SFML (2019-2020)

Diet Dash startup backend (2024-2025): Spring Boot, JWT, PostgreSQL

Diet Dash: Next.js front end for AI meal-plan generation (2025)

Numerical methods labs: series, root finding, linear systems, integration (C++/Python/C#, 2021)

C/C++ OOP practice: own containers, inheritance, templates (2019-2020)

OS labs in Java: scheduling, thread sync, paging, FAT file system (2022)

Pre-LLM voice assistant built in 8th grade (2020) using Python, speech recognition, APIs, and keyword-based command routing.

Lexer, parser and code generator for the SIGNAL language (C++, 2021-2022)

Vue 3 + TypeScript polling app with Vuex, Jest and Cypress tests (2023)

Web labs: Bootstrap site, vanilla-JS timer, then Vue 2 + ASP.NET Core version (2021)

Neural Networks and Deep Learning (deeplearning.ai) assignments in NumPy (2020)

Two-stage assembler for an x86 subset with listing and symbol tables (C++, 2020)

Hand-coded front-end, 2021–2023 — before AI tools: static layouts, CSS 3D, canvas games. Live on GitHub Pages

Diet Dash: AI meal-plan generation via OpenAI (Spring, 2025)

PostgreSQL labs: social-network schema and an MVC console CRUD app in Python (2020)