Commit 08b69f9d authored by Nicolas Lenz's avatar Nicolas Lenz

Tweaks on about and uncomment science section

parent 95b90bb3
......@@ -32,35 +32,37 @@ My main interests are science, computer science and politics (see below), also s
I'm chairman of the [student body](https://fsinfo.cs.tu-dortmund.de/fsr/start) of the computer science faculty at my university and I participate in the [FOSS-AG](https://foss-ag.de).
I enjoy cycling, my main means of mobility is my pedelec. Mostly with my girlfriend and sometimes with my parents or other people I do [Geocaching](https://www.geocaching.com), an outdoor game using GPS where one solves puzzles and other stuff to find hidden boxes called "geocaches".
I enjoy cycling, my main means of mobility is my e-bike. Mostly with my girlfriend and sometimes with my parents or other people I do [Geocaching](https://www.geocaching.com), an outdoor game using GPS where one solves puzzles and other stuff to find hidden boxes called "geocaches".
Moreover, as a computer geek I'm of course into computer games as well, mainly strategy and management games like [Cities: Skylines](https://www.citiesskylines.com/), [Europa Universalis](https://www.paradoxplaza.com/europa-universalis-all/) or [Stellaris](https://en.wikipedia.org/wiki/Stellaris_(video_game)). Apart from that I'm fond of simulations like [Kerbal Space Program](https://en.wikipedia.org/wiki/Kerbal_Space_Program) or [Elite: Dangerous](https://en.wikipedia.org/wiki/Elite_Dangerous). These two games are where I mainly got my liking of astronomy, space exploration and rocket science from.
I also like photography, mainly landscapes, streets and architecture. When I'm somewhere with enough wind, I love kite flying.
I also like photography, mainly landscapes, streets and architecture, and also computer graphics (see below). When I'm somewhere with enough wind, I love kite flying.
:::
::: box
## Science & Computer Science
*Work in progress*
<!--
I love science, scientific method, learning and explaining things. I am a skepticist and rationalist. I strive to question all my beliefs and knowledge and back it up with rational reasoning.
I love science, scientific method, learning and explaining things. I am a skepticist and rationalist: I strive to question all my knowledge and my beliefs and and back them up with rational reasoning.
I study computer science with passion at [TU Dortmund University](https://www.tu-dortmund.de/) in Germany.
I have special interest in the fields of functional programming, lambda calculus, type systems, formal languages and grammars, programming language design and theory, category theory and algebraic data structures.
My special interests lie in the fields of functional programming, lambda calculus, type systems, formal languages and grammars, programming language design and theory, category theory and algebraic/inductive/recursive data structures.
I also enjoy the practical stuff: programming (preferably functionally), Linux, administration, continuous integration, data security and free/libre and open source software in general. I administrate a home server (which this web page runs on) and write software for fun, most of openly available under free licenses. Take a look at my [GitLab](https://git.eisfunke.com/users/eisfunke/contributed) if you like.
I enjoy the practical stuff as well: programming (preferably functional), Linux, server administration, continuous integration, data/communication security and free/libre and open source software in general. I administrate a home server (which this web page runs on) and write software for fun, most of it openly available under free licenses.
Some of my favorite projects include:
Take a look at my [GitLab](https://git.eisfunke.com/users/eisfunke/contributed) for my software and more. Some of my favorite projects include:
- [Lightfold](https://git.eisfunke.com/software/lightfold/lightfold), a very young and experimental functional programming language with a dependent type system implemented in Haskell. I started development in my [bachelor thesis](https://git.eisfunke.com/research/thesis-bachelor).
- [Nebelhorn](https://git.eisfunke.com/software/nebelhorn), a static site generator using [Pandoc](https://pandoc.org/). This website is generated with Nebelhorn.
- [Mock](https://git.eisfunke.com/software/mock) and the corresponding [Telegram bot](https://git.eisfunke.com/software/mock-bot-telegram). Mock is a GReAt HAsKeLL tOOl to traNSFoRm TExt into different styles.
-->
Sometimes I also engage in graphics, mostly in a systematic-programmatic way. I love fractals and their recursive nature. Some examples:
- My [personal Eisfunke logo](https://git.eisfunke.com/document/logo) that is defined as an recursive fractal.
- The [Lightfold logo](https://git.eisfunke.com/software/lightfold/logo) that I constructed precisely from a few base parameters using geometrics.
- My [fractal snowflakes](https://git.eisfunke.com/document/snowflakes) generated from recursive grammars called "lindenmayer systems".
- The [color palette](https://git.eisfunke.com/document/palette) used for this website. The colors are generated systematically from a few base parameters in the CIELUV colorspace in order to *look* uniform and harmonic.
:::
::: box
......@@ -91,6 +93,8 @@ TODO influenced by
The header image is of the [autobahn A81](https://en.wikipedia.org/wiki/Bundesautobahn_81) in Geisingen, Germany. The image is in the public domain and taken from <https://www.goodfreephotos.com/astrophotography/milky-way-stars-over-the-lighted-highway.jpg.php>.
The [Eisfunke logo](https://git.eisfunke.com/document/logo) in the header is subject to some usage terms, see the link.
The fonts used are [Raleway](https://github.com/TypeNetwork/Raleway) as main sans serif font, [Zilla Slab](https://github.com/mozilla/zilla-slab) as Slab Serif font for continuous text and [Iosevka](https://github.com/be5invis/iosevka) in a [custom variant](https://git.eisfunke.com/config/iosevka) as monospace code font.
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment