From: Mart Lubbers Date: Thu, 17 Jun 2021 17:22:53 +0000 (+0200) Subject: redo site in jekyll X-Git-Url: https://git.martlubbers.net/?p=martlubbers.net.git;a=commitdiff_plain;h=7a17e96b89c6d8b344ec807a9710c9e8df553f03 redo site in jekyll --- diff --git a/.gitignore b/.gitignore index a84fbd2..f0648c1 100644 --- a/.gitignore +++ b/.gitignore @@ -1 +1,2 @@ scr +_site diff --git a/_config.yml b/_config.yml new file mode 100644 index 0000000..4b153be --- /dev/null +++ b/_config.yml @@ -0,0 +1,11 @@ +#baseurl: https://martlubbers.net +livereload: true +markdown: kramdown +kramdown: + parse_block_html: true +defaults: + - + scope: + path: "" + values: + layout: "default" diff --git a/_includes/img.html b/_includes/img.html new file mode 100644 index 0000000..3493202 --- /dev/null +++ b/_includes/img.html @@ -0,0 +1,3 @@ + + {{ include.alttext }} + diff --git a/_layouts/default.html b/_layouts/default.html new file mode 100644 index 0000000..71db6fd --- /dev/null +++ b/_layouts/default.html @@ -0,0 +1,41 @@ + + + + {{ page.title }} + + + + +
+

+ {% if page.collection == "posts" %} + {{ page.date | date: '%Y-%m-%d' }}: + {% endif %} + {{ page.title }} +

+ + {% if page.collection == "posts" %} + Terug naar het blog + {% endif %} + {% if page.name != "index.md" %} + Back to home/terug naar home + {% endif %} +
+ +
+ {{ content }} +
+ + + + diff --git a/_layouts/posts.html b/_layouts/posts.html new file mode 100644 index 0000000..48da065 --- /dev/null +++ b/_layouts/posts.html @@ -0,0 +1,6 @@ +--- +layout: default +--- +

{{ page.date }}

+ +{{ content }} diff --git a/_posts/2021-06-12-look-zonder-look.md b/_posts/2021-06-12-look-zonder-look.md new file mode 100644 index 0000000..b109011 --- /dev/null +++ b/_posts/2021-06-12-look-zonder-look.md @@ -0,0 +1,85 @@ +--- +title: Groene asperge daslook risotto zonder look-zonder-look +--- + +Onze eerste wildpluk experiment was daslook. Op de wildplukwijzer stonden +diverse plekken aangegeven in onze woonplaats waar daslook te oogsten was. Ook +is de geur onmiskenbaar en kan er eigenlijk niets mis gaan. Eenmaal op locatie +bleek dit ook het geval. Een weeïge uienlucht verried de aanwezigheid en voor +wij het wisten had ik genoeg afgesneden voor het recept dat we [hier][0] +gevonden hadden. Het was heerlijk... Het begin van onze wildpluk avontuur was +perfect. + +[![Look-zonder-look in bloei][i0]][i0l] +[![Look-zonder-look als blad][i1]][i1l] + + + +Een maand en wat ervaring later dachten we dat we wel kon experimenteren. De +daslook is uitgebloeid en niet zo lekker meer dus we moesten een alternatief +bedenken. Op de daslook plekken konden we nog wel wat vinden dus we wilden de +daslook aanvullen met een ander gewas. Nou staat het in onze woonplaats ook vol +met look-zonder-look, en we hadden hier al vaak aan geroken en rauwe blaadjes +geproefd dus dat was een recept voor success. + +Niets was minder waar... Phillips schrijft over look-zonder-look: + +> Pluk de bovenste bladeren en toppen in maart of april als de bloemen in knop +> zijn. Vroeger werk look-zonder-look algemeen gebruikt in salades en als +> toekruid. William Coles schreef in 1657, dat het werd gegeten 'door velen op +> het platteland als saus bij hun gezouten vis. --- Puur Natuur op tafel - +> Roger Phillips (pg. 22) + +Mijn eerste ingeving was dat _Als saus bij hun gezouten vis_ een warme saus +betrof dus we hebben vrolijk de helft van de daslook vervangen door +look-zonder-look. Al bij de eerste hap merkten we dat er iets niet goed was. +Look-zonder-look is van nature ietwat bitter maar door verhitting wordt de +bitterheid versterkt en verdwijnt alle lokige smaak. De risotto smaakte prima +mits je geen bladen look-zonder-look op je lepel had liggen. + +Later vonden we diverse wisselende bronnen. De [een][1] beweert dat het gekookt +prima is, de [an][2][der][3] stelt dat het echt alleen rauw gegeten moet +worden. Wij scharen ons achter die tweede groep. + +## Daslook Groene Asperge Risotto + +### Benodigdheden (4 personen) + +- 1 l bouillon +- 300g groene asperges +- 1el olijfolie +- 150g daslook +- 250g risotto rijst +- 1dl witte wijn +- 60g parmigiano reggiano +- peper + +### Bereiding + +Snijd de houtige onderkant van de asperges en kook ze gaar in de bouillon in 3 +minuten. + +Hak de steeltjes van de daslookbladeren fijn en fruit deze 2 minuutjes aan met 1el olie in een pan met een dikke bodem. + +Voeg de rijst toe en bak mee tot het glazig geworden is + +Blus af met de wijn en laat inkoken. Telkens als het vocht ingekookt is voeg je +wat bouillon toe tot de rijst weer onder staat (±25 minuten). + +Voeg de grofgesneden daslook bladeren, de geraspte kaas en de fijngesneden +asperges toe, zet het vuur uit en schep om. + +Garneer af met peper uit de molen en eventueel een daslook bloemetje. + +[![Verse geoogste daslook en look-zonder-look][i2]][i2l] + +[0]: https://www.bijnanetzolekkeralsthuis.nl/2016/05/risotto-met-daslook-en-groene-asperges.html?m=1)had ik +[1]: https://www.permacultuurnederland.org/planten.php?zoek=&laag=&functieSER=Z24=&pid=167&page=20 +[2]: http://www.natuur-keuken.nl/eten/look-zonder-look-de-smaak-van-knoflook-van-een-plant-uit-de-koolfamilie/ +[3]: http://www.nederlands-dis.nl/basis/eten-uit-de-natuur/uit-de-natuur-look-zonder-look/ +[i0]: /assets/2021-06-12-bloei-thumb.jpeg +[i0l]: /assets/2021-06-12-bloei.jpeg +[i1]: /assets/2021-06-12-blad-thumb.jpg +[i1l]: /assets/2021-06-12-blad.jpg +[i2]: /assets/2021-06-12-groente-thumb.jpeg +[i2l]: /assets/2021-06-12-groente.jpeg diff --git a/_posts/2021-06-14-zomereikwijn.md b/_posts/2021-06-14-zomereikwijn.md new file mode 100644 index 0000000..ca1e9c1 --- /dev/null +++ b/_posts/2021-06-14-zomereikwijn.md @@ -0,0 +1,8 @@ +--- +title: Zomereikwijn +--- + + + +## Zomereikwijn + diff --git a/_posts/2021-06-16-aalbessen-krentjesjam.md b/_posts/2021-06-16-aalbessen-krentjesjam.md new file mode 100644 index 0000000..caddee1 --- /dev/null +++ b/_posts/2021-06-16-aalbessen-krentjesjam.md @@ -0,0 +1,45 @@ +--- +title: Aalbessen krentjesjam +--- + +April en mei mogen dan koud geweest zijn. Juni heeft dit al meer dan goed +gemaakt waardoor ook de aalbessen nu rijp zijn. +Juni is normaliter ook de tijd van de aalbessen, die hier in de tuin staan maar +ook uitgebreid wild te vinden zijn. Naast aalbessen zijn de krentjes/besjes van +de krentenboom ook rijp op dit moment. + +{% include img.html alt="Krentjes foto 1" img="2021-06-16-krentjes1" %}{% include img.html alt="Krentjes foto 1" img="2021-06-16-krentjes2" %} + +Krentenbomen zijn geïmporteerd uit Amerika maar is al tijden een boompje die +veel in Europa voor komt. Zo ook rond de universiteit Nijmegen en in Almere. +De oogst van de krentenboompjes is meestal beperkt omdat de vogels er ook dol +op zijn. Toch heb ik best een doosje vol kunnen scoren bij de boompjes in +Nijmegen en de ---pas ontdekt toen ik terug kwam uit Nijmegen--- bomen in +Almere hangen ook goed vol. De krentjes zijn lekker om zo te eten maar kunnen +ook in jam en gebak gebruikt worden. Tijdens het verzamelen riep een fietser +nog wel: "er zitten beestjes in!" maar na grondig onderzoek en proeven bleken +de krenten prima en de aalbessen krentjes jam evengoed. + + + +## Aalbessen krentjesjam + +{% include img.html alt="Aalbessen" img="2021-06-16-aalbessen" %}{% include img.html alt="Jam inkoken" img="2021-06-16-pan" %}{% include img.html alt="Drie potjes jam" img="2021-06-16-potjes" %} + +### Benodigdheden (ruim 3 potjes a 350ml) + +- 400g aalbessen +- 100g krentjes +- 500g geleisuiker +- citroensap + +### Bereiding + +Volg het algemene jam recept maar laat het wat langer koken (zie: http://oogstenzonderzaaien.nl/wiki/Krentenboom#Jam). + +[i0]: /assets/2021-06-12-bloei-thumb.jpeg +[i0l]: /assets/2021-06-12-bloei.jpeg +[i1]: /assets/2021-06-12-blad-thumb.jpg +[i1l]: /assets/2021-06-12-blad.jpg +[i2]: /assets/2021-06-12-groente-thumb.jpeg +[i2l]: /assets/2021-06-12-groente.jpeg diff --git a/assets/2021-06-12-blad-thumb.jpg b/assets/2021-06-12-blad-thumb.jpg new file mode 100644 index 0000000..89ae63d Binary files /dev/null and b/assets/2021-06-12-blad-thumb.jpg differ diff --git a/assets/2021-06-12-blad.jpg b/assets/2021-06-12-blad.jpg new file mode 100644 index 0000000..43a7a17 Binary files /dev/null and b/assets/2021-06-12-blad.jpg differ diff --git a/assets/2021-06-12-bloei-thumb.jpg b/assets/2021-06-12-bloei-thumb.jpg new file mode 100644 index 0000000..96620ef Binary files /dev/null and b/assets/2021-06-12-bloei-thumb.jpg differ diff --git a/assets/2021-06-12-bloei.jpg b/assets/2021-06-12-bloei.jpg new file mode 100644 index 0000000..b60a862 Binary files /dev/null and b/assets/2021-06-12-bloei.jpg differ diff --git a/assets/2021-06-12-groente-thumb.jpg b/assets/2021-06-12-groente-thumb.jpg new file mode 100644 index 0000000..05c0fd0 Binary files /dev/null and b/assets/2021-06-12-groente-thumb.jpg differ diff --git a/assets/2021-06-12-groente.jpg b/assets/2021-06-12-groente.jpg new file mode 100644 index 0000000..ce767e7 Binary files /dev/null and b/assets/2021-06-12-groente.jpg differ diff --git a/assets/2021-06-16-aalbessen-thumb.jpg b/assets/2021-06-16-aalbessen-thumb.jpg new file mode 100644 index 0000000..ebe7f89 Binary files /dev/null and b/assets/2021-06-16-aalbessen-thumb.jpg differ diff --git a/assets/2021-06-16-aalbessen.jpg b/assets/2021-06-16-aalbessen.jpg new file mode 100644 index 0000000..05545da Binary files /dev/null and b/assets/2021-06-16-aalbessen.jpg differ diff --git a/assets/2021-06-16-krentjes1-thumb.jpg b/assets/2021-06-16-krentjes1-thumb.jpg new file mode 100644 index 0000000..06db683 Binary files /dev/null and b/assets/2021-06-16-krentjes1-thumb.jpg differ diff --git a/assets/2021-06-16-krentjes1.jpg b/assets/2021-06-16-krentjes1.jpg new file mode 100644 index 0000000..a816ae6 Binary files /dev/null and b/assets/2021-06-16-krentjes1.jpg differ diff --git a/assets/2021-06-16-krentjes2-thumb.jpg b/assets/2021-06-16-krentjes2-thumb.jpg new file mode 100644 index 0000000..6de0a39 Binary files /dev/null and b/assets/2021-06-16-krentjes2-thumb.jpg differ diff --git a/assets/2021-06-16-krentjes2.jpg b/assets/2021-06-16-krentjes2.jpg new file mode 100644 index 0000000..05c3de1 Binary files /dev/null and b/assets/2021-06-16-krentjes2.jpg differ diff --git a/assets/2021-06-16-pan-thumb.jpg b/assets/2021-06-16-pan-thumb.jpg new file mode 100644 index 0000000..dcbe732 Binary files /dev/null and b/assets/2021-06-16-pan-thumb.jpg differ diff --git a/assets/2021-06-16-pan.jpg b/assets/2021-06-16-pan.jpg new file mode 100644 index 0000000..ffa15f7 Binary files /dev/null and b/assets/2021-06-16-pan.jpg differ diff --git a/assets/2021-06-16-potjes-thumb.jpg b/assets/2021-06-16-potjes-thumb.jpg new file mode 100644 index 0000000..cf8459c Binary files /dev/null and b/assets/2021-06-16-potjes-thumb.jpg differ diff --git a/assets/2021-06-16-potjes.jpg b/assets/2021-06-16-potjes.jpg new file mode 100644 index 0000000..9ba2050 Binary files /dev/null and b/assets/2021-06-16-potjes.jpg differ diff --git a/assets/Makefile b/assets/Makefile new file mode 100644 index 0000000..4c95720 --- /dev/null +++ b/assets/Makefile @@ -0,0 +1,4 @@ +all: $(addsuffix -thumb.jpg,$(basename $(filter-out %-thumb.jpg,$(wildcard *.jpg)))) + +%-thumb.jpg: %.jpg + convert $< -resize x250 $@ diff --git a/assets/p-thumb.jpg b/assets/p-thumb.jpg new file mode 100644 index 0000000..e5e6a15 Binary files /dev/null and b/assets/p-thumb.jpg differ diff --git a/assets/p.jpg b/assets/p.jpg new file mode 100644 index 0000000..f779c02 Binary files /dev/null and b/assets/p.jpg differ diff --git a/dvorak.html b/dvorak.html deleted file mode 100644 index 4356224..0000000 --- a/dvorak.html +++ /dev/null @@ -1,99 +0,0 @@ - - - - Dvorak resources - - - - -
-

Dvorak resources

-

Since about 2011 I've started using dvorak as my main keyboard layout and like the efficiency compared to QWERTY.

- - -
-

Notes

-

Note to self (2015-10-30)

-

Note to self: x-keyboard-config on arch linux overwrites the - file where the dvorak russian keymap is stored and by that the - xserver fails to set the keymap, returning to default qwerty. - This can be solved by loading the keymap from a custom - location? Or maybe to pin the file so that the package manager - doesn't overwrite it?

- -

Dosbox

-

Dvorak is also usable in dosbox via a custom mapper file that your can find here
- You can enable the layout by saving this in your settings directory and 

mapperfile=dvorak-0.74.map
to your sdl section of your dosbox config.

- -

Update (2020-06-11)

-

Dvorak is now built in as a keymap in dosbox. - You can enable the layout by running 

KEYB dv103
in a dosbox - prompt or setting the following in your dosbox config file. -

- 
-[dos]
-keyboardlayout=dv103
-
- -

Dvorak in dos

-

To use dvorak in dos download this file containing dvorak.com
- Transfer it to your C:\DOS folder for example and add this to your AUTOEXEC.bat:

- 
C:\DOS\DVORAK.COM
-

When your computer boots the program will say DVORAK is loaded and you're good to go

- -

The MS-DOS supplemental disk also contains a dvorak keyboard layout. Install and put this in your AUTOEXEC.bat:

- 
KEYB DV,,C:\DOS\DVORAK.SYS
- -

Russian (2014-10-07

-

When learning russian I had to type some stuff in russian, as I found - out that there was a phonetic keyboard I was excited but it didn't work on - dvorak layout. So some guy named Oleg made a phonetic russian keyboard - layout in dvorak and you can download it - here. When you want to use it you - have to append the information from the file to - 

/usr/share/X11//xkb/symbols/ru
- When you want to load it you can - type - 
setxkbmap -layout ru -variant phonetic_dvorak
-

- -

Update (2015-04-16)

-

Since having to setup the keyboard after login can be useful if you - don't have the rights to edit system configuration files on your system(eg. - work) but it's not a durable solution for your own system. If you want to - make these things semipermanent you can use the handy program called - - localectl - which writes an xorg.conf.d/ file. In my specific case these are the - commands to set the keymap for the console and for within X. For the - console I only use normal dvorak whereas in X I want to be able to - switch(with menu key) and use the right alt as compose key. - 

-# localectl set-x11-keymap --no-convert dvorak,ru pc104 ,phonetic_dvorak compose:ralt,grp:menu_toggle
-# localectl set-keymap --no-convert dvorak
-
-

- - diff --git a/dvorak.md b/dvorak.md new file mode 100644 index 0000000..5791c60 --- /dev/null +++ b/dvorak.md @@ -0,0 +1,83 @@ +--- +title: Dvorak resources +date: 2021-06-16 +--- + +Since about 2011 I've started using dvorak as my main keyboard layout and like the efficiency compared to QWERTY. + +## Table of contents + +- [Notes](#notes) + - [Note to self (2015-10-30)](#note-to-self-2015-10-30) +- [Dosbox](#dosbox) + - [Update (2020-06-11)](#update-2020-06-11) +- [Dos](#dvorak-in-dos) +- [Russian (2014-10-07)](#russian-2014-10-07) + - [Update (2015-04-16)](#update-2015-04-16) + +## Notes +### Note to self (2015-10-30) +Note to self: x-keyboard-config on arch linux overwrites the +file where the dvorak russian keymap is stored and by that the +xserver fails to set the keymap, returning to default qwerty. +This can be solved by loading the keymap from a custom +location? Or maybe to pin the file so that the package manager +doesn't overwrite it? + +## Dosbox +Dvorak is also usable in dosbox via a custom mapper file that your can find [here](files/dvorak-0.74.map) +You can enable the layout by saving this in your settings directory and `mapperfile=dvorak-0.74.map` to your sdl section of your dosbox config. + +### Update (2020-06-11) +Dvorak is now built in as a keymap in dosbox. +You can enable the layout by running `KEYB dv103` in a dosbox +prompt or setting the following in your dosbox config file. + +``` +[dos] +keyboardlayout=dv103 +``` + +## Dvorak in dos +To use dvorak in dos download this [file](files/dvorak_dos.tar) containing dvorak.com +Transfer it to your C:\DOS folder for example and add this to your AUTOEXEC.bat: + +``` +C:\DOS\DVORAK.COM +``` + +When your computer boots the program will say DVORAK is loaded and you're good to go + +The MS-DOS supplemental disk also contains a dvorak keyboard layout. Install and put this in your AUTOEXEC.bat: +``` +KEYB DV,,C:\DOS\DVORAK.SYS +``` + +## Russian (2014-10-07 +When learning russian I had to type some stuff in russian, as I found +out that there was a phonetic keyboard I was excited but it didn't work on +dvorak layout. So some guy named Oleg made a phonetic russian keyboard +layout in dvorak and you can download it +[here](files/phonetic_dvorak.gz). When you want to use it you +have to append the information from the file to +`/usr/share/X11//xkb/symbols/ru` +When you want to load it you can type +``` +setxkbmap -layout ru -variant phonetic_dvorak +``` + +### Update (2015-04-16) +Since having to setup the keyboard after login can be useful if you +don't have the rights to edit system configuration files on your system(eg. +work) but it's not a durable solution for your own system. If you want to +make these things semipermanent you can use the handy program called +[localectl](http://www.freedesktop.org/software/systemd/man/localectl.html) +which writes an xorg.conf.d/ file. In my specific case these are the +commands to set the keymap for the console and for within X. For the +console I only use normal dvorak whereas in X I want to be able to +switch(with menu key) and use the right alt as compose key. + +``` +# localectl set-x11-keymap --no-convert dvorak,ru pc104 ,phonetic_dvorak compose:ralt,grp:menu_toggle +# localectl set-keymap --no-convert dvorak +``` diff --git a/foerageer.md b/foerageer.md new file mode 100644 index 0000000..d93448e --- /dev/null +++ b/foerageer.md @@ -0,0 +1,28 @@ +--- +title: Foerageerheer +date: 2021-06-14 +description: Dit blog dient als een plek om mijn wildplukervaringen te delen en als notitieblok voor mijzelf. +--- +[Back to home/terug naar home](/) + +Dit blog dient als een plek om mijn wildplukervaringen te delen en als +notitieblok voor mijzelf. + +De meeste informatie haal ik uit de volgende bronnen: + +- Eten uit de Natuur --- Roger Phillips +- Wildplukwiki van oogstenzonderzaaien --- http://oogstenzonderzaaien.nl/wiki/Hoofdpagina +- Eetbare planten database van Permacultuur Nederland --- https://www.permacultuurnederland.org/planten.php + + + +[RSS feed](foerageer.xml) + + diff --git a/foerageer.xml b/foerageer.xml new file mode 100644 index 0000000..be55f0a --- /dev/null +++ b/foerageer.xml @@ -0,0 +1,34 @@ +--- +layout: null +--- + + + + {% assign blog = site.pages | where:'name','foerageer.md' %} + {% for page in blog limit:1 %} + {{ page.title }} + + {{ page.title }}: + {{ page.description }} + + {{ page.url }} + {{ site.time | date_to_rfc822 }} + {% endfor %} + + {% for post in site.posts %} + + {{ post.title }} + + {{ post.url | prepend: site.url }} + + + {{ post.excerpt }} + + {{ post.date | date_to_rfc822 }} + + {{ post.url | prepend: site.url }} + + + {% endfor %} + + diff --git a/index.html b/index.html deleted file mode 100644 index 7498874..0000000 --- a/index.html +++ /dev/null @@ -1,387 +0,0 @@ - - - - Mart Lubbers' Site - - - - - -
-

Mart Lubbers

-

- A photo of Mart Lubbers.
- PhD candidate at the Institute of Computing and Information Sciences (Radboud University)
- mart@martlubbers.net (GPG: AD3FEBE7)
- mart@cs.ru.nl
-

- - -
- -

Work

- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
FromTillFunction
2018-06 - PhD candidate at the RU -
2018-022018-05 - Researcher at the RU -
2017-092017-12 - Researcher/Teacher at the NLDA -
2017-072017-12 - Programmer for Wi-Sense. -
2016-022017-07 - Student assistant at the Radboud University:
- 2016/2017: Functional Programming 1
- 2015/2016: Functional Programming 1, Functional Programming 2, Web Security
-
2015-042017-06Owner of ITLubbers.
2013-062015-12Student Assistant at Max Planck Institute for Psycholinguistics - Processing and collecting data and developing software in the LaC department.
2012-032013-08Student at Studentaanhuis.nl
- -

Publications

-

Peer reviewed

- - -

Theses

- - -

Student supervision

- - -

Posters

- - -

Teaching

- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
DateDescriptionCourse
2020/2021-Q3,Q4Compiler Construction (half of the lectures, orals)NWI-IMC004 (RU)
2020/2021-Q1,Q2New Devices Lab (one lecture, practicals)NWI-IBC031 (RU)
2019/2020-Q3,Q4Compiler Construction (half of the lectures, orals)NWI-IMC004 (RU)
2019/2020-Q3Computers en Programmeren (support the practicals)TCP1 (NLDA)
2018/2019-Q3,Q4Compiler Construction (half of the lectures, all seminars, orals)NWI-IMC004 (RU)
2018/2019-Q1,Q2Advanced Functional Programming (grading and half of the seminars)NWI-I00032 (RU)
- -

Talks

- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
Date/FilesDescriptionLink
2021-04-07Deep Embedding with ClassSWSSeminar
2021-02-17Asynchronous Shared Data SourcesTFP 2021/LambdaDays 2021
2020-10-06Tiered versus Tierless IoT Stacks: Comparing Smart Campus Software ArchitecturesIoT 2020
2020-09-02Asynchronous Shared Data SourcesIFL 2020
2019-11-18The fun of computing science: footballer brains in SoccerFunRU
2019-09-25Interpreting Task Oriented Programs on Tiny ComputersIFL 2019
2019-07-03Promoveren en Functioneel ProgrammerenStudium Generale 2019
2019-06-17Task Oriented Programming for the Internet of Things (lecture and practical)CEFP19
2019-05-21Multitasking on Microcontrollers using Task Oriented Programming4COWS19
2018-11-29Task Oriented Programming and the Internet of Things.PLNL18
2018-10-23,24,25Three day teacher training on TOP and IOT for the 3COWS project.3COWS
2018-01-05Task Oriented Pearl: Distributed Blockchain Applications.NLFP18
2017-08-31Task Oriented Programming and the Internet of Things.IFL 2017
2017-03-11Software Science masters. RU.
2016-11-17Software Science masters. RU.
2016-11-09GNU Make workshop. LUGN
2016-03-16Git workshop for AI students.
2015-12-08LaTeX workshop. LUGN
2015-07-14Mutt workshop. LUGN
2015-04-20Git flashtalk for AI students.
2014-09-29ELAN-Python mini-course(pympi). MPI
2014-09-09Introduction to the command line and bash. LUGN
2014-07-08Advanced usage of ssh. LUGN
- -

Other

-

Software, libraries and projects

- - -

Tutorials and manuals

- - -

Interests

-

- Reading, - Heavy metal music, - Hacking, - Kung fu, - Linux, - Å¿-homografen. -

- -

Archive

-

- Using a HP t5710 thin client as a retro system - LeJoS on ubuntu, - Play youtube videos on headless machine, - Use any untrusted linux cloud storage safe, - Wlan w.o. network manager on debian. -

- - - - diff --git a/index.md b/index.md new file mode 100644 index 0000000..a00ee74 --- /dev/null +++ b/index.md @@ -0,0 +1,200 @@ +--- +title: Mart Lubbers' website +--- + +{% include img.html alt='A photo of Mart Lubbers' img='p' %} +PhD candidate at the [Institute of Computing and Information Sciences](https://cs.ru.nl) ([Radboud University](https://ru.nl))
+`mart@martlubbers.net` (GPG: AD3FEBE7)
+`mart@cs.ru.nl` + +## Table of contents + +
+ +
+ +## Work + +- PhD candidate at the Radboud University --- from 2018-06 +- Researcher at the Radboud University --- from 2018-02 till 2018-05 +- Researcher/teacher at the Netherlands Defense Academy --- from 2017-09 till 2017-12 +- Earlier: +
+- Programmer for Wi-Sense --- from 2016-02 till 2017-07 +- Owner of ITLubbers --- from 2015-04 till 2017-06 +- Student assistant at the Radboud University from 2015 till 2016 + - 2016/2017: Functional Programming 1 + - 2015/2016: Functional Programming 1, Functional Programming 2, Web Security +- Student assistant at the Max Planck Institute for Psycholinguistics --- from 2013-06 till 2015-12 + Processing and collecting data and developing software in the [LaC](http://www.mpi.nl/departments/language-and-cognition) department. +- Student at Studentaanhuis.nl --- from 2012-03 till 2013-08 +
+ +## Publications +### Peer reviewed + +- M. Lubbers, P. Koopman, A. Ramsingh, J. Singer, and P. Trinder, “Tiered versus Tierless IoT Stacks: Comparing Smart Campus Software Architectures,” in Proceedings of the 10th International Conference on the Internet of Things, Malmö, 2020, p. 9. + ([pdf](files/iot20.pdf)) +- M. Lubbers, P. Koopman, and R. Plasmeijer, “Interpreting Task Oriented Programs on Tiny Computers,” in Proceedings of the 31th Symposium on the Implementation and Application of Functional Programming Languages, Singapore, in-press, p. 12. + +- M. Lubbers, P. Koopman, and R. Plasmeijer, “Writing Internet of Things applications with Task Oriented Programming,” in Central European Functional Programming School: 8th Summer School, CEFP 2019, Budapest, Hungary, July 17–21, 2019, Revised Selected Papers, Cham: Springer International Publishing, in-press, 2019, p. 51. + +- P. Koopman, M. Lubbers, and R. Plasmeijer, “Simulation of a Task-Based Embedded Domain Specific Language for the Internet of Things,” in Central European Functional Programming School: 7th Winter School, CEFP 2018, Košice, Slovakia, January 22–26, 2018, Revised Selected Papers, Cham: Springer International Publishing, in-press, 2018, . + +- M. Lubbers, P. Koopman, and R. Plasmeijer, “Multitasking on Microcontrollers using Task Oriented Programming,” in 2019 42st International Convention on Information and Communication Technology, Electronics and Microelectronics (MIPRO), Opatija, Croatia, pp. 1587-1592. + ([pdf](files/3cows.pdf)) +- M. Lubbers, P. Koopman, and R. Plasmeijer, “Task Oriented Programming and the Internet of Things,” in Proceedings of the 30th Symposium on the Implementation and Application of Functional Programming Languages, Lowell, MA, 2018, pp. 83–94. + ([pdf](files/ifl18.pdf)) +- P. Koopman, M. Lubbers, and R. Plasmeijer, “A Task-Based DSL for Microcomputers,” in Proceedings of the Real World Domain Specific Languages Workshop, 2018, pp. 1–11. + ([pdf](files/rwdsl17.pdf)) + +### Theses + +- M. Lubbers, “Task Oriented Programming and the Internet of Things,” Master’s Thesis, Radboud University, Nijmegen, 2017. + ([pdf](files/master.pdf)) +- M. Lubbers, “Adaptable crawler specification generation system for leisure activity RSS feeds,” Bachelor's Thesis, Radboud University, Nijmegen, 2015. + ([pdf](files/bachelor.pdf)) + +### Student supervision + +- D.J.M. Artz, "Information Technology Support for the Arterial Thoracic Outlet Syndrome," Bachelor’s Thesis, Radboud University, Nijmegen, 2020 + ([pdf](files/artz.pdf), second reader). +- M.L. de Boer, "Secure Communication Channels for mTask," Bachelor’s Thesis, Radboud University, Nijmegen, 2020 + ([pdf](files/boer.pdf), daily supervisor). +- VDG W.F.T. Vos, "Draadloze prestaties van de Wemos D1 Mini V3," Bachelor’s Thesis, Netherlands Defence Academy, Den Helder, 2020 + (pdf, client). +- E. van der Veen, "Mutable Collection Types in Shallow Embedded DSLs," Master’s Thesis, Radboud University, Nijmegen, 2020 + ([pdf](files/veen.pdf), daily supervisor). +- H. Böhm, “Asynchronous Actions in a Synchronous World,” Master’s Thesis, Radboud University, Nijmegen, 2019 + ([pdf](files/böhm.pdf), daily supervisor/second reader). +- M. Amazonas Cabral De Andrade, “Developing Real Life, Task Oriented Applications for the Internet of Things,” Master’s Thesis, Radboud University, Nijmegen, 2018 + ([pdf](files/andrade.pdf), daily supervisor). + +### Posters + +- W. Schuerman, F. Torreira, and Lubbers, M, “Praatalign: Phonetic Alignment Made Easier For Psycholinguistic Data Processing,” Architectures and Mechanisms for Language Processing, p. 92, 2015. + ([pdf](files/amlap15.pdf)) + +## Teaching + +- Compiler construction --- NWI-IMC004 (18/19, 19/20, 20/21) +- New Devices Lab --- NWI-IBC031 (20/21) +- Computers en Programmeren --- TCP1 (19/20) at the [NLDA](https://www.defensie.nl/onderwerpen/defensieacademie) +- Advanced Programming --- NWI-I00032 (18/19) + +## Talks + +- 2021-04-07 --- Deep Embedding with Class ([SWSSeminar](https://www.sws.cs.ru.nl/SWSSeminar)) +- 2021-02-17 --- Asynchronous Shared Data Sources ([TFP 2021/LambdaDays 2021](http://tfp2021.org)) +- 2020-10-06 --- Tiered versus Tierless IoT Stacks: Comparing Smart Campus Software Architectures ([IoT 2020](https://iot-conference.org/iot2020/)) +- 2020-09-02 --- Asynchronous Shared Data Sources ([IFL 2020](https://www.cs.kent.ac.uk/events/2020/ifl20/)) +- 2019-11-18 --- The fun of computing science: footballer brains in SoccerFun ([Proefstudeerdag RU](https://www.ru.nl/opleidingen/bacheloropleidingen/open-dagen-en-studievoorlichting/proefstuderen/)) +- 2019-09-25 --- Interpreting Task Oriented Programs on Tiny Computers ([IFL 2019](http://2019.iflconference.org/)) +- 2019-07-03 --- Promoveren en Functioneel Programmeren ([Studium Generale 2019](http://helenpark.nl/De_school/Nieuws_/_Actueel/Item/Studium%20Generale%20met%20ruim%20zestig%20gastsprekers.wli)) +- 2019-06-17 --- Task Oriented Programming for the Internet of Things (lecture and practical) ([CEFP19](https://people.inf.elte.hu/cefp)) +- 2019-05-21 --- Multitasking on Microcontrollers using Task Oriented Programming ([4COWS19](http://www.mipro.hr/MIPRO2019.4COWS/ELink.aspx)) +- 2018-11-29 --- Task Oriented Programming and the Internet of Things ([PLNL18](https://conf.researchr.org/home/plnl-2018)) +- 2018-10-23 --- Three day teacher training on TOP and IOT for the 3COWS project ([3COWS](https://kpi.fei.tuke.sk/en/user/szabo-csaba/focusing-education-composability-comprehensibility-and-correctness-working-software)) +- 2018-01-05 --- Task Oriented Pearl: Distributed Blockchain Applications ([NLFP18](http://wiki.clean.cs.ru.nl/NL-FP_dag_2018)) +- 2017-08-31 --- Task Oriented Programming and the Internet of Things ([IFL 2017](http://2017.iflconference.org/)) +- Earlier: +
+ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +
2017-03-11Software Science masters. RU.
2016-11-17Software Science masters. RU.
2016-11-09GNU Make workshop. LUGN
2016-03-16Git workshop for AI students.
2015-12-08LaTeX workshop. LUGN
2015-07-14Mutt workshop. LUGN
2015-04-20Git flashtalk for AI students.
2014-09-29ELAN-Python mini-course(pympi). MPI
2014-09-09Introduction to the command line and bash. LUGN
2014-07-08Advanced usage of ssh. LUGN
+
+ +## Other + +### 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). +- [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. + +### Tutorials and manuals + +- [Wifi roaming without network manager (includes eduroam ru instructions)](nonm) (Updated 2020-09-16) +- [Dvorak page](dvorak) (Updated 2020-06-11) + +### Interests + +[Wildplukken](foerageer), +Reading, +Heavy metal music, +Hacking, +[Kung fu](http://www.howchuenmonkeykungfu.nl), +[Linux](http://linuxnijmegen.nl), +[Å¿-homografen](langes). + +### Archive + +[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), +[Use any untrusted linux cloud storage safe](archive/nsa-dropbox.html), +[Wlan w.o. network manager on debian](archive/wlan-debian.html). diff --git a/langes.html b/langes.html deleted file mode 100644 index 6926047..0000000 --- a/langes.html +++ /dev/null @@ -1,140 +0,0 @@ - - - - Å¿-homografen (lange s homografen) - - - - -
-

Å¿-homografen (Lange s homografen)

-

- Op deze internetpagina presenteer ik mijn verzameling Å¿-homografen, Å¿-homogrammen, Å¿-bommelwoorden, plaatstaalwoorden of hoe men ze ook noemen wil. -

- -
- -

Introduction

-

- ſ-homografen zijn homografen in de reguliere spelling maar bij het correct gebruik van de ſ niet meer. - In vroegere tijden schreef men de kleine letter s als ſ, behalve als het de laatste letter van het woord, of samengesteld woord, was. - De bekendste ſ-homograaf is plaatstaal, dat geïnterpreteerd kan worden als plaats-taal of plaat-staal, maar plaatstaal en plaatſtaal zijn prima te onderscheiden. -

- -

Verzameling Å¿-homografen

-

Woorden die eindigen op -staal

-

- aanzetstaal - gietstaal - plaatstaal - polijststaal - rechtstaal - staatstaal - wetstaal -

- -

Vrouwlijke vormen met -ster

-

- aanstichtster, - aanzetster, - africhtster, - afzetster, - betweetster, - bezitster, - brandstichtster, - doorbijtster, - doorzetster, - erflaatster, - fractievoorzitster, - gastster, - gemeentevoorlichtster, - haatster, - kaartster, - kajotster, - liftster, - mannenhaatster, - medeoprichtster, - nagelbijtster, - nettenboetster, - onruststookster, - oplichtster, - oprichtster, - overzetster, - pachtster, - partijvoorzitster, - persvoorlichtster, - pleitster, - praatster, - slijtster, - sportster, - spotster, - sprintster, - staartster, - stichtster, - stoelenzetster, - stovenzetster, - strovlechtster, - toegespitster, - topsportster, - uitbaatster, - vechtster, - ventster, - vicevoorzitster, - voorlichtster, - voorvechtster, - voorzitster, - vredestichtster -

- -

Woorden die eindigen op -stop

-

- autostop - bedrijfstop - bestuurstop - fotostop - fusiestop - immigratiestop - koffiestop - migratiestop - mutatiestop - opnamestop - productiestop - regeringstop - subsidiestop - tankstop - vacaturestop - vakbondstop - verstop - vredestop - werkgelegenheidstop -

- -

Anders

-

- gospel, - tijdstip, - plastic, - juweliersloep -

- -

Dankwoord

-

- Met dank aan Battus voor de eeuwige inspiratie voor taalfenomenen. -

- - diff --git a/langes.md b/langes.md new file mode 100644 index 0000000..ceeae45 --- /dev/null +++ b/langes.md @@ -0,0 +1,114 @@ +--- +title: Å¿-homografen (Lange s homografen) +date: 2021-06-16 +--- +
+Op deze internetpagina presenteer ik mijn verzameling Å¿-homografen, Å¿-homogrammen, Å¿-bommelwoorden, plaatstaalwoorden of hoe men ze ook noemen wil. + +## Table of contents + +- [Introduction](#introduction) +- [Verzameling](#verzameling) + - [Woorden die eindigen op -staal](#staal) + - [Vrouwlijke vormen met -ster](#ster) + - [Woorden die eindigen op -stop](#stop) + - [Anders](#anders) +- [Dankwoord](#dankwoord) +
+ +## Introduction +ſ-homografen zijn homografen in de reguliere spelling maar bij het correct gebruik van de ſ niet meer. +In vroegere tijden schreef men de kleine letter s als ſ, behalve als het de laatste letter van het woord, of samengesteld woord, was. +De bekendste ſ-homograaf is plaatstaal, dat geïnterpreteerd kan worden als plaats-taal of plaat-staal, maar plaatstaal en plaatſtaal zijn prima te onderscheiden. + +## Verzameling ſ-homografen +### Woorden die eindigen op -staal + +aanzetstaal +gietstaal +plaatstaal +polijststaal +rechtstaal +staatstaal +wetstaal + +### Vrouwlijke vormen met -ster +aanstichtster, +aanzetster, +africhtster, +afzetster, +betweetster, +bezitster, +brandstichtster, +doorbijtster, +doorzetster, +erflaatster, +fractievoorzitster, +gastster, +gemeentevoorlichtster, +haatster, +kaartster, +kajotster, +liftster, +mannenhaatster, +medeoprichtster, +nagelbijtster, +nettenboetster, +onruststookster, +oplichtster, +oprichtster, +overzetster, +pachtster, +partijvoorzitster, +persvoorlichtster, +pleitster, +praatster, +slijtster, +sportster, +spotster, +sprintster, +staartster, +stichtster, +stoelenzetster, +stovenzetster, +strovlechtster, +toegespitster, +topsportster, +uitbaatster, +vechtster, +ventster, +vicevoorzitster, +voorlichtster, +voorvechtster, +voorzitster, +vredestichtster + +### Woorden die eindigen op -stop +autostop +bedrijfstop +bestuurstop +fotostop +fusiestop +immigratiestop +koffiestop +migratiestop +mutatiestop +opnamestop +productiestop +regeringstop +subsidiestop +tankstop +vacaturestop +vakbondstop +verstop +vredestop +werkgelegenheidstop + +### Anders +gospel, +tijdstip, +plastic, +juweliersloep + +## Dankwoord +Met dank aan Battus voor de eeuwige inspiratie voor taalfenomenen. diff --git a/nonm.html b/nonm.html deleted file mode 100644 index a824b20..0000000 --- a/nonm.html +++ /dev/null @@ -1,159 +0,0 @@ - - - - Wifi without network manager - - - - -
-

Wifi without network manager

-

- With this setup, wpa_supplicant automatically changes network when needed. - Moreover, the network can be changed in userspace and new networks can be added. - All withouth the bloat of NetworkManager and ModemManager. -

- - -
- -

Requirements

- - -

wpa_supplicant

-

- /etc/network/interfaces needs for direct use with a wpa_supplicant daemon. - This is done by setting the wireless network as follows. -

- - 
-allow-hotplug wlp2s0
-iface wlp2s0 inet manual
-	wpa-roam /etc/wpa_supplicant/wpa_supplicant.conf
-
- -

- This basically means that a wpa_supplicant will be watching the networks specified in the config and switch when in range. - Note that the iface is set to manual and not dhcp. - This means that below those lines you can configure your networks from the config manually. - So say that you have a network in the wpa_supplicant.conf with id_str="work"" that needs to be configured with dhcp, you add the following lines: -

- - 
-iface work inet dhcp
-
- -

- Setting id_strs for all networks is tedious so to create a default setting you can use the default network name to for example set all wifi networks to dhcp. -

- - 
-iface default inet dhcp
-
- -

wpa_supplicant.conf

-

- The config file for wpa_supplicant should at least contain the following lines. - The interface line defines the control socket and states that all users in the netdev group may control wpa_supplicant. - The update_config line states that the config file may be updated, thus having persistent changes. - Users you allow changing the config therefore have to be added to netdev. -

- - 
-interface=DIR=/run/wpa_supplicant GROUP=netdev
-update_config=1
-
- -

- Followed are all the network configurations. - For these configuration consult the manpage for wpa_supplicant. - E.g. for WPA2 networks you can use the wpa_passphrase tool. - For eduroam, don't handcraft configs either, use the configuration assistant. - This tool will generate a wpa_supplicant.conf if it fails to talk to networkmanager. -

- -

wpa_gui

-

- Editing the config file is tedious and error prone. - Moreover, it requires a restart of wpa_supplicant to reinistate the config. - Luckily there are two tools that allow you to do this in-place using either the command line (wpa_cli is not discussed here) and via a GUI(wpa_gui). - If your user is a member of the netdev group you can just start it up. - Note that it resides by default in /usr/sbin. - wpa_gui is a graphical frontend where you can add, remove, diagnose and change wireless networks with almost as much functionality as wpa_cli. -

- -

Eduroam

-

- Eduroam gives a nice configuration assistant tools nowadays that will generate a wpa_supplicant.conf entry for you. - Previously you could hash your password using md4 but I haven't tested whether this still works. -

- -

update: cat broken

-

- The tool worked before™ but not anymore on my debian testing version. - Therefore I've pasted my config here for later reference. - You get the ca_cert from the assistant tool. - I might upload that here as well. -

- 
-network={
-	ssid="eduroam"
-	proto=RSN
-	key_mgmt=WPA-EAP
-	pairwise=CCMP
-	auth_alg=OPEN
-	eap=PEAP
-	identity="YOURUSERNAME@ru.nl"
-	anonymous_identity="anonymous@ru.nl"
-	password="YOURPASSWORD"
-#	ca_cert="/home/frobnicator/.cat_installer/ca.pem"
-	domain_suffix_match="authenticatie.ru.nl"
-	phase2="auth=MSCHAPV2"
-}
-
- -

openssl update (not needed anymore)

-

- The new version of openssl disables everything lower than TLSv1.2. - If you see errors in /var/log/syslog about TLS you have to allow lower version TLS versions by changing the last two lines in /etc/ssl/openssl.cnf to: -

- 
-MinProtocol = TLSv1.0
-CipherString = DEFAULT@SECLEVEL=1
-
- -

Interaction with wired interfaces

-

- When you have an ethernet jack as well in your laptop you might be tempted to put this in your /etc/network/interfaces as well -

- 
-auto enp0s31f6
-iface enp0s31f6 inet dhcp
-
-

- However, this results in your machine eagerly waiting for a connection at boot because a connected ethernet jack means a connected card, and the card is always connected in a laptop. - ifupdown-extra contains scripts to fix this. - Just link /etc/network/if-up.d/00check-network-cable to /etc/network/if-pre-up.d/00check-network-cable and be good to go. - If your system has predictable network names you might need to apply this patch first -

- - diff --git a/nonm.md b/nonm.md new file mode 100644 index 0000000..deb5863 --- /dev/null +++ b/nonm.md @@ -0,0 +1,125 @@ +--- +title: Wifi without network manager +date: 2020-09-16 +--- +With this setup, `wpa_supplicant` automatically changes network when needed. +Moreover, the network can be changed in userspace and new networks can be added. +All withouth the bloat of `NetworkManager` and `ModemManager`. + +## Table of contents + +- [Requirements](#requirements) +- [`wpa_supplicant`](#wpa_supplicant) +- [`wpa_supplicant.conf`](#wpa_supplicantconf) +- [`wpa_gui`](#wpa_gui) +- [Eduroam](#eduroam) + - [update: cat broken](#update) + - [openssl update](#openssl) +- [interaction](#interaction) + +## Requirements + +- `wpa_supplicant` +- `wpa_gui` + + +## `wpa_supplicant` +`/etc/network/interfaces` needs for direct use with a `wpa_supplicant` daemon. +This is done by setting the wireless network as follows. + +``` +allow-hotplug wlp2s0 +iface wlp2s0 inet manual + wpa-roam /etc/wpa_supplicant/wpa_supplicant.conf +``` + +This basically means that a `wpa_supplicant` will be watching the networks specified in the config and switch when in range. +Note that the `iface` is set to `manual` and not `dhcp`. +This means that below those lines you can configure your networks from the config manually. +So say that you have a network in the `wpa_supplicant.conf` with `id_str="work"` that needs to be configured with dhcp, you add the following lines: + +``` +iface work inet dhcp +``` + +Setting `id_str`s for all networks is tedious so to create a default setting you can use the `default` network name to for example set all wifi networks to dhcp. + +``` +iface default inet dhcp +``` + +## `wpa_supplicant.conf` +The config file for `wpa_supplicant` should at least contain the following lines. +The `interface` line defines the control socket and states that all users in the `netdev` group may control `wpa_supplicant`. +The `update_config` line states that the config file may be updated, thus having persistent changes. +Users you allow changing the config therefore have to be added to `netdev`. + + 
+interface=DIR=/run/wpa_supplicant GROUP=netdev
+update_config=1
+
+ +

+ Followed are all the network configurations. + For these configuration consult the manpage for `wpa_supplicant`. + E.g. for `WPA2` networks you can use the `wpa_passphrase` tool. + For eduroam, don't handcraft configs either, use the [configuration assistant](https://cat.eduroam.org/). + This tool will generate a `wpa_supplicant.conf` if it fails to talk to networkmanager. +

+ +## `wpa_gui` +Editing the config file is tedious and error prone. +Moreover, it requires a restart of `wpa_supplicant` to reinistate the config. +Luckily there are two tools that allow you to do this in-place using either the command line (`wpa_cli` is not discussed here) and via a GUI(`wpa_gui`). +If your user is a member of the `netdev` group you can just start it up. +Note that it resides by default in `/usr/sbin`. +`wpa_gui` is a graphical frontend where you can add, remove, diagnose and change wireless networks with _almost_ as much functionality as `wpa_cli`. + +## Eduroam +Eduroam gives a nice configuration assistant tools nowadays that will generate a `wpa_supplicant.conf` entry for you. +Previously you could hash your password using md4 but I haven't tested whether this still works. + +### update: cat broken +The tool worked before™ but not anymore on my debian testing version. +Therefore I've pasted my config here for later reference. +You get the `ca_cert` from the assistant tool. +I might upload that here as well. + +``` +network={ + ssid="eduroam" + proto=RSN + key_mgmt=WPA-EAP + pairwise=CCMP + auth_alg=OPEN + eap=PEAP + identity="YOURUSERNAME@ru.nl" + anonymous_identity="anonymous@ru.nl" + password="YOURPASSWORD" +# ca_cert="/home/frobnicator/.cat_installer/ca.pem" + domain_suffix_match="authenticatie.ru.nl" + phase2="auth=MSCHAPV2" +} +``` + +### openssl update (not needed anymore) +The new version of openssl disables everything lower than TLSv1.2. +If you see errors in `/var/log/syslog` about `TLS` you have to allow lower version TLS versions by changing the last two lines in `/etc/ssl/openssl.cnf` to: + +``` +MinProtocol = TLSv1.0 +CipherString = DEFAULT@SECLEVEL=1 +``` + +## Interaction with wired interfaces +When you have an ethernet jack as well in your laptop you might be tempted to put this in your `/etc/network/interfaces` as well + +``` +auto enp0s31f6 +iface enp0s31f6 inet dhcp +``` + +However, this results in your machine eagerly waiting for a connection at boot because a _connected_ ethernet jack means a connected card, and the card is always connected in a laptop. +`ifupdown-extra` contains scripts to fix this. +Just link `/etc/network/if-up.d/00check-network-cable` to `/etc/network/if-pre-up.d/00check-network-cable` and be good to go. +If your system has _predictable_ network names you might need to apply [this](https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=970359) patch first.