## Talks
+- 2022-09-02 --- Asynchronous Shared Data Sources ([IFL 2022](https://ifl22.github.io/)
+- 2022-09-02 --- First-Class Data Types in Shallow Embedded Domain-Specific Languages using Metaprogramming. ([IFL 2022](https://ifl22.github.io/)
- 2022-05-18 --- Deep Embedding with Class ([TFP 2022](https://trendsfp.github.io))
- 2022-05-18 --- Reducing the Power Consumption of IoT with Task-Oriented Programming ([TFP 2022](https://trendsfp.github.io))
- 2022-05-17 --- First-Class Data Types in Shallow Embedded Domain Specific Languages using Metaprogramming ([TFP 2022](https://trendsfp.github.io))
### Tutorials and manuals
-- [Wifi roaming without network manager (includes eduroam ru instructions)](nonm.html) (Updated 2020-09-16)
+- [Wifi roaming without network manager (includes eduroam ru instructions)](nonm.html) (Updated 2022-10-18)
- [Dvorak page](dvorak.html) (Updated 2020-06-11)
### Interests
`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.
+
+## Eduroam (2022-10-18)
+Publicroam offers eduroam-like wifi but does not provide very good linux installation instructions.
+After some trial and error, this worked for me:
+
+```
+network={
+ ssid="publicroam"
+ scan_ssid=1
+ key_mgmt=WPA-EAP
+ eap=PEAP
+ identity="USERNAME"
+ password="PASSWORD"
+ phase1="peaplabel=0"
+ phase2="auth=MSCHAPV2"
+}
+```