feat: initial resume separation

backend_infra.typ

@@ -119,17 +119,6 @@
 #set strong(delta: SMALL_STRONG)
 
 #indent[
-  #project(
-    "Game Boy Advance Emulator",
-    "Rust, SDL2, Vulkan",
-    repo_link: "https://github.com/potatoeggy/gbarr",
-    tasks: (
-      [Implemented an *ARMv7* emulator for old games to run on modern x86_64 platforms
-        with *SDL2* and *Vulkan*],
-      [WebGPU and WASM for portability, typestate to guarantee everything is always
-        valid],
-    ),
-  )
 
   #project(
     "Mandown Comic Downloader",
@@ -145,17 +134,17 @@
     ),
   )
 
-  // #project(
-  //   "Kobo Sync Server",
-  //   "Rust, Axum",
-  //   repo_link: "https://github.com/potatoeggy/kobink",
-  //   tasks: (
-  //     [Developed a *Rust* backend to sync custom ebook files to Kobos by reimplementing
-  //       the Kobo Sync API],
-  //     [Deployed the service behind an nginx reverse proxy and Cloudflare DNS to sync
-  //       over the internet],
-  //   ),
-  // )
+  #project(
+    "Kobo Sync Server",
+    "Rust, Axum",
+    repo_link: "https://github.com/potatoeggy/kobink",
+    tasks: (
+      [Developed a *Rust* backend to sync custom ebook files to Kobos by reimplementing
+        the Kobo Sync API],
+      [Deployed the service behind an nginx reverse proxy and Cloudflare DNS to sync
+        over the internet],
+    ),
+  )
 
   // #project(
   //   "Genshin Rewards Simulator",
@@ -195,9 +184,13 @@
   // - Aggregated common ingredients heuristically to build a shopping list and a meal
   // plan for each week
 
-  // #project("Arch Linux Server", "Linux, Docker, nginx, systemd", demo_link: "https://eggworld.me")
-  // - Created a *self-hosted CI/CD pipeline* with *Gitea* to automatically deploy
-  //   personal projects behind *nginx*
-  // - Containerised services with *Docker* and *systemd* to simplify deployment and
-  //   management
+  #project(
+    "Arch Linux Server",
+    "Linux, Docker, nginx, systemd",
+    demo_link: "https://eggworld.me",
+  )
+  - Created a *self-hosted CI/CD pipeline* with *Gitea* to automatically deploy
+    personal projects behind *nginx*
+  - Containerised services with *Docker* and *systemd* to simplify deployment and
+    management
 ]