hms/web
1
0
Fork 0
Code Activity Actions

feat: home and fish

Browse source
This commit is contained in:
Henri Saudubray 2024-07-12 19:50:40 +02:00
parent 5e319114b3
commit b34cef4dcd
Signed by: hms
GPG key ID: 7065F57ED8856128
15 changed files with 270 additions and 160 deletions
Download patch file Download diff file Expand all files Collapse all files

22
css/base.css Normal file
View file

@ -0,0 +1,22 @@
:root {
--bg-color: #111111;
--fg-color: #FFFFFF;
}
html {
align-items: center;
background-color: var(--bg-color);
color: var(--fg-color);
display: flex;
font-family: monospace;
font-size: 1.5em;
justify-content: center;
min-height: 100vh;
}
::selection {
background-color: var(--fg-color);
color: var(--bg-color);
}
a, a:visited { color: var(--fg-color); }

7
css/fish.css Normal file
View file

@ -0,0 +1,7 @@
img {
max-width: 640px;
}
header, div {
text-align: center;
}

20
css/index.css Normal file
View file

@ -0,0 +1,20 @@
.section {
padding-top: 0.5lh;
}
header, footer {
text-align: center;
}
ul {
list-style-type: '- ';
padding-left: 3ch;
margin-top: 0.5lh;
margin-bottom: 0.5lh;
}
.copyleft {
font: sans-serif;
display: inline-block;
transform: rotateY(180deg);
}

22
css/style.css → css/man.css
View file

@ -1,31 +1,9 @@
:root {
--bg-color: #000000;
--fg-color: #FFFFFF;
}
html {
display: flex;
width: 100%;
background-color: var(--bg-color);
color: var(--fg-color);
font-size: 1em;
font-family: "Cascadia Code", monospace;
justify-content: center;
}
::selection {
background-color: var(--fg-color);
color: var(--bg-color);
}
body { body {
width: 80ch; width: 80ch;
height: 100%; height: 100%;
margin: 0; margin: 0;
} }
a, a:visited { color: var(--fg-color); }
header, footer { header, footer {
display: flex; display: flex;
justify-content: space-between; justify-content: space-between;

54
fish.html Normal file
View file

@ -0,0 +1,54 @@
<!DOCTYPE html>
<html lang="en">
<head>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
<link rel="stylesheet" type="text/css" href="./css/base.css?version=3">
<link rel="stylesheet" type="text/css" href="./css/fish.css?version=3">
<title>FISH</title>
<meta name="description" content="The fish">
<meta name="viewport" content="width=device-width, initial-scale=1.0">
</head>
<body>
<header>THE FISH &gt;&lt;&gt;</header>
<main>
<div>
<a href="./img/fish/bands.avif" download>
<img src="./img/fish/bands.avif" />
</a>
</div>
<div>
<a href="./img/fish/bubbles.avif" download>
<img src="./img/fish/bubbles.avif" />
</a>
</div>
<div>
<a href="./img/fish/spike.avif" download>
<img src="./img/fish/spike.avif" />
</a>
</div>
<div>
<a href="./img/fish/squid.avif" download>
<img src="./img/fish/squid.avif" />
</a>
</div>
<div>
<a href="./img/fish/sus.avif" download>
<img src="./img/fish/sus.avif" />
</a>
</div>
<div>
<a href="./img/fish/thin.avif" download>
<img src="./img/fish/thin.avif" />
</a>
</div>
<div>
<a href="./img/fish/whale.avif" download>
<img src="./img/fish/whale.avif" />
</a>
</div>
</main>
<footer>
<a href="./index.html">GO BACK</a>
</footer>
</body>
</html>

BIN
img/fish/bands.avif Normal file
View file

Binary file not shown.
Side by side

After

Width:  |  Height:  |  Size: 24 KiB

BIN
img/fish/bands_rotated.avif Normal file
View file

Binary file not shown.
Side by side

After

Width:  |  Height:  |  Size: 24 KiB

BIN
img/fish/bubbles.avif Normal file
View file

Binary file not shown.
Side by side

After

Width:  |  Height:  |  Size: 35 KiB

BIN
img/fish/spike.avif Normal file
View file

Binary file not shown.
Side by side

After

Width:  |  Height:  |  Size: 40 KiB

BIN
img/fish/squid.avif Normal file
View file

Binary file not shown.
Side by side

After

Width:  |  Height:  |  Size: 34 KiB

BIN
img/fish/sus.avif Normal file
View file

Binary file not shown.
Side by side

After

Width:  |  Height:  |  Size: 40 KiB

BIN
img/fish/thin.avif Normal file
View file

Binary file not shown.
Side by side

After

Width:  |  Height:  |  Size: 40 KiB

BIN
img/fish/whale.avif Normal file
View file

Binary file not shown.
Side by side

After

Width:  |  Height:  |  Size: 32 KiB

150
index.html
View file

@ -2,155 +2,35 @@
<html lang="en"> <html lang="en">
<head> <head>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8"> <meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
<link rel="stylesheet" type="text/css" href="./css/style.css?version=3"> <link rel="stylesheet" type="text/css" href="./css/base.css?version=3">
<title>Henri Saudubray</title> <link rel="stylesheet" type="text/css" href="./css/index.css?version=3">
<meta name="description" content="Etudiant en M1 MPRI"> <title>17maiga</title>
<meta name="description" content="The personal website of me">
<meta name="viewport" content="width=device-width, initial-scale=1.0"> <meta name="viewport" content="width=device-width, initial-scale=1.0">
</head> </head>
<body> <body>
<header> <header>HELLO THERE :)</header>
<span>HENRI(1)</span>
<span>User information</span>
<span>HENRI(1)</span>
</header>
<main> <main>
<div class="section" id="name"> <div class="section">
<div class="section-title">Name</div> Serious stuff
<div class="content"> <ul>
Henri Saudubray - Computer science student <li>[<a href="./man.html">man</a>]: the man page</li>
</div>
</div>
<div class="section" id="synopsis">
<div class="section-title">Synopsis</div>
<div class="content">
I am a computer science student at Parisian Master of Research in
Computer Science (MPRI) at Universit&#xE9; Paris Saclay, focusing on
formal logic, proof assistants, and programming languages.
</div>
</div>
<div class="section" id="experience">
<div class="section-title">Experience</div>
<ul class="content">
<li>
<div class="title">
<a href="https://lmf.cnrs.fr">
Laboratoire M&#xE9;thodes Formelles, CNRS</a>
- Since March 2024
</div>
<div class="description">
Adding support for proofs on inductive predicates in the Why3
framework.
</div>
</li>
<li>
<div class="title">
<a href="https://skapane.ai">Skap&#xE1;n&#xEA;</a>
- September 2022 to August 2023
</div>
<div class="description">
Back-end development on containerized infrastructure in Python.
Web app design with React.js, Flask and Docker.
</div>
</li>
<li>
<div class="title">
<a href="https://www.icdc.caissedesdepots.fr">Informatique CDC</a>
- May to August 2022
</div>
<div class="description">
Development of an automated end-to-end testing tool and ISO 20022
file format converter for CDC's banking infrastructure in Java.
</div>
</li>
<li>
<div class="title">Ac'Lab - August 2021 - May 2022</div>
<div class="description">Vice-Treasurer and Teaching Lead.</div>
</li>
<li>
<div class="title">
<a href="https://www.fnacdarty.com">Fnac Darty</a>
- May to August 2021
</div>
<div class="description">
Work on customer insight and customer journey. Deployment of an
in-house iOS application.
</div>
</ul> </ul>
</div> </div>
<div class="section" id="education"> <div class="section">
<div class="section-title">Education</div> Not serious stuff
<ul class="content"> <ul>
<li> <li>[<a href="./fish.html">fish</a>]: the fish</li>
<div class="title">
<a href="https://www.sciences.universite-paris-saclay.fr">
Facult&#xE9; des Sciences - Universit&#xE9; Paris Saclay</a>
- Since September 2023
</div>
<div class="description">
Master Parisien de Recherche en Informatique (MPRI)
</div>
</li>
<li>
<div class="title">
<a href="https://www.fges.fr"
>FGES - Universit&#xE9; Catholique de Lille</a>
- September 2020 to May 2023
</div>
<div class="description">
Licence Sciences du Num&#xE9;rique (SDN)
</div>
</li>
</ul> </ul>
</div> </div>
<div class="section" id="files"> <div class="section">
<div class="section-title">Files</div>
<ul class="content">
<li>
<div class="title">
<a href="https://henri-saudubray.fr/pdf/cv.pdf">/pdf/cv.pdf</a>
</div>
<div class="description">Curriculum Vitae.</div>
</li>
</ul>
</div>
<div class="section" id="see_also">
<div class="section-title">See Also</div>
<ul class="content">
<li>
<div class="title">
<a href="mailto:henri.saudubray@universite-paris-saclay.fr"
>henri.saudubray[at]universite-paris-saclay[dot]fr</a>
</div>
<div class="description">Email address.</div>
</li>
<li>
<div class="title">
<a href="https://codeberg.org/17maiga">codeberg.org/17maiga</a>
</div>
<div class="description">Git forge.</div>
</li>
<li>
<div class="title">
<a href="https://linkedin.com/in/henri-saudubray"
>linkedin.com/in/henri-saudubray</a>
</div>
<div class="description">LinkedIn.</div>
</li>
</ul>
</div>
<div class="section" id="webring">
<div class="section-title">Webring</div>
<div class="content" id="webring-content">
<span><a href="https://www.gaetanserre.fr">&larr;</a></span> <span><a href="https://www.gaetanserre.fr">&larr;</a></span>
<span>&#127849; Webring des délices &#127849;</span> <span>&#127849; Webring des délices &#127849;</span>
<span><a href="https://exion35.github.io">&rarr;</a></span> <span><a href="https://exion35.github.io">&rarr;</a></span>
</div> </div>
</div>
</main> </main>
<footer> <footer>
<span>1.0.0</span> <span class="copyleft">&copy;</span> Henri Saudubray.
<span>2024-05-06&nbsp;</span>
<span>HENRI(1)</span>
</footer> </footer>
</body> </body>
</html> </html>

149
man.html Normal file
View file

@ -0,0 +1,149 @@
<!DOCTYPE html>
<html lang="en">
<head>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
<link rel="stylesheet" type="text/css" href="./css/base.css?version=3">
<link rel="stylesheet" type="text/css" href="./css/man.css?version=3">
<title>Henri Saudubray</title>
<meta name="description" content="Computer Science Student">
<meta name="viewport" content="width=device-width, initial-scale=1.0">
</head>
<body>
<header>
<span>HENRI(1)</span>
<span>User information</span>
<span>HENRI(1)</span>
</header>
<main>
<div class="section" id="name">
<div class="section-title">Name</div>
<div class="content">
Henri Saudubray - Computer science student
</div>
</div>
<div class="section" id="synopsis">
<div class="section-title">Synopsis</div>
<div class="content">
I am a computer science student at Parisian Master of Research in
Computer Science (MPRI) at Universit&#xE9; Paris Saclay, focusing on
formal logic, proof assistants, and programming languages.
</div>
</div>
<div class="section" id="experience">
<div class="section-title">Experience</div>
<ul class="content">
<li>
<div class="title">
<a href="https://lmf.cnrs.fr">
Laboratoire M&#xE9;thodes Formelles, CNRS</a>
- Since March 2024
</div>
<div class="description">
Adding support for proofs on inductive predicates in the Why3
framework.
</div>
</li>
<li>
<div class="title">
<a href="https://skapane.ai">Skap&#xE1;n&#xEA;</a>
- September 2022 to August 2023
</div>
<div class="description">
Back-end development on containerized infrastructure in Python.
Web app design with React.js, Flask and Docker.
</div>
</li>
<li>
<div class="title">
<a href="https://www.icdc.caissedesdepots.fr">Informatique CDC</a>
- May to August 2022
</div>
<div class="description">
Development of an automated end-to-end testing tool and ISO 20022
file format converter for CDC's banking infrastructure in Java.
</div>
</li>
<li>
<div class="title">Ac'Lab - August 2021 - May 2022</div>
<div class="description">Vice-Treasurer and Teaching Lead.</div>
</li>
<li>
<div class="title">
<a href="https://www.fnacdarty.com">Fnac Darty</a>
- May to August 2021
</div>
<div class="description">
Work on customer insight and customer journey. Deployment of an
in-house iOS application.
</div>
</ul>
</div>
<div class="section" id="education">
<div class="section-title">Education</div>
<ul class="content">
<li>
<div class="title">
<a href="https://www.sciences.universite-paris-saclay.fr">
Facult&#xE9; des Sciences - Universit&#xE9; Paris Saclay</a>
- Since September 2023
</div>
<div class="description">
Master Parisien de Recherche en Informatique (MPRI)
</div>
</li>
<li>
<div class="title">
<a href="https://www.fges.fr"
>FGES - Universit&#xE9; Catholique de Lille</a>
- September 2020 to May 2023
</div>
<div class="description">
Licence Sciences du Num&#xE9;rique (SDN)
</div>
</li>
</ul>
</div>
<div class="section" id="files">
<div class="section-title">Files</div>
<ul class="content">
<li>
<div class="title">
<a href="https://henri-saudubray.fr/pdf/cv.pdf">/pdf/cv.pdf</a>
</div>
<div class="description">Curriculum Vitae.</div>
</li>
</ul>
</div>
<div class="section" id="see_also">
<div class="section-title">See Also</div>
<ul class="content">
<li>
<div class="title">
<a href="mailto:henri.saudubray@universite-paris-saclay.fr"
>henri.saudubray[at]universite-paris-saclay[dot]fr</a>
</div>
<div class="description">Email address.</div>
</li>
<li>
<div class="title">
<a href="https://codeberg.org/17maiga">codeberg.org/17maiga</a>
</div>
<div class="description">Git forge.</div>
</li>
<li>
<div class="title">
<a href="https://linkedin.com/in/henri-saudubray"
>linkedin.com/in/henri-saudubray</a>
</div>
<div class="description">LinkedIn.</div>
</li>
</ul>
</div>
</main>
<footer>
<span>1.0.0</span>
<span>2024-05-06&nbsp;</span>
<span>HENRI(1)</span>
</footer>
</body>
</html>