#master

7 posts · Last used 16d

Master thesis by Georgi Nihrizov: Hole-Driven Development for Substructural Type Systems in Imperative Languages "This thesis asks whether hole-driven development can be realized effectively in Rust, an imperative language with a substructural type system. We argue that this technique is well-suited to Rust as its constrained type system can provide a solid base for the hole-driven development approach." https://resolver.tudelft.nl/uuid:12e8946e-6479-49f6-bd26-8ffddf39ffb1 #Master #Thesis #TypeDrivenDevelopment #Rust
15
0
13
2
RE: https://fedifreu.de/@shelter/116849911179225615 Projekt Common Shelter Gemeinsam werken mit Material aus der Umgebung: Bielefeld: 17.-19. Juli 2026 Vom 17.-19.7. 2026 wird auf einer Rasenfläche vor dem Fachbereich Gestaltung in der Lampingstraße 3 ein temporärer Ausstellungs-Shelter für die Werkschau gebaut. Du möchtest mitmachen? Oder bist einfach nur neugierig? Oder willst wissen, was ein Common Shelter überhaupt ist? Hier gibt's Infos: -> https://shelter.apgw.de/#2026_06_26 -> https://shelter.apgw.de/#master -> @shelter@fedifreu.de. -> shelter[@]apgw.de oder per
0
0
0
0
At the participative shelter construction site of the "Gestaltung" master's project "Common Shelter" we finalized the sidewalls and the roof from friday to monday. Part of it were layers of a green roof, with mats of pre-grown plants. More in the construction diary: https://shelter.apgw.de/?lang=en#2026_06_12 Also examples of inspiring art were present at the construction site, in form of the (german) books "30 years - Joseph Beuys - 7000 oaks" and "Arte povera - Manifests, Statements, Critiques" (translation by me). Parts of it will be included in my master's thesis I have to finish until july the 7th 2026. Participative Construction Site(s): Last work at the ecosphere shelter in Rietberg will be possibly done from 10th to 12th july 2026. From 17th to 19th july I have to build an additional temporary shelter in front of the Faculty of Design (Lampingstraße 3) of the University of Applied Sciences and Arts Bielefeld for the "Werkschau" (exam exhibition). More informations here: https://shelter.apgw.de/?lang=en#master #shelter #design #Beuys #Artepovera #GreenRoof #art #exhibition #Bielefeld
0
0
0
0
You've seen all posts