https://www.thielescholz.eu/ 2026-04-18T15:12:14+00:00 https://www.thielescholz.eu/ https://www.thielescholz.eu/lib/exe/fetch.php?media=favicon.ico text/html 2021-12-20T16:32:41+00:00 Anonymous (anonymous@undisclosed.example.com) https://www.thielescholz.eu/doku.php?id=msc:2021:0323_2020_06_20_folkert_de_vries&rev=1640017961&do=diff 2020/06/20 Folkert de Vries Folkert is working on a new formulation of uniqueness typing that aims at combining the conceptual advantages of Edsko de Vries' type system with the practical benefits of Sjaak Smetsers et al.'s system implemented in Clean. text/html 2021-12-20T16:49:02+00:00 Anonymous (anonymous@undisclosed.example.com) https://www.thielescholz.eu/doku.php?id=msc:2021:0323_2020_08_19_niek_janssen&rev=1640018942&do=diff 2021/01/19 Niek Janssen Niek works on improving code generation for GPUs. He develops a flexible, combinator-based system for mapping index-spaces to thread-spaces and back. He plans to implement this in the context of the SaC compiler sac2c. text/html 2021-12-20T16:48:33+00:00 Anonymous (anonymous@undisclosed.example.com) https://www.thielescholz.eu/doku.php?id=msc:2021:0323_2020_08_23_gijs_van_cuyck&rev=1640018913&do=diff 2020/08/23 Gijs van Cuyck Gijs looks into improving the reference counting system implemented in the runtime of SaC. He is particularly interested in avoiding repetitive memory allocation/free pattern as they arise from operations on subarrays. Gijs text/html 2021-03-26T20:36:40+00:00 Anonymous (anonymous@undisclosed.example.com) https://www.thielescholz.eu/doku.php?id=msc:2021:0326_2020_03_17_reg_huijben&rev=1616791000&do=diff 2021/03/17 Reg Huijben Reg continues on his internship work which builds on earlier work from Hraban Juyat & Clemens Grelck at UvA on eight-weight records in array languages. The key idea is to view records as syntactical sugar for sets of individual field variables. In his internship, Reg improved the existing formal specification and suggested an extension enabling nesting of records as well as arrays of records. In his Master thesis, he plans to put that plan into practice through an impleme… text/html 2021-12-20T16:52:12+00:00 Anonymous (anonymous@undisclosed.example.com) https://www.thielescholz.eu/doku.php?id=msc:2021:1220_2021_09_14_job_cuppen&rev=1640019132&do=diff 2021/09/14 Job Cuppen Job pursues work on non-language-invasive package managers. He will show-case a prototype implementation at the example of SaC.