Add another idea

README.md

@@ -42,6 +42,8 @@ Name | Status | Blog Entries
 [Custom Gitea Runner](./projects/custom-gitea-runners.md) | - | -
 [Auto-Scaling Gitea Runners](./projects/autoscaling-gitea-runners.md) | - | -
 [Custom SQL crate](./projects/custom-sql-crate.md) | - | -
+[Teamspeak Whitegirl Music](./projects/teamspeak-whitegirl-music.md) | - | -
+[Distributed Build System for Lean4](./projects/lean-distributed-builds.md) | - | -
 
 ## Hardware Projects
 Name | Status | Blog Entries
@@ -49,6 +51,8 @@ Name | Status | Blog Entries
 [Embedded Epyc Server](./projects/embedded-epyc-server.md) | - | -
 [25 Gb Networking](./projects/25gb-networking.md) | - | - 
 [100 Gb Networking](./projects/100gb-networking.md) | - | -
+[Receipt Printer](./projects/hardware/receipt-printer.md) | - | -
+[RISC-V SBC/Board](./projects/hardware/risc-v-sbc.md) | - | -
 
 ## Infrastructure Projects
 Name | Status | Blog Entries
@@ -59,6 +63,12 @@ Name | Status | Blog Entries
 [Automate Authentik](./projects/infrastructure/automate-authentik.md) | - | -
 [Try wger](./projects/infrastructure/try-wger.md) | - | -
 
+## Theory Projects
+Name | Status | Blog Entries
+--- | --- | ---
+[Factorio Turing Complete](./projects/theory/factorio-turing-complete.md) | - | -
+
+
 ## Other Projects
 Name | Status | Blog Entries
 --- | --- | ---
@@ -66,3 +76,4 @@ Name | Status | Blog Entries
 [Revisit DNS](./projects/other/revisit-dns.md) | - | -
 [Document Homelab](./projects/other/document-homelab.md) | - | -
 [Raspberry Pi for core-infra](./projects/other/raspberry-pi-core-infra.md) | - | -
+[Nomad Test Setup](./projects/other/nomad-test-setup.md) | - | -

projects/hardware/receipt-printer.md

@@ -0,0 +1,4 @@
+# Receipt Printer
+I have now seen multiple projects that use a receipt printer and something like a raspberry pi to automatically print something out based on events.
+I am not 100% sure what a good use case would be for me, but something like alerts or daily status updates would be pretty interesting and fun.
+Maybe also my monthly budget report, printed out to actually look at

projects/hardware/risc-v-sbc.md

@@ -0,0 +1,2 @@
+# RISC-V SBC/Board
+I want to play around with RISC-V more, maybe use an SBC with a minimal linux setup only running my custom code as the initial program.

projects/lean-distributed-builds.md

@@ -0,0 +1 @@
+# Distributed Build System for Lean4

projects/other/nomad-test-setup.md

@@ -0,0 +1,2 @@
+# Nomad Test Setup
+Create an easy and fast to use setup to test nomad upgrades, config changes etc.

projects/teamspeak-whitegirl-music.md

@@ -0,0 +1,2 @@
+# Teamspeak Whitegirl Music Bot
+A bot that plays a random selection of white girl music in a channel

projects/theory/factorio-turing-complete.md

@@ -0,0 +1,2 @@
+# Factorio Turing Complete
+I want to determine if factorio is turing complete or not, with an actual proof.