Add favicon and update members

This commit is contained in:
engboris 2025-12-08 20:33:32 +01:00
parent b635634b29
commit 2d3d247229
3 changed files with 75 additions and 7 deletions

28
.gitignore vendored
View File

@ -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

File diff suppressed because one or more lines are too long

Before

Width:  |  Height:  |  Size: 678 KiB

After

Width:  |  Height:  |  Size: 1.1 KiB

View File

@ -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",