Tech Talks, Projekte und Forschung

Tech-Talks: Frühlingssemester 2023

Redaktion IMVS | 1. Juli 2023

Die Tech-Talk Serie am IMVS ist eine Plattform für den regelmässigen, informellen Austausch, bei dem die Mitarbeitenden ihre aktuellen Schwerpunktthemen oder sonstige Interessen präsentieren.

Titel / Person(en)Abstract
Chat GPT Plugins
Daniel Kröni
ChatGPT Plugins sind ein Mechanismus, um dem Sprachmodell Zugriff auf Webdienste zu ermöglichen. Auf der einen Seite wird eine Sammlung von bestehenden Plugins angeboten. ChatGPT kann z.B. bei mathematischen Fragestellungen über ein Plugin auf Wolfram Alpha zugreifen. Es ist aber auch einfach, eigene Plugins zu entwickeln. Daniel Kröni hat in seinem Tech-Talk gezeigt, wie das geht, was funktioniert und was nicht funktioniert.
> Details zum Beitrag
Swissframe – IIoT im Badezimmer
Matthias Krebs
Heutzutage sind in den meisten Mehrfamilienhäusern zentrale Systeme zur Wärme- und Warmwassererzeugung installiert. Diese haben den Nachteil, dass Leitungen in alle Wohnungen gezogen werden müssen, und durch die langen Leitungen ein Energieverlust entsteht. Swissframe hat mit ihrem Thermos-Vorwandsystem eine dezentrale Lösung zur Wärme- und Warmwassererzeugung sowie Lüftung entwickelt, welche in jeder Wohnung eines Mehrfamilienhauses installiert wird.

Zur Steuerung des Prozesses sind eine Vielzahl von Sensoren und Aktoren nötig, welche durch ein Raspberry Pi Compute-Module angesteuert werden. Um die einzelnen Thermos-Geräte überwachen und in externe Leitsysteme integrieren zu können, sind die Thermos-Geräte mit der Amazon-AWS-Cloud verbunden. Dabei kommt ein ganzer Stack von AWS-Services zum Einsatz: von der Kommunikation mittels IoT-Core über Lambda-Funktionen bis hin zur Datenerfassung in einer Timestream-DB und Visualisierung mit QuickSight.
Der fremde Raum «Netzwerklabor»
Martin Gwerder, Sebastian Graf, Peter Gysel
Peter Gysel, Sebastian Graf und Martin Gwerder haben eine kurze Übersicht gegeben, was so alles im Netzwerklabor abgeht. Von nervenzerreissenden Serverdiensten, über atemraubende Netzwerkkabel bis zur herzmuskelflatternden Infrastruktur ist alles dabei. Peter, Sebastian und Martin haben uns für 20 Minuten in die Welt von dnet, netsi, cysL, cloud und wosm entführt.
Mandala – Smart Contract Programming Language
Markus Knecht
Smart Contracts sind gemeinsam genutzte Anwendungen, die dezentral auf einer Blockchain ausgeführt werden. Dadurch wird sichergestellt, dass niemand die Ausführung der Anwendungen beeinflussen oder den zugehörigen Code ändern kann. Dies ist insbesondere nützlich für Anwendungsfälle, bei denen es keine vertrauenswürdige dritte Partei gibt, auf die sich alle Teilnehmer verlassen können. Herkömmliche Programmiersprachen sind weder auf die spezifischen Anwendungsfälle noch auf die sicherheitskritische Ausführungsumgebung von Smart Contracts ausgerichtet.

Mandala ist eine funktionale Programmiersprache, die explizit für die Programmierung von Smart Contracts entwickelt wurde. Sie verfügt über eine eigene virtuelle Maschine (Sanskrit) und ein Build-Tool (Samaya). Das zentrale Feature von Mandala sind Opaque and Substructural Types, die besonders gut geeignet sind, um häufig auftretende Konzepte wie die Verwaltung von Tokens abzubilden.
Software Visualization to Analyze Memory Consumption
Alexandre Bergel
Executing a software system typically uses memory. Reducing the memory usage is a key aspect to make software execute faster. However, detecting and repairing memory issues is still a challenging task. One reason is that understanding a program’s memory usage involves a diverse and related set of dynamic and static aspects. Over the years, multiple tools have been proposed to assist practitioners in these activities. In this talk we review existing software visualization to monitor memory consumption. We then present Vismep, an interactive visualization to help programmer analyze Python applications’ memory usage. 
Java 19 – Concurrency 
Daniel Kröni
Seit Version 19 unterstützt Java leichtgewichtige «virtual» Threads. In diesem Tech-Talk hat uns Daniel Kröni gezeigt, welches Problem «virtual» Threads lösen und wie man damit programmiert.
C++ continued
Christoph Stamm
Seit 2011, den Anfängen von «modernem C++», hat sich C++ im Dreijahresrhythmus schrittweise verändert: verschiedene Konzepte sind neu hinzugekommen und für ein paar alte Techniken stehen bessere Alternativen zur Verfügung. Darüber hinaus ist auch die Standardbibliothek stark erweitert worden. Anhand von einer Vielzahl an Code-Beispielen gab uns Christoph Stamm einen Einblick in die Veränderungen von C++11 bis C++20.

Kontakt

Daniel Kröni

Wissenschaftlicher Mitarbeiter

Telefon: +41 56 202 78 17(direkt)
zurück zu allen Beiträgen

Kommentare

Keine Kommentare erfasst zu Tech-Talks: Frühlingssemester 2023

Neuer Kommentar

×