From 2d3d24722987db9adbd52a916fe2d1f7427010df Mon Sep 17 00:00:00 2001 From: engboris Date: Mon, 8 Dec 2025 20:33:32 +0100 Subject: [PATCH] Add favicon and update members --- .gitignore | 28 ++++++++++++++++++++++++--- public/favicon.svg | 43 +++++++++++++++++++++++++++++++++++++---- src/pages/members.astro | 11 +++++++++++ 3 files changed, 75 insertions(+), 7 deletions(-) diff --git a/.gitignore b/.gitignore index 5a7e911..80346dc 100644 --- a/.gitignore +++ b/.gitignore @@ -1,3 +1,25 @@ -public/ -resources/ -hugo +# Build output +dist/ + +# Astro cache +.astro/ + +# Dependencies +node_modules/ + +# Environment variables +.env +.env.* +!.env.example + +# Logs +*.log +npm-debug.log* + +# Editor directories +.vscode/ +.idea/ + +# OS files +.DS_Store +Thumbs.db diff --git a/public/favicon.svg b/public/favicon.svg index a8c83bb..0081149 100644 --- a/public/favicon.svg +++ b/public/favicon.svg @@ -1,5 +1,40 @@ - - - - + + + + + + + + + + ヲ + diff --git a/src/pages/members.astro b/src/pages/members.astro index 9b8e2da..d0cce43 100644 --- a/src/pages/members.astro +++ b/src/pages/members.astro @@ -88,6 +88,11 @@ const members = [ interests: "Mushrooms, operating systems design", affiliation: "Independent" }, + { + name: "Cécile Janin", + interests: "Embedded electronic systems, instrumentation, FGPA Linux", + affiliation: "Polytech Sorbonne (student)" + }, { name: "Ambroise Lafont", url: "https://amblafont.github.io/", @@ -100,6 +105,12 @@ const members = [ interests: "Logic, LLM (Machine learning)", affiliation: "LISN Paris-Saclay" }, + { + name: "Roman Perez", + url: "https://romanperez.fr", + interests: "Philosophy of logic and language", + affiliation: "SPHERE Université Paris Cité" + }, { name: "Adrien Ragot", interests: "Proof-nets, interaction nets, implicit computational complexity, lambda-calculus, linear logic",