commit a5d66cb6da3f6ab3b79898769b4d118c8b9e498b parent 11f155d5a60715508a3fe2069f723f354c65bc52 Author: Sebastiano Tronto <sebastiano@tronto.net> Date: Sat, 6 May 2023 17:43:11 +0200 Some changes and additions Diffstat:
34 files changed, 150 insertions(+), 109 deletions(-)
diff --git a/bottom.gmi b/bottom.gmi @@ -1,5 +1,7 @@ --- => mailto:sebastiano@tronto.net Email me at sebastiano@tronto.net -=> /blog Blog => / Home +=> /blog Blog +=> /speedcubing Cubing => https://sebastiano.tronto.net website +=> https://git.tronto.net webgit diff --git a/src/git/git.md b/src/git/git.md @@ -15,7 +15,13 @@ Here are some highlights of what you can find in my git repositories. ## Programs and scripts * [nissy](https://git.tronto.net/nissy): A Rubik's cube solver, - intended primarily as a tool for practicing FMC. + intended primarily as a tool for practicing FMC. Since april 2023 + the project has been split into the FMC trainer + [nissy-fmc](https://git.tronto.net/nissy-fmc) and the optimal solver + [nissy-nx](https://git.tronto.net/nissy-nx). Both are work in + progress. The stable version is available at + [nissy-classic](https://git.tronto.net/nissy-classic), and is + maintained with bugfixes. Check out also [the project's homepage](https://nissy.tronto.net). * [sdep](https://git.tronto.net/sdep): A minimalistic "date+event" line parser. Can be used in combination with some shell scripts @@ -49,4 +55,7 @@ I taught at the [University of Luxembourg](https://wwwen.uni.lu) * [My personal website](https://git.tronto.net/sebastiano.tronto.net): source files (mostly markdown) and build scripts for this website. +* [My git hooks](https://git.tronto.net/git-hooks), used to keep my + web git instance up do date automatically when I push new changes. See + [this blog post](https://sebastiano.tronto.net/blog/2022-11-23-git-host). * [Platonic solids](https://git.tronto.net/platonicsolids) in TikZ (LaTeX). diff --git a/src/home.md b/src/home.md @@ -2,10 +2,11 @@  -Hello! I am a scientific software engineer based in Leiden, The Netherlands. +Hello! I am a software developer based in Leiden, The Netherlands. Previously I was a PhD student in Mathematics at the Universities of -Luxembourg and Leiden. Check out my [list of papers and talks](research). +Luxembourg and Leiden. You can check out my [list of papers](research) +and [my talks](talks). During my free time I enjoy tinkering with my computer, [programming](git) and playing with the [Rubik's cube](speedcubing). diff --git a/src/research/research.md b/src/research/research.md @@ -5,10 +5,11 @@ After obtaining a bachelor degree in Trento in 2016 I have completed the special focus on number theory and algebraic geometry. I then moved on to obtain a joint PhD at the universities of Luxembourg and Leiden, under the supervision of [Antonella Perucca](http://antonellaperucca.net) and -[Peter Bruin](https://www.math.leidenuniv.nl/~pbruin). I have collected -in this page the list of papers I puplished during my PhD, as well as -slides or notes for all the talks I have given and my theses (Bachelor, -Master, PhD). +[Peter Bruin](https://www.math.leidenuniv.nl/~pbruin). + +I have collected in this page the list of papers I puplished during my PhD, +as well as theses (Bachelor, Master, PhD). See [my talks page](../talks) +for a list of slides and notes of my talks. ## Theses @@ -69,100 +70,3 @@ Master, PhD). * Perucca, Antonella; Sgobba, Pietro; Tronto, Sebastiano. *Explicit Kummer theory for the rational numbers.* International Journal of Number Theory (2020). - -## Talks - -* *Kummer theory for elliptic curves*. - Short talk for Tarrach Prize 2023, March 2023. - [Slides: [pdf, 288Kb](kummer-tarrach.pdf)] - -* *Kummer theory for commutative algebraic groups*. - Seminar at the university of Leiden, September 2022. - [Slides: [pdf, 1.2Mb](slides-kummer-final.pdf)] - -* *My journey in Kummer theory*. - Leiden-Luxembourg Number Theory PhD Days 2022, July 5-6. - [Slides: [pdf, 521Kb](slides-journey-kummer.pdf)] - -* *A tour of group theory with our companion cube*. - University of Luxembourg PhD seminar, May 2022. - [Slides: [pdf, 1.1Mb](group-cube.pdf)] - -* *Kummer theory via (J,T)-extensions*. - University of Leiden algebra seminar, May 2022; - similar to *A category of division modules*, see below. - -* *Kummer theory for algebraic groups*. - Nederlands Matematisch Congres, April 2022; - repeated at the DIAMANT symposium, April 2022. - [Notes (NMC): [pdf, 215Kb](slides-kummer-kwg.pdf); - Script (NMC): [txt, 9Kb](script-kummer-kwg.txt); - Notes (DIAMANT, longer version): [pdf, 223Kb](slides-kummer-diamant.pdf)] - -* *Division in modules*. - University of Leiden algebra seminar, April 2022; - similar to *A generalization of injective modules* and - *Division in modules and Kummer theory*, see below. - [Notes: [pdf, 245Kb](division-leiden.pdf)] - -* *Division in modules and Kummer theory*. - Invited talk at the University of Groningen, February 2022. - [Slides: [pdf, 249Kb](division-groningen.pdf)] - -* *A category of division modules*. - University of Luxembourg Number Theory seminar, November 2021. - [Notes: [pdf, 270Kb](notes-division-modules.pdf)] - -* *Introduction to étale cohomology*. - University of Luxembourg seminar series on perverse sheaves, October 2021. - [Notes: [pdf, 237Kb](notes-etale.pdf)] - -* *A generalization of injective modules*. - University of Luxembourg Number Theory seminar, October 2021. - [Notes: [pdf, 259Kb](notes-injectivity.pdf)] - -* *Integer factorization and elliptic curves*. - University of Leiden Bachelor seminar (guest talk), April 2021. - [Slides: [pdf, 393Kb](slides-ecm.pdf)] - -* *Group cohomology and elliptic curves*. - Invited talk at Number Theory Online conference, February 2021. - [Slides: [pdf, 210Kb](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, 239Kb](slides-tronto-bristol.pdf)] - -* *Algebraic groups and field extensions*. - University of Luxembourg PhD seminar (online), April 2020. - [Slides: [pdf, 280Kb](slides-alggroupsfieldext.pdf)] - -* *Field extensions and elliptic curves*. - University of Luxembourg PhD Day, October 2019. - [Slides: [pdf, 6.0Mb](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, 181Kb](notes-kummerec.pdf); - Slides DIAMANT: [pdf, 271Kb](slides-kummec-diamant.pdf); - Slides Barcelona: [pdf, 290Kb](slides-kummec-barcelona.pdf)]. - -* *Divisibility of points in algebraic groups*. - Invited talk at the University of the Basque Country, May 2019. - [Notes: [pdf, 231Kb](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, 291Kb](slides-kummerdegrees.pdf)] - -* *The local-global principle*. - University of Luxembourg interdisciplinary seminar, March 2019. - [Slides: [pdf, 598Kb](slides-local-global.pdf)] - -* *Local-global principle for torsion*. - University of Luxembourg Number Theory seminar, November 2018. - [Notes: [pdf, 208Kb](notes-katz.pdf)] diff --git a/src/speedcubing/speedcubing.md b/src/speedcubing/speedcubing.md @@ -4,8 +4,10 @@ I have been practicing [speedcubing](https://en.wikipedia.org/wiki/Speedcubing) since 2008, -and since 2011 I have competed in more than 50 officially recognized +and since 2011 I have competed in more than 60 officially recognized [WCA](https://www.worldcubeassociation.org) competitions. +I am currently the leader of the WCA Disciplinary Committee and +a WCA Junior Delegate. I use the Roux method to solve the Rubik's cube in about 8 seconds on average. I currently hold the world record for the single best @@ -16,7 +18,8 @@ records in blindfolded events. You can see all my official results If you are interested in Fewest Moves solving, check out my [FMC Tutorial](https://fmcsolves.cubing.net/). I also upload irregularly on [my YouTube channel](https://www.youtube.com/c/SebastianoTronto), but -most videos are just me solving the cube. +most videos consist just of me solving the cube without any comment +or explanation. ## Links @@ -25,3 +28,4 @@ most videos are just me solving the cube. * [My FMC Tutorial](https://fmcsolves.cubing.net/) * [My 3BLD algs for UBL/UR](https://docs.google.com/spreadsheets/d/17sL1RuiYijTMiQkBn_d5xthdgAoxGE8oaH-Po-PZ58s/edit?usp=sharing) (outdated, not very good) * [Solving a cube... without a cube](https://www.speedsolving.com/forum/threads/the-3x3x3-example-solve-thread.14345/page-273#post-1173067) +* [Nissy, a Rubik's cube solver and FMC assistant](https://nissy.tronto.net) diff --git a/src/talks/cube-2min-slides.pdf b/src/talks/cube-2min-slides.pdf Binary files differ. diff --git a/src/talks/cubo-cagliari.pdf b/src/talks/cubo-cagliari.pdf Binary files differ. diff --git a/src/research/division-groningen.pdf b/src/talks/division-groningen.pdf Binary files differ. diff --git a/src/research/division-leiden.pdf b/src/talks/division-leiden.pdf Binary files differ. diff --git a/src/research/group-cube.pdf b/src/talks/group-cube.pdf Binary files differ. diff --git a/src/research/kummer-tarrach.pdf b/src/talks/kummer-tarrach.pdf Binary files differ. diff --git a/src/talks/linuxday2019.pdf b/src/talks/linuxday2019.pdf Binary files differ. diff --git a/src/research/notes-bilbao.pdf b/src/talks/notes-bilbao.pdf Binary files differ. diff --git a/src/research/notes-division-modules.pdf b/src/talks/notes-division-modules.pdf Binary files differ. diff --git a/src/research/notes-etale.pdf b/src/talks/notes-etale.pdf Binary files differ. diff --git a/src/research/notes-injectivity.pdf b/src/talks/notes-injectivity.pdf Binary files differ. diff --git a/src/research/notes-katz.pdf b/src/talks/notes-katz.pdf Binary files differ. diff --git a/src/research/notes-kummerec.pdf b/src/talks/notes-kummerec.pdf Binary files differ. diff --git a/src/research/script-kummer-kwg.txt b/src/talks/script-kummer-kwg.txt diff --git a/src/research/slides-alggroupsfieldext.pdf b/src/talks/slides-alggroupsfieldext.pdf Binary files differ. diff --git a/src/research/slides-ecm.pdf b/src/talks/slides-ecm.pdf Binary files differ. diff --git a/src/research/slides-fieldextec.pdf b/src/talks/slides-fieldextec.pdf Binary files differ. diff --git a/src/research/slides-groupcohomec.pdf b/src/talks/slides-groupcohomec.pdf Binary files differ. diff --git a/src/research/slides-journey-kummer.pdf b/src/talks/slides-journey-kummer.pdf Binary files differ. diff --git a/src/research/slides-kummec-barcelona.pdf b/src/talks/slides-kummec-barcelona.pdf Binary files differ. diff --git a/src/research/slides-kummec-diamant.pdf b/src/talks/slides-kummec-diamant.pdf Binary files differ. diff --git a/src/research/slides-kummer-diamant.pdf b/src/talks/slides-kummer-diamant.pdf Binary files differ. diff --git a/src/research/slides-kummer-final.pdf b/src/talks/slides-kummer-final.pdf Binary files differ. diff --git a/src/research/slides-kummer-kwg.pdf b/src/talks/slides-kummer-kwg.pdf Binary files differ. diff --git a/src/research/slides-kummerdegrees.pdf b/src/talks/slides-kummerdegrees.pdf Binary files differ. diff --git a/src/research/slides-local-global.pdf b/src/talks/slides-local-global.pdf Binary files differ. diff --git a/src/research/slides-tronto-bristol.pdf b/src/talks/slides-tronto-bristol.pdf Binary files differ. diff --git a/src/talks/talks.md b/src/talks/talks.md @@ -0,0 +1,119 @@ +# Talks + +## Cubing + +* *Cubo di Rubik e Speedcubing (ITA)*. + Invited talk at Università di Cagliari, January 2020. + [Slides: [pdf, 2.0Mb](cubo-cagliari.pdf)] + +* *The Rubik's cube group structure in 2 minutes*. + Speed talk at the AAN Symposium, May 2019. + [Slides: [pdf, 1.2Mb](cube-2min-slides.pdf)] + +## Math + +* *Kummer theory for elliptic curves*. + Short talk for Tarrach Prize 2023, March 2023. + [Slides: [pdf, 288Kb](kummer-tarrach.pdf)] + +* *Kummer theory for commutative algebraic groups*. + Seminar at the university of Leiden, September 2022. + [Slides: [pdf, 1.2Mb](slides-kummer-final.pdf)] + +* *My journey in Kummer theory*. + Leiden-Luxembourg Number Theory PhD Days 2022, July 5-6. + [Slides: [pdf, 521Kb](slides-journey-kummer.pdf)] + +* *A tour of group theory with our companion cube*. + University of Luxembourg PhD seminar, May 2022. + [Slides: [pdf, 1.1Mb](group-cube.pdf)] + +* *Kummer theory via (J,T)-extensions*. + University of Leiden algebra seminar, May 2022; + similar to *A category of division modules*, see below. + +* *Kummer theory for algebraic groups*. + Nederlands Matematisch Congres, April 2022; + repeated at the DIAMANT symposium, April 2022. + [Notes (NMC): [pdf, 215Kb](slides-kummer-kwg.pdf); + Script (NMC): [txt, 9Kb](script-kummer-kwg.txt); + Notes (DIAMANT, longer version): [pdf, 223Kb](slides-kummer-diamant.pdf)] + +* *Division in modules*. + University of Leiden algebra seminar, April 2022; + similar to *A generalization of injective modules* and + *Division in modules and Kummer theory*, see below. + [Notes: [pdf, 245Kb](division-leiden.pdf)] + +* *Division in modules and Kummer theory*. + Invited talk at the University of Groningen, February 2022. + [Slides: [pdf, 249Kb](division-groningen.pdf)] + +* *A category of division modules*. + University of Luxembourg Number Theory seminar, November 2021. + [Notes: [pdf, 270Kb](notes-division-modules.pdf)] + +* *Introduction to étale cohomology*. + University of Luxembourg seminar series on perverse sheaves, October 2021. + [Notes: [pdf, 237Kb](notes-etale.pdf)] + +* *A generalization of injective modules*. + University of Luxembourg Number Theory seminar, October 2021. + [Notes: [pdf, 259Kb](notes-injectivity.pdf)] + +* *Integer factorization and elliptic curves*. + University of Leiden Bachelor seminar (guest talk), April 2021. + [Slides: [pdf, 393Kb](slides-ecm.pdf)] + +* *Group cohomology and elliptic curves*. + Invited talk at Number Theory Online conference, February 2021. + [Slides: [pdf, 210Kb](slides-groupcohomec.pdf); + [Video](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, 239Kb](slides-tronto-bristol.pdf)] + +* *Algebraic groups and field extensions*. + University of Luxembourg PhD seminar (online), April 2020. + [Slides: [pdf, 280Kb](slides-alggroupsfieldext.pdf)] + +* *Field extensions and elliptic curves*. + University of Luxembourg PhD Day, October 2019. + [Slides: [pdf, 6.0Mb](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, 181Kb](notes-kummerec.pdf); + Slides DIAMANT: [pdf, 271Kb](slides-kummec-diamant.pdf); + Slides Barcelona: [pdf, 290Kb](slides-kummec-barcelona.pdf)]. + +* *Divisibility of points in algebraic groups*. + Invited talk at the University of the Basque Country, May 2019. + [Notes: [pdf, 231Kb](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, 291Kb](slides-kummerdegrees.pdf)] + +* *The local-global principle*. + University of Luxembourg interdisciplinary seminar, March 2019. + [Slides: [pdf, 598Kb](slides-local-global.pdf)] + +* *Local-global principle for torsion*. + University of Luxembourg Number Theory seminar, November 2018. + [Notes: [pdf, 208Kb](notes-katz.pdf)] + +## Software + +* *L'importanza del software libero nella ricerca (ITA)*. + Linux day in Feltre, October 2019. + [Slides: [pdf, 804Kb](linuxday2019.pdf); + [Video](https://www.youtube.com/watch?v=FB0YIYNp3rw)] + +* *Linux from scratch (ITA)* + Linux day in Sedico, October 2012. + [Video](https://www.youtube.com/watch?v=h7xW7iq-ApA). diff --git a/top.html b/top.html @@ -20,10 +20,12 @@ </a> </td> <td class="links"> + <a href="/blog">Blog</a> | + <a href="/speedcubing">Cubing</a> | <a href="/tronto-cv.pdf" title="pdf, 205Kb">CV</a> | + <a href="/git">Git</a> | <a href="/research">Math</a> | - <a href="/speedcubing">Cubing</a> | - <a href="/git">Git</a> | <a href="/blog">Blog</a> + <a href="/talks">Talks</a> </td> </tr> </table>