leon/Ideas
1
1
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Write down some of my ideas

Browse Source
This commit is contained in:
leon
2026-06-08 16:18:09 +02:00
parent be489325f3
commit 04c16c1922
4 changed files with 18 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
README.md
View File

@@ -44,6 +44,7 @@ Name | Status | Blog Entries
[Custom SQL crate](./projects/software/custom-sql-crate.md) | - | -
[Teamspeak Whitegirl Music](./projects/software/teamspeak-whitegirl-music.md) | - | -
[Distributed Build System for Lean4](./projects/software/lean-distributed-builds.md) | - | -
[Financial Tracker](./projects/software/financial-tracker.md) | - | -
## Hardware Projects
Name | Status | Blog Entries
@@ -71,6 +72,7 @@ Name | Status | Blog Entries
[IPv4 for Streaming](./projects/infrastructure/ipv4-streaming.md) | - | -
[Vault Agents](./projects/infrastructure/vault-agents.md) | - | -
[VMs in Nomad](./projects/infrastructure/vms-in-nomad.md) | - | -
[Try copyparty](./projects/infrastructure/try-copyparty.md) | - | -
## Theory Projects
Name | Status | Blog Entries
@@ -87,4 +89,5 @@ Name | Status | Blog Entries
[Raspberry Pi for core-infra](./projects/other/raspberry-pi-core-infra.md) | - | -
[Nomad Test Setup](./projects/other/nomad-test-setup.md) | - | -
[Try NixOS](./projects/other/try-nixos.md) | - | -
[Try Home-Manager](./projects/other/try-home-manager.md) | - | -
[Create better monthly financial report](./projects/other/better-financial-report.md) | - | -