minor updates

diff --git a/_layouts/default.html b/_layouts/default.html
index 0d529fa..47573c8 100644 (file)
--- a/_layouts/default.html
+++ b/_layouts/default.html
@@ -13,6 +13,9 @@
                                {% endif %}
                                {{ page.title }}
                         </h1>
+                        <h2>
+                               {{ page.subtitle }}
+                       </h2>
 
                        {% if page.collection == "posts" %}
                        <a href="/foerageer.html">Terug naar het blog</a>

diff --git a/index.md b/index.md
index b6b3eca..51c45d4 100644 (file)
--- a/index.md
+++ b/index.md
@@ -6,6 +6,8 @@ title: Mart Lubbers' website
 PhD candidate at the [Institute of Computing and Information Sciences](https://cs.ru.nl) ([Radboud University](https://ru.nl))<br />
 `mart@martlubbers.net` (GPG: <a href="http://martlubbers.net/mart@martlubbers.net.asc" title="Fingerprint: 74FF FBF1 4758 273B 2F56  A30C A937 B7A1 AD3F EBE7" style="font-family:monospace">AD3FEBE7</a>)<br />
 `mart@cs.ru.nl`<br />
+<a rel="me" href="https://gitlab.com/mlubbers">gitlab</a>,
+<a rel="me" href="https://dblp.uni-trier.de/pid/238/2964.html">dblp</a>,
 <a rel="me" href="https://akademienl.social/@mart">Mastodon</a> <br />
 
 <header>
@@ -57,7 +59,7 @@ PhD candidate at the [Institute of Computing and Information Sciences](https://c
 
 - M. Lubbers, P. Koopman, and R. Plasmeijer, “First-Class Data Types in Shallow Embedded Domain-Specific Languages using Metaprogramming,” in Proceedings of the 34th Symposium on the Implementation and Application of Functional Programming Languages, Kopenhagen, in-press, 2023, p. 12.
        <!--([pdf](files/ifl22.pdf))-->
-- M. Lubbers, P. Koopman, A. Ramsingh, J. Singer, and P. Trinder, “Could Tierless Languages Reduce IoT Development Grief?” ACM Trans. Internet Things, Nov. 2022, just-accepted, doi: 10.1145/3572901.
+- M. Lubbers, P. Koopman, A. Ramsingh, J. Singer, and P. Trinder, “Could Tierless Languages Reduce IoT Development Grief?” ACM Trans. Internet Things, vol. 4, no. 1, Feb. 2023, doi: 10.1145/3572901.
        ([pdf](files/tiot22.pdf))
 - Lubbers, M. (2022). Deep Embedding with Class. In: Swierstra, W., Wu, N. (eds) Trends in Functional Programming. TFP 2022. Lecture Notes in Computer Science, vol 13401. Springer, Cham.
        ([pdf](files/tfp22a.pdf))
@@ -170,8 +172,7 @@ PhD candidate at the [Institute of Computing and Information Sciences](https://c
 
 ### Software, libraries and projects
 
-- [m](https://github.com/dopefishh/m) --- `m' is for music, an extremely fast music indexer written in plain C.
-- [cloogle](https://github.com/dopefishh/cloogle) --- Cloogle, a hoogle clone for clean. [Live version here](http://cloogle.org).
+- [mTask](https://gitlab.com/mtask) --- a TOP framework for the Internet of Things integrated in iTasks.
 - [praatalign](https://github.com/dopefishh/praatalign) --- An interactive praat forced aligner, easily extensible for more languages.
 - [pympi](https://github.com/dopefishh/pympi) --- A python toolkit to interact with Praat and Elan files.
 
@@ -192,6 +193,11 @@ Linux,
 
 ### Archive
 
+#### Software
+- [m](https://github.com/dopefishh/m) --- `m' is for music, an extremely fast music indexer written in plain C.
+
+#### Pages
+
 [Using a HP t5710 thin client as a retro system](archive/thin.html)
 [LeJoS on ubuntu](archive/lejos-ubuntu.html),
 [Play youtube videos on headless machine](archive/youtube-term.html),

diff --git a/thesis.md b/thesis.md
new file mode 100644 (file)
index 0000000..c7e0ffe
--- /dev/null
+++ b/thesis.md
@@ -0,0 +1,7 @@
+---
+title: Orchestrating the Internet of Things with Task-Oriented Programming
+subtitle: a purely functional rhapsody
+date: 2023-04-19
+---
+
+Draft version: [pdf](files/phdthesis.pdf)