From: Mart Lubbers Date: Fri, 6 Jun 2025 09:29:10 +0000 (+0000) Subject: dingen X-Git-Url: https://git.martlubbers.net/?a=commitdiff_plain;h=0111acd03e5d0a98654b40d9f1e5288114a74f1b;p=martlubbers.net.git dingen --- diff --git a/_posts/nds/2024-11-18-zeart.md b/_posts/nds/2024-11-18-zeart.md index 6e0c0e1..8a260c2 100644 --- a/_posts/nds/2024-11-18-zeart.md +++ b/_posts/nds/2024-11-18-zeart.md @@ -24,12 +24,12 @@ An \'t lest
Dow mags allens hebben
Mien könningkriek van smear
Ik doo diej \'n helen kroam
-Ik gef diej al \'t zeart
+Gef diej al \'t zeart
Ik dreag nen kroon met deurn
Hang met neagel an \'t kruus
Nooit kan ik dat nog lieken
-Mienen kop is glad ruus
+Mienen kop is ja glad ruus
De likzieden van de tied
Et geveul kump nich wier
@@ -53,4 +53,8 @@ Mienen weg zol ik wa veenden
Tekst origineel van Negendoemse Neagel
Coverd deur Jehan Rapgeald
-Oawerzet deur Lölfs Mart — 2024-11-18
+Oawerzet deur Lölfs Mart — 2024-11-18 + +[Piano bladmeziek met intekende tekst](../files/zeart.pdf)
+[Broncode](../files/zeart.ly)
+[midi](../files/zeart.midi) diff --git a/files/kraaien.mp4 b/files/kraaien.mp4 new file mode 100644 index 0000000..6d2a6ea Binary files /dev/null and b/files/kraaien.mp4 differ diff --git a/files/tfp25.pdf b/files/tfp25.pdf new file mode 100644 index 0000000..15cda7b Binary files /dev/null and b/files/tfp25.pdf differ diff --git a/files/zeart.ly b/files/zeart.ly new file mode 100644 index 0000000..4cf40af --- /dev/null +++ b/files/zeart.ly @@ -0,0 +1,293 @@ +\version "2.24.4" +\header { + title = "Zeart" + composer = "Weur en Meziek deur Trent Reznor" + arranger = "Coverd deur Jehan Rapgoald" + opus = "Oawerzet deur Lölfs Mart" + tagline = #f +} +baslijntjea = { << \relative { r8 e4.~e2 } \\ \relative { a,1 } >> } +baslijntjeb = { << \relative { r8 e4. r8 a4 a8 } \\ \relative { c4. c8 d2 } >> } +baslijntje = { \baslijntjea \baslijntjeb } +treblijntjea = { \relative { r4 <> } } +treblijntjeb = { \relative { r4 <> r <>} } +treblijntje = { \treblijntjea \treblijntjeb } +chordlijntje = { \chordmode {a1:m c2 d2:sus2} } + +fadd = { \chordmode { f1:1.3.5.9 } } + +% see https://music.stackexchange.com/a/125008 +chExceptionMusic = { + 1-\markup { \super "add9" } +} + +chExceptions = #(append + (sequential-music-to-chord-exceptions chExceptionMusic #t) + ignatzekExceptions) + +mychords = { + \set chordNameExceptions = #chExceptions + \repeat unfold 10 \chordlijntje + \chordmode { + g1 a:m7 \fadd c g a:m7 + \fadd c g a:m7 \fadd g R1 a:m7 \fadd g + } + \repeat unfold 2 \chordlijntje + \chordmode { g1 R1 a:m7 \fadd g~g a:m7 \fadd g R1 } +} + +\include "predefined-guitar-fretboards.ly" +\score { + << + \new ChordNames { \set noChordSymbol = "" \mychords } +% \new FretBoards { \set noChordSymbol = "" \mychords } + \new Staff { + \new Voice = "melody" + \relative { + r1 r r r + \break + \repeat volta 2 { + r2 r4 e'4 + g8 e4 d8~d4 r8 a8 + e'4 r4 r4 r8 g,8 + c4 a8 c8~c4 d4 + e4 r4 r4 r8 e8 + g e r4 r8 c8 a e'8~ + e4 r4 r4 r8 g,8 + c4 a8 d~d4 r8 g, + a4 r4 r4 r8 e'8 + \bar "||" + \break + g8 e4. d4 c8 e8~ + e4 r4 r r8 g,8 + c4 a8 c8~c8 a4 e'8~ + e4 r4 r4 e8 e8 + g8 e8 r4 r8 d8 c8 e8~ + e4 r4 r8 a,8 c8 a8 + c8 a4 r8 d4 g,8 g8~ + g4 r4 r2 + \bar "||" + \break + g'8 e4 e8~e4 c8 c8~ + c4 r4 r2 + r4 c4 d8 c4 d8~ + d4 r4 r2 + g8 e4 e8(d8) c4 c8~ + c4 r4 a4 g8 c8~ + c4 r4 d4 f,8 g8~ + g4 r4 r4 r8 d'8 + \bar "||" + \break + d4 c8 e8~e4 c8 c8~ + c4 r4 r4 r8 c8 + d4 d4 d4 g,8 d'8 + r2 r4 r8 d8 + d4 c8 e8~e8 c4 c8~ + c4 r4 r2 + \alternative { + \volta 1 { + d4 c8 d8~d8 g,4 a8~ + a8 r8 r4 r2 + r1 r1 r1 + } \volta 2 { + d8 d4 d8~d8 g,4 g8 + } + } + } + r2 r4 r8 d'8 + d8 c4 e8~e4 c8 c8~ + c4 r4 r4 r8 c8 + d8 c4 d8~d4 g,8 d'8~ + d4 r4 r4 r8 d8 + d8 c4 d8~d8 c4 c8~ + c4 r4 r4 r8 d8 + d8 c4 e8~e4 r8\fermata g,8 + a4 r4 r2\fermata + } + } +% \new Lyrics { +% \lyricsto "melody" { +% I hurt my -- self__ to -- day +% to see if I __ still feel +% I fo -- cused on the pain, __ +% the on -- ly thing __ that's real. +% The nee -- dle tears a hole, __ +% the old fa -- mil -- iar sting. __ +% Try to kill it all a -- way __ +% but I re -- mem -- ber ev -- 're -- thing. __ +% What have I __ be -- come __ +% my sweet -- est friend? __ +% Ev -- 'ry -- one __ I know __ +% goes a -- way __ in the end. __ +% And you could have __ it all, __ +% my em -- pire of dirt. +% \skip 1 I will let __ you down, __ +% I will make __ you hurt. __ +% +% I will make __ you hurt. +% If I could start __ a -- gain, __ +% a mil -- lion miles __ a -- way, __ +% " " I would keep __ my -- self, __ +% " " 1 I would find __ a way. +% } +% } +% \new Lyrics { +% \lyricsto "melody" { +% I wear this crown of thorns +% up -- on my li -- ars chair. +% " " Full of bro -- ken thoughts, __ +% " " I can -- not __ re -- pair. +% Be -- neath the stains of time __ +% the feel -- ings __ dis -- ap -- pear. +% " " " " You are some -- one else, +% " " " " I am still __ right here. __ +% } +% } + \new Lyrics { + \lyricsto "melody" { + "Ik heb" miej zeart doan van -- daag + "um te" kieken "of ik" nog ver -- nem + Ik richt miej op de pien, __ + Bloots dat kan miej wat gevven. + + Ne noa -- del ropt 'n gat + 't kunnig -- e pien en blood __ + Ik pre -- beer 't vot te snieden + \skip 1 mear ik heug miej allens nog good. __ + + Wat bin ik ver -- wörden __ + Mienen leef -- sten moat? __ + Al -- man dee ik ken __ + valt miej vot + an 't lest. __ + + En dow mags al -- lens hebben, __ + mien kön -- ning -- kriek van smear. + "Ik doo" diej 'n he -- len kroam, __ + gef diej al __ 't zeart. __ + + gef diej al __ 't zeart. __ + + Kon ik van -- neijs be -- ginnen,__ + wied vot van hier, ja geender, __ + Dan zol ik miej wa redden, __ + mienen weg zol ik __ wa veenden. + } + } + \new Lyrics { + \lyricsto "melody" { + Ik dreag nen kroon met deurn + "Hang met" neag -- el an 't kruus. + Nooit kan ik dat nog lieken, + mienen kop is ja glad ruus. + + De lik -- zieden van de tied + et geveul kump nich __ \skip 1 wier. __ + Dow raaks wie -- der vot van miej + \skip 1 mear ik blief __ \skip 1 stöa -- rig hier. __ + } + } + \new GrandStaff + << + \new Staff { + \relative { + \tempo "Heanig an" 4 = 90 + \repeat unfold 2 \treblijntje + \repeat volta 2 { + \repeat unfold 4 \treblijntje + \treblijntjea + \treblijntjeb + \repeat unfold 3 \treblijntje + <> <> <> <> g8 + <> <> <> <> + <> <> <> <> <> + <> <> <> <> + <> <> <> <> c,8 + <> <> <> <> + <> <> <> <> <> + <> <> <> <> + <> <> <> <> c,8 + <> <> <> <> + <> <> <> <> <> + <> <> <> <> + <> <> <> <> c,8 + <> <> <> <> + <> <> <> <> <> + \alternative { + \volta 1 { + <> <> <> <> + \repeat unfold 2 \treblijntje + } \volta 2 { + <> <> <> <> + } + } + } + <> <> <> <> c,8 + <> <> <> <> + <> <> <> <> <> + <> <> <> <> + <> <> <> <> c,8 + <> <> <> <> + <> <> <> <> <> + <> <> + } + } + \new Staff { + \clef bass + \tempo "Heanig an" 4 = 90 + \repeat unfold 2 \baslijntje + \repeat volta 2 { + \repeat unfold 4 \baslijntje + \baslijntjea + \baslijntjeb + \repeat unfold 3 \baslijntje + << \relative { + g,8 g4 g8~g8 g4. + a8 a4 a8~a8 a4 a8 + f8 f4 f8~f8 f4. + c'8 c4 c8~c8 c4 c8 + g8 g4 g8~g8 g4 g8 + a8 a4 a8~a8 a4. + f8 f4 f8~f8 f4. + c'8 c4 c8~c8 c4 c8 + g8 g4 g8~g8 g4 g8 + a8 a4 a8~a8 a4 a8 + f8 f4 f8~f8 f4. + g8 g4 g8~g8 g4 g8~ + g8 g4 g8~g8 g4 g8 + a8 a4 a8~a8 a4 a8 + f8 f4 f8~f8 f4. + } \\ + \relative { + g,,1 a f c' + g a f c' g a f g~g a f + } >> + \alternative { + \volta 1 { + << \relative { g,8 g4 g8~g8 g4 g8 } \\ \relative { g,,1 } >> + \repeat unfold 2 \baslijntje + } + \volta 2 { + << \relative { g,8 g4 g8~g8 g4 g8~ } \\ \relative { g,,1~ } >> + } + } + } + << \relative { + g,8 g4 g8~g8 g4 g8 + a8 a4 a8~a8 a4 a8 + f8 f4 f8~f8 f4. + g8 g4 g8~g8 g4 g8~ + g8 g4 g8~g8 g4 g8 + a8 a4 a8~a8 a4 a8 + f8 f4 f8~f8 f4. + } \\ \relative { + g,,1 a f g~g a f + } >> + <> <> + \bar "|." + } + >> + >> + \midi { } + \layout { } +} diff --git a/files/zeart.midi b/files/zeart.midi new file mode 100644 index 0000000..85fc26e Binary files /dev/null and b/files/zeart.midi differ diff --git a/files/zeart.pdf b/files/zeart.pdf new file mode 100644 index 0000000..e5ead7f Binary files /dev/null and b/files/zeart.pdf differ diff --git a/index.md b/index.md index c3a7048..67f7aa7 100644 --- a/index.md +++ b/index.md @@ -44,6 +44,11 @@ language_reference: home ## Publications ### Peer reviewed + +- P. Medur, M. Lubbers, G. Mauša, “Optimizing Keyword Spotting Classifier based on Tiny Machine Learning for Low-Power Embedded Devices,” in 2025 48st International Convention on Information and Communication Technology, Electronics and Microelectronics (MIPRO), Opatija, Croatia. + +- N. Janssen, M. Lubbers, and P. Koopman, ̈́“Communication for Task-Oriented Systems with Edge Devices,” In: Trends in Functional Programming. TFP 2025. + ([pdf](files/tfp25.pdf)) - S. Li, P. Trinder, C. De Troyer, M. Lubbers, and A. Ramsingh, “The Benefits of Tierless Elixir/Potato for Engineering IoT Systems,” in Proceedings of the 23rd ACM SIGPLAN International Workshop on Erlang, in Erlang 2024. New York, NY, USA: Association for Computing Machinery, 2024, pp. 84–95. ([pdf](files/erlang24.pdf)) - P. Koopman, and M. Lubbers, “Strongly-Typed Multi-View Stack-Based Computations,” in Proceedings of the 25th International Symposium on Principles and Practice of Declarative Programming, in PPDP ’23. New York, NY, USA: Association for Computing Machinery, 2023. @@ -52,9 +57,9 @@ language_reference: home ([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, vol. 4, no. 1, Feb. 2023. ([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. +- Lubbers, M. 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)) -- Crooijmans, S., Lubbers, M., Koopman, P. (2022). Reducing the Power Consumption of IoT with Task-Oriented Programming. In: Swierstra, W., Wu, N. (eds) Trends in Functional Programming. TFP 2022. Lecture Notes in Computer Science, vol 13401. Springer, Cham. +- Crooijmans, S., Lubbers, M., Koopman, P. Reducing the Power Consumption of IoT with Task-Oriented Programming. In: Swierstra, W., Wu, N. (eds) Trends in Functional Programming. TFP 2022. Lecture Notes in Computer Science, vol 13401. Springer, Cham. ([pdf](files/tfp22b.pdf)) - 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)) @@ -89,24 +94,28 @@ language_reference: home #### Current - PhD: Niek Janssen, and Benedikt Rips -- MSc: Cas Visser, Elina Antonova, and Julian Bles -- BSc: Patrick van den Bosch, and Sofie Vos +- MSc: Elina Antonova +- BSc: Niek Adams, Matej Hora #### Past ##### Master -- S.S.E. Crooijmans, "Reducing the Power Consumption of IoT Devices in Task-Oriented Programming," Master’s Thesis, Radboud University, Nijmegen, 2021 -- A.D. Nederveen, "A Task-Based Approach to the Internal Battle," Master’s Thesis (Military Technology, Processes & Systems), Netherlands Defence Academy, Den Helder, 2021 -- E. van der Veen, "Mutable Collection Types in Shallow Embedded DSLs," Master’s Thesis, Radboud University, Nijmegen, 2020 -- H. Böhm, “Asynchronous Actions in a Synchronous World,” Master’s Thesis, Radboud University, Nijmegen, 2019 -- M. Amazonas Cabral De Andrade, “Developing Real Life, Task Oriented Applications for the Internet of Things,” Master’s Thesis, Radboud University, Nijmegen, 2018 +- M. Amazonas Cabral de Andrade, ‘Developing Real Life, Task Oriented Applications for the Internet of Things’, Master’s Thesis, Radboud University, Nijmegen, 2018. +- H. Böhm, ‘Asynchronous Actions in a Synchronous World’, Master’s Thesis, Radboud University, Nijmegen, 2019. +- E. van der Veen, ‘Mutable Collection Types in Shallow Embedded DSLs’, Master’s Thesis, Radboud University, Nijmegen, 2020. +- S. Crooijmans, ‘Reducing the Power Consumption of IoT Devices in Task-Oriented Programming’, Master’s Thesis, Radboud University, Nijmegen, 2021. +- A. D. Nederveen, ‘A Task-Based Approach to the Internal Battle’, Master’s Thesis, Netherlandse Defensie Academie, Den Helder, 2021. +- J. Bles, ‘Out of Memory Prediction using Memory Data’, Master’s Thesis, Radboud University, Nijmegen, 2025. +- C. Visser, ‘Effortless Intermittent Computing’, Master’s Thesis, Radboud University, Nijmegen, 2025. ##### Bachelor -- R.M.T. van Rooijen, "Model Learning of Lexers" Bachelor's Thesis, Radboud University, Nijmegen, 2024 -- E. Antonova, "mTask semantics and its comparison to TopHat," Bachelor's Thesis, Radboud University, Nijmegen, 2022 -- M.L. de Boer, "Secure Communication Channels for mTask," Bachelor’s Thesis, Radboud University, Nijmegen, 2020 +- M. de Boer, ‘Secure Communication Channels for the mTask System.’, Bachelor’s Thesis, Radboud University, Nijmegen, 2020. +- E. Antonova, ‘mTask Semantics and its Comparison to TopHat’, Bachelor’s Thesis, Radboud University, Nijmegen, 2022. +- R. van Rooijen, ‘Model Learning of Lexers’, Bachelor’s Thesis, Radboud University, Nijmegen, 2024. +- P. van den Bosch, ‘Decompilation of Kasada’s JavaScript Virtual machine’, Bachelor’s Thesis, Radboud University, Nijmegen, 2025. +- S. Vos, ‘Running iTasks tasks in the browser’, Bachelor’s Thesis, Radboud University, Nijmegen, 2025. ### Posters @@ -150,6 +159,8 @@ language_reference: home ## Activities +- Program committee [IFL2025](https://www.fing.edu.uy/inco/congresos/ifl2025), 2025 +- Program committee [CompSys](https://www.compsys.science/conference/current/), 2025 - Program committee [TFPiE](https://wiki.tfpie.science.ru.nl/Main_Page), 2025 - Program chair and host [IFL 2024](https://ifl24.cs.ru.nl/), 2024 - Vice/publicity chair steering committee [IFL](https://www.ifl-symposia.org), 2024--2028 @@ -158,6 +169,9 @@ language_reference: home ## Talks +- 2025-05-22 --- Could Tierless Languages Reduce IoT Development Grief? ([CompSys 2025](https://www.compsys.science/)) +- 2025-01-14 --- Shallowly Embedded Functions ([TFP 2025](https://trendsfp.github.io)) +- 2025-01-14 --- A Reflection on Task-Oriented Programming ([TFP 2025](https://trendsfp.github.io)) - 2024-05-28 --- The Design and Implementation of Embedded Domain-Specific Languages ([Lambda Days 2024](https://www.lambdadays.org/lambdadays2024)) - 2024-04-11 --- Tierless Internet of Things with Task-Oriented Programming ([ICT.OPEN2024 \[Mastering Complexity for Cyber-Physical Systems {CPS}\)](https://www.ictopen.nl/)) - 2024-01-16 --- Simplifying Classy Deep Embedding ([SWSSeminar](https://www.sws.cs.ru.nl/SWSSeminar))