Commit 5799a54d authored by Nicolas Lenz's avatar Nicolas Lenz

Some updates on content

parent 159c45c8
......@@ -32,12 +32,14 @@
<div class="box" id="portrait">
<img src="res/nicolas.jpg" alt="Portrait"/>
</div>
<div class="box" id="welcome">
<h1>Welcome!</h1>
<p>
My name is <span class="small-caps">Nicolas Lenz</span>, I am 21 years old and I currently study computer science at Technical University Dortmund in Germany.
</p>
<h1>Welcome!</h1>
<p>
My name is <span class="small-caps">Nicolas Lenz</span>, I am 21 years old and I currently study computer science at Technical University Dortmund in Germany.
</p>
</div>
<div class="box" id="contact">
<h2>Contact</h2>
<ul>
......@@ -55,28 +57,29 @@
<ul>
<li><b><a href="https://foss-ag.de">FOSS-AG</a>:</b> An organization of students enjoying and promoting Free and Open-Source Software.<br/></li>
<li><b><a href="https://fsinfo.cs.tu-dortmund.de/fsr/start">FSR Informatik</a>:</b> Chairman of the student representatives for computer science at TU Dortmund.<br/></li>
<li>Tutor for Functional Programming at Lehrstuhl 1 at TU Dortmund.</li>
<li>Tutor for Functional Programming at Chair 1 at TU Dortmund.</li>
</ul>
</div>
<div class="box" id="projects">
<h2>Projects</h2>
<ul>
<li><b><a href="https://git.eisfunke.com/software/mock">Mock</a>:</b> A command line program to transform text.</li>
<li><b><a href="https://git.eisfunke.com/software/mock-telegram-bot">Mock (Telegram bot)</a>:</b> Telegram bot integration for Mock.</li>
<li><b><a href="https://git.eisfunke.com/web/online-lenz.de">online-lenz.de</a>:</b> The source code of this page.</li>
<li><b><a href="https://eisfunke.com">eisfunke.com</a>:</b> My blog about technology, science, politics and photography.</li>
<li><b><a href="https://git.eisfunke.com/research/katrin">katrin</a>:</b> The vague idea of a innovative, dependently-typed functional programming and markup language.</li>
<li><b><a href="https://git.eisfunke.com/research/katrin">Katrin</a>:</b> Ideas and work on a compiler for an innovative, dependently-typed functional programming language.</li>
</ul>
</div>
<div class="box" id="interests">
<h2>Interests</h2>
<ul>
<li>Type Theory</li>
<li>Functional Programming</li>
<li>Category Theory</li>
<li>Algebraic Modelling</li>
<li>(Functional) Programming</li>
<li>(Libertarian) Politics</li>
<li>Free Software</li>
<li>Streets &amp; traffic</li>
<li>Photography</li>
<li>Geocaching</li>
<li>Kite flying</li>
<li>Astronomy</li>
......@@ -84,7 +87,7 @@
</div>
<div class="box center" id="footer">
<p>- 2018 - Nicolas Lenz -</p>
<p>— 2018 - Nicolas Lenz —</p>
<p><small>Proudly hand-crafted with pure XHTML &amp; Sass - no JavaScript, PHP or Google services.</small></p>
<p><small>I don't log <emph>anything</emph> on this website.</small></p>
</div>
......
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