All Posts

Verbal Arithmetic In Rust And Z3 - at 2023-11-12 20:59:14

Decision Models and ChatGPT - at 2023-11-05 21:11:13

Show cmus and ncspot status in Sway - at 2023-01-15 14:57:45

Flower Arranging for Fun and Health - at 2022-08-02 20:23:27

Balanced Catan Board Generator - at 2022-06-29 11:22:04

Modeling The Universe In ProbLife - at 2022-04-18 15:41:28

Knowledge-Based Decision Support for Adhesive Selection - at 2022-03-31 08:17:02

Solving Sudoku Puzzles With First Order Logic - at 2022-03-06 15:21:11

Logic Based Rummikub Solver - at 2021-05-16 11:07:24

Host Your Own Videoconferencing Server Using Galene - at 2020-12-27 11:06:06

Sway Pomodoro Timer - at 2020-11-28 09:27:50

Host Your Own EteSync Server - at 2020-11-28 08:52:28

Building A Birdhouse - at 2020-11-22 21:10:34

Creating A LaTeX Package - at 2020-11-22 21:10:34

Creating An Oscilloscope PC - at 2020-11-22 21:10:34

Makefile Site Generator - at 2020-11-22 21:10:34