From 526c88258a5e77101d35664851ae4b5bac170b09 Mon Sep 17 00:00:00 2001
From: aristote <quentin.aristote@irif.fr>
Date: Mon, 24 Nov 2025 18:26:49 +0100
Subject: experience: add academic service

---
 experience/2022-09_tweag.nix | 41 -----------------------------------------
 1 file changed, 41 deletions(-)
 delete mode 100644 experience/2022-09_tweag.nix

(limited to 'experience/2022-09_tweag.nix')

diff --git a/experience/2022-09_tweag.nix b/experience/2022-09_tweag.nix
deleted file mode 100644
index bc7c000..0000000
--- a/experience/2022-09_tweag.nix
+++ /dev/null
@@ -1,41 +0,0 @@
-{href, ...}: {
-  date = {
-    start = {
-      year = 2022;
-      month = 9;
-      day = 14;
-    };
-    end = {
-      year = 2023;
-      month = 2;
-      day = 24;
-    };
-  };
-  institution = {
-    position = "Software Engineering intern";
-    name = "Tweag";
-    url = "https://www.tweag.io/";
-    location = "Paris, France";
-  };
-  supervisors = [
-    {
-      name = "Tweag's HAS group";
-      url = "https://www.tweag.io/group/high-assurance-software/";
-    }
-  ];
-  assets = [
-    {
-      name = "blog post";
-      id = "aristoteSmtlibbackendsFasterSMTLIBbased2023";
-      type = "Writings";
-    }
-    {
-      name = "library";
-      id = "aristoteSmtlibbackends2022";
-      type = "Software";
-    }
-  ];
-  description = "Sped-up ${
-    href "https://github.com/tweag/pirouette" "Pirouette"
-  } (a symbolic evaluator using incorrectness logic) by optimizing its interactions with SMT solvers.";
-}
-- 
cgit v1.2.3