29 files changed, 402 insertions, 0 deletions

diff --git a/Makefile b/Makefile
new file mode 100644
index 0000000..95a2512
--- /dev/null
+++ b/Makefile
@@ -0,0 +1,11 @@
+all: clean
+        ./build.sh
+
+clean:
+        rm -r http/*
+
+deploy:
+        rsync -rv --delete --rsync-path=openrsync \
+                http/ tronto.net:/var/www/htdocs/sebastiano.tronto.net
+
+.PHONY: all clean deploy
diff --git a/README.md b/README.md
new file mode 100644
index 0000000..529ee4b
--- /dev/null
+++ b/README.md
@@ -0,0 +1,2 @@
+All the files of my personal [website](https://sebastiano.tronto.net),
+including build/deploy script(s).
diff --git a/bottom.html b/bottom.html
new file mode 100644
index 0000000..fdb5811
--- /dev/null
+++ b/bottom.html
@@ -0,0 +1,21 @@
+
+<hr class="line">
+
+<nav class="bottom">
+        <table class="footer">
+        <tr>
+        <td class="contact">
+                <a href="mailto:sebastiano@tronto.net">
+                        sebastiano@tronto.net
+                </a>
+        </td>
+        <td class="hosted">
+                Hosted by
+                <a href="https://openbsd.amsterdam">openbsd.amsterdam</a>
+        </td>
+        </tr>
+        </table>
+</nav>
+
+</body>
+</html>
diff --git a/build.sh b/build.sh
new file mode 100755
index 0000000..1308a99
--- /dev/null
+++ b/build.sh
@@ -0,0 +1,32 @@
+#!/bin/sh
+
+recursivebuild() {
+        local destdir=$(echo $1 | sed 's|^src|http|')
+        mkdir -p "$destdir"
+        for file in $(ls $1); do
+                if [ -d "$1/$file" ]; then
+                        mkdir -p "$destdir/$file"
+                        recursivebuild "$1/$file"
+                else
+                        extension=$(echo "$file" | sed 's/.*\.//')
+                        if [ "$extension" = "md" ]; then
+                                sed "s/TITLE/$(grep '^\# ' < "$1/$file" \
+                                        | sed 's/^\# //')/" < top.html \
+                                        > "$destdir/index.html"
+                                lowdown "$1/$file" >> "$destdir/index.html"
+                                cat bottom.html >> "$destdir/index.html"
+                        elif [ "$extension" = "html" ]; then
+                                cat top.html "$1/$file" bottom.html \
+                                        | sed "s/TITLE/$(grep '<!--TITLE: ' <\
+                                                        "$1/$file" \
+                                                | sed 's/^<!--TITLE: //' \
+                                                | sed 's/-->$//')/" \
+                                        > "$destdir/index.html"
+                        else
+                                cp "$1/$file" "$destdir/$file"
+                        fi
+                fi
+        done
+}
+
+recursivebuild src
diff --git a/src/favicon.png b/src/favicon.png
new file mode 100644
index 0000000..8a6b202
--- /dev/null
+++ b/src/favicon.png
diff --git a/src/git/git.md b/src/git/git.md
new file mode 100644
index 0000000..d43b67a
--- /dev/null
+++ b/src/git/git.md
@@ -0,0 +1,43 @@
+# Git repositories
+
+You can find all my git repositories at
+[git.tronto.net](https://git.tronto.net/) or on
+[my github page](https://github.com/sebastianotronto).
+You can clone a repository with `git clone https://git.tronto.net/[NAME]`.
+
+## Tutorials
+
+* [fmctutorial](https://git.tronto.net/fmctutorial): an in-depth
+  tutorial for the Rubik's cube *Fewest Moves Challenge*, or FMC.
+
+## Programs and scripts
+
+I started writing code in 2005, with a toy programming language called Dark
+Basic first and with Java shortly after that. In the past I enjoyed learning
+different programming languages (C++, J, Python...), but I have recently found
+more pleasure in writing software in plain C.
+
+* [nissy](https://git.tronto.net/nissy): A Rubik's cube solver,
+  intended primarily as a tool for practicing FMC.
+* [sdep](https://git.tronto.net/sdep): A minimalistic
+  "date+event" line parser. Can be used in combination with some shell scripts
+  as a reminder / calendar application.
+* [scripts](https://git.tronto.net/scripts): Various scripts
+  for Unix-like systems.
+
+## Math courses and programs
+
+Here are some scripts I wrote and lecture notes for some courses
+I taught at the [University of Luxembourg](https://wwwen.uni.lu)
+(2018-2022).
+
+* [mathsoftware](https://git.tronto.net/mathsoftware): a full
+  course (3 ECTS) on LaTeX and SageMath.
+* [preplogic](https://git.tronto.net/preplogic): notes and
+  exercises for two introductory lectures on elementary logic.
+* [kummer-degrees](https://git.tronto.net/kummer-degrees): a
+  SageMath script for computing the degrees of Kummer extensions of the
+  rational numbers.
+* [arithmeticbilliard](https://git.tronto.net/arithmeticbilliard):
+  a python program for drawing the path of 2- and 3-dimensional arithmetic
+  billiards.
diff --git a/src/home.md b/src/home.md
new file mode 100644
index 0000000..ef9879d
--- /dev/null
+++ b/src/home.md
@@ -0,0 +1,19 @@
+# Sebastiano Tronto
+
+![A picture of me](me.png "Me")
+
+I am a PhD student in Mathematics at the Universities of Luxembourg and Leiden.
+During my free time I enjoy tinkering with my computer, programming and
+playing with the Rubik's cube.
+
+Download my [cv (pdf, 220Kb)](tronto-cv.pdf).
+
+### Email
+
+* [sebastiano@tronto.net](mailto:sebastiano@tronto.net) (personal)
+* [sebastiano.tronto@uni.lu](mailto:sebastiano.tronto@uni.lu) (work)
+
+### Social
+
+You can find me on many social networks and forums with either my real name
+or the username `porkynator`.
diff --git a/src/me.png b/src/me.png
new file mode 100644
index 0000000..816c96f
--- /dev/null
+++ b/src/me.png
diff --git a/src/research/notes-bilbao.pdf b/src/research/notes-bilbao.pdf
new file mode 100644
index 0000000..5c0500c
--- /dev/null
+++ b/src/research/notes-bilbao.pdf
diff --git a/src/research/notes-division-modules.pdf b/src/research/notes-division-modules.pdf
new file mode 100644
index 0000000..0883299
--- /dev/null
+++ b/src/research/notes-division-modules.pdf
diff --git a/src/research/notes-etale.pdf b/src/research/notes-etale.pdf
new file mode 100644
index 0000000..6b31e10
--- /dev/null
+++ b/src/research/notes-etale.pdf
diff --git a/src/research/notes-injectivity.pdf b/src/research/notes-injectivity.pdf
new file mode 100644
index 0000000..bb222e4
--- /dev/null
+++ b/src/research/notes-injectivity.pdf
diff --git a/src/research/notes-katz.pdf b/src/research/notes-katz.pdf
new file mode 100644
index 0000000..c248b71
--- /dev/null
+++ b/src/research/notes-katz.pdf
diff --git a/src/research/notes-kummerec.pdf b/src/research/notes-kummerec.pdf
new file mode 100644
index 0000000..9a91d78
--- /dev/null
+++ b/src/research/notes-kummerec.pdf
diff --git a/src/research/research.md b/src/research/research.md
new file mode 100644
index 0000000..d9dc6e4
--- /dev/null
+++ b/src/research/research.md
@@ -0,0 +1,109 @@
+# Research
+
+After obtaining a bachelor degree in Trento in 2016 I have completed the
+[ALGANT](https://algant.eu) Master Program (Milano and Leiden), with special
+focus on number theory and algebraic geometry. I am now working on my PhD
+under the supervision of [Antonella Perucca](http://antonellaperucca.net) and
+[Peter Bruin](https://www.math.leidenuniv.nl/~pbruin).
+
+## Publications and preprints
+
+* Tronto, Sebastiano.
+  *Division in modules and Kummer theory.*
+  [arXiv preprint](https://arxiv.org/abs/2111.14363).
+
+* Lombardo, Davide; Tronto, Sebastiano.
+  *Some uniform bounds for elliptic curves over Q.*
+  [arXiv preprint](https://arxiv.org/abs/2106.09950v1).
+
+* Lombardo, Davide; Tronto, Sebastiano.
+  *Effective Kummer theory for elliptic curves.*
+  International Mathematics Research Notices (2021).
+
+* Hörmann, Fritz; Perucca, Antonella; Sgobba, Pietro; Tronto, Sebastiano.
+  *Explicit Kummer theory for quadratic fields.*
+  JP Journal of Algebra, Number Theory and Applications (2021).
+
+* Perucca, Antonella; Sgobba, Pietro; Tronto, Sebastiano.
+  *The degree of Kummer extensions of number fields.*
+  International Journal of Number Theory (2021).
+
+* Perucca, Antonella; Sgobba, Pietro; Tronto, Sebastiano.
+  *Kummer Theory for number fields via entanglement groups.*
+  Manuscripta Mathematica (2021).
+
+* Tronto, Sebastiano.
+  *Radical entanglement for elliptic curves.*
+  [arXiv preprint](https://arxiv.org/abs/2009.08298).
+
+* Perucca, Antonella; Sgobba, Pietro; Tronto, Sebastiano.
+  *Kummer theory for number fields.*
+  Proceedings of the Roman Number Theory Association (2020).
+
+* Perucca, Antonella; Sgobba, Pietro; Tronto, Sebastiano.
+  *Addendum to: Reductions of Algebraic integers.*
+  Journal of Number Theory (2020).
+
+* Perucca, Antonella; Sgobba, Pietro; Tronto, Sebastiano.
+  *Explicit Kummer theory for the rational numbers.*
+  International Journal of Number Theory (2020).
+
+## Talks
+
+* *A category of division modules*.
+  University of Luxembourg Number Theory seminar, November 2021.
+  [Notes: [pdf](notes-division-modules.pdf)]
+
+* *Introduction to étale cohomology*.
+  University of Luxembourg seminar series on perverse sheaves, October 2021.
+  [Notes: [pdf](notes-etale.pdf)]
+
+* *A generalization of injective modules*.
+  University of Luxembourg Number Theory seminar, October 2021.
+  [Notes: [pdf](notes-injectivity.pdf)]
+
+* *Integer factorization and elliptic curves*.
+  University of Leiden Bachelor seminar (guest talk), April 2021.
+  [Slides: [pdf](slides-ecm.pdf)]
+
+* *Group cohomology and elliptic curves*.
+  Invited talk at Number Theory Online conference, February 2021.
+  [Slides: [pdf](slides-groupcohomec.pdf);
+   Video: [link](https://vimeo.com/526814236/1a640285c0?embedded=true&source=video_title&owner=47245911)]
+
+* *Kummer theory for algebraic groups*.
+  Invited talk at the University of Bristol (online), October 2020.
+  [Slides: [pdf](slides-tronto-bristol.pdf)]
+
+* *Algebraic groups and field extensions*.
+  University of Luxembourg PhD seminar (online), April 2020.
+  [Slides: [pdf](slides-alggroupsfieldext.pdf)]
+
+* *Field extensions and elliptic curves*.
+  University of Luxembourg PhD Day, October 2019.
+  [Slides: [pdf](slides-fieldextec.pdf)]
+
+* *Kummer theory for elliptic curves*.
+  University of Leiden algebra seminar, September 2019;
+  repeated with slides at the DIAMANT symposium, November 2019 and
+  at Seminari de Teoria de Nombres de Barcelona, February 2020.
+  [Notes: [pdf](notes-kummerec.pdf);
+   Slides DIAMANT: [pdf](slides-kummec-diamant.pdf);
+   Slides Barcelona: [pdf](slides-kummec-barcelona.pdf);].
+
+* *Divisibility of points in algebraic groups*.
+  Invited talk at the University of the Basque Country, May 2019.
+  [Notes: [pdf](notes-bilbao.pdf)]
+
+* *Kummer theory for number fields*.
+  Fifth symposium of the Roman Number Theory association, April 2019;
+  repeated at the Algant Alumni symposium in Benasque, May 2019.
+  [Slides: [pdf](slides-kummerdegrees.pdf)]
+
+* *The local-global principle*.
+  University of Luxembourg interdisciplinary seminar, March 2019.
+  [Slides: [pdf](slides-local-global.pdf)]
+
+* *Local-global principle for torsion*.
+  University of Luxembourg Number Theory seminar, November 2018.
+  [Notes: [pdf](notes-katz.pdf)]
diff --git a/src/research/slides-alggroupsfieldext.pdf b/src/research/slides-alggroupsfieldext.pdf
new file mode 100644
index 0000000..2b48adb
--- /dev/null
+++ b/src/research/slides-alggroupsfieldext.pdf
diff --git a/src/research/slides-ecm.pdf b/src/research/slides-ecm.pdf
new file mode 100644
index 0000000..9305984
--- /dev/null
+++ b/src/research/slides-ecm.pdf
diff --git a/src/research/slides-fieldextec.pdf b/src/research/slides-fieldextec.pdf
new file mode 100644
index 0000000..6b54ff7
--- /dev/null
+++ b/src/research/slides-fieldextec.pdf
diff --git a/src/research/slides-groupcohomec.pdf b/src/research/slides-groupcohomec.pdf
new file mode 100644
index 0000000..72a2a3c
--- /dev/null
+++ b/src/research/slides-groupcohomec.pdf
diff --git a/src/research/slides-kummec-barcelona.pdf b/src/research/slides-kummec-barcelona.pdf
new file mode 100644
index 0000000..7af439d
--- /dev/null
+++ b/src/research/slides-kummec-barcelona.pdf
diff --git a/src/research/slides-kummec-diamant.pdf b/src/research/slides-kummec-diamant.pdf
new file mode 100644
index 0000000..d66f002
--- /dev/null
+++ b/src/research/slides-kummec-diamant.pdf
diff --git a/src/research/slides-kummerdegrees.pdf b/src/research/slides-kummerdegrees.pdf
new file mode 100644
index 0000000..2b13012
--- /dev/null
+++ b/src/research/slides-kummerdegrees.pdf
diff --git a/src/research/slides-local-global.pdf b/src/research/slides-local-global.pdf
new file mode 100644
index 0000000..32a84fd
--- /dev/null
+++ b/src/research/slides-local-global.pdf
diff --git a/src/research/slides-tronto-bristol.pdf b/src/research/slides-tronto-bristol.pdf
new file mode 100644
index 0000000..4ece0b7
--- /dev/null
+++ b/src/research/slides-tronto-bristol.pdf
diff --git a/src/speedcubing/cubing.png b/src/speedcubing/cubing.png
new file mode 100644
index 0000000..2c188d8
--- /dev/null
+++ b/src/speedcubing/cubing.png
diff --git a/src/speedcubing/speedcubing.md b/src/speedcubing/speedcubing.md
new file mode 100644
index 0000000..dc1a3fa
--- /dev/null
+++ b/src/speedcubing/speedcubing.md
@@ -0,0 +1,17 @@
+# Speedcubing
+
+![Me solving a Rubik's cube during an official competition](cubing.png "Me solving a cube")
+
+I have been practicing [speedcubing](https://en.wikipedia.org/wiki/Speedcubing)
+since 2008, and since 2011 I have competed in 49 officially recognized
+[WCA](https://www.worldcubeassociation.org) competitions. I currently hold the
+world record for the single best result in the *3x3x3 Fewest Moves* event
+(16 moves), and some national records in different blindfolded events. I am
+also the leader of the WCA Disciplinary Committee. You can see all my official
+results [here](https://www.worldcubeassociation.org/persons/2011TRON02).
+
+If you are interested in Fewest Moves solving, check out my
+[FMC Tutorial](https://github.com/sebastianotronto/fmctutorial). I also
+upload irregularly on 
+[my YouTube channel](https://www.youtube.com/c/SebastianoTronto), but most
+videos are just me solving the cube.
diff --git a/src/style.css b/src/style.css
new file mode 100644
index 0000000..0078590
--- /dev/null
+++ b/src/style.css
@@ -0,0 +1,98 @@
+.menu {
+        width:                  100%;
+}
+
+.links {
+        text-align:             right;
+        font-weight:            bold;
+}
+
+.footer {
+        font-style:             italic;
+        width:                  100%;
+}
+
+.hosted {
+        text-align:             right;
+}
+
+body {
+        margin:                 auto 8px 20px 8px;
+}
+
+img {
+        display:                block;
+        margin-left:            auto;
+        margin-right:           auto;
+        max-width:              100%;
+}
+
+pre, code {
+        background-color:       #eeeeee;
+}
+
+pre {
+        border:                 2px solid;
+        padding:                6px;
+}
+
+#blob {
+        background:             #ffffff;
+        border:                 none;
+}
+
+a {
+        color:                  #0f2899;
+        text-decoration:        none;
+}
+
+.links a {
+        font-weight:            bold;
+        color:                  black;
+}
+
+.hosted a,
+.contact a {
+        font-weight:            bold;
+}
+
+a:hover {
+        text-decoration:        underline;
+}
+
+html {
+        margin:                 1em auto;
+        max-width:              42em;
+}
+
+h1 {
+        text-align:             center;
+}
+
+td h1 {
+        text-align:             left;
+        font-size:              1.5em;
+}
+
+table {
+        width:                  100%;
+}
+
+#files td {
+        font-family:            monospace;
+        font-size:              1.2em;
+        min-width:              7em;
+}
+
+#log tr:hover td,
+#files tr:hover td {
+        background-color:       #eeeeee;
+}
+
+.url td {
+        font-family:            monospace;
+}
+
+table tr td a img {
+        min-width:              33px;
+}
diff --git a/src/tronto-cv.pdf b/src/tronto-cv.pdf
new file mode 100644
index 0000000..3927970
--- /dev/null
+++ b/src/tronto-cv.pdf
diff --git a/top.html b/top.html
new file mode 100644
index 0000000..ad33387
--- /dev/null
+++ b/top.html
@@ -0,0 +1,50 @@
+<!doctype html>
+<html>
+<head>
+        <title> TITLE | Sebastiano Tronto </title>
+<meta name="viewport" content="width=device-width" />   <link rel="stylesheet" type="text/css" href="/style.css">
+        <link rel="icon" href="/favicon.png">
+        <meta charset="utf-8">
+</head>
+
+<body>
+
+<nav class="top">
+        <table class="menu">
+        <tr>
+        <td class="logo">
+                <a href="/">
+                        <svg width="50" height="50">
+                                <circle
+                                        cx="25"
+                                        cy="25"
+                                        r="24"
+                                        stroke = "black"
+                                        fill = "black"
+                                />
+                                <text
+                                        x="50%"
+                                        y="50%"
+                                        text-anchor="middle"
+                                        dominant-baseline="middle"
+                                        font-family="monospace"
+                                        font-weight="bolder"
+                                        font-size="2.5em"
+                                        fill="white"
+                                >
+                                        st
+                                </text>
+                        </svg>
+                </a>
+        </td>
+        <td class="links">
+                <a href="/research/">Research</a> |
+                <a href="/git/">Git</a> |
+                <a href="/speedcubing/">Cubing</a>
+        </td>
+        </tr>
+        </table>
+</nav>
+
+<hr class="line">
+