Weitere Beiträge
Tech-Talk: Wie funktionieren Zero-Knowledge Proofs?
In diesem Teck-Talk gab Markus Knecht einen Einblick in die Funktionsweise von Zero-Knowledge Proofs (zkP), sowie den Bausteinen, die für sogenannte Zero Knowledge Virtual Machines (zkVM) verwendet werden. Dabei wurde der STARK (Succinct Transparent Argument of Knowledge) Algorithmus anhand eines Beispiels vorgestellt. Im Beispiel wurde gezeigt, wie man für…
Tech-Talk: Vertex Visibility Algorithm of a simple Polygon
Im Techtalk vom 09.04.2025 stellt Prof. Dr. Christoph Stamm den von ihm implementierten und teilweise auch entwickelten Algorithmus für die Vertex-Visibility in einfachen Polygonen vor. Das Lösen von komplexen geometrischen Problemen begleitet Christoph schon seit Beginn seiner Karriere, wodurch ein beachtliches Know-how entstanden ist. Der vorgestellte Algorithmus ist optimal,…
Tech-Talk: Lightweight Network Explorer
Im TechTalk vom Mittwoch dem 26. März 2025 hat Luc Heitz das Forschungsprojekt «Cyber Regulatory Co-Pilot for Network Security» vorgestellt. Das Projekt wird von Prof. Dr. Christopher Scherb geleitet und es wird in Zusammenarbeit mit der narrowin GmbH als Industriepartner durchgeführt.Screenshot des Lightweight Network ExplorersWas ist das Ziel des…
Tech-Talk: Kolibri – The Web UI Toolkit
In diesem TechTalk präsentierte Dierk König den aktuellen Stand des von der FHNW eigens entwickelten Kolibri Web Toolkits. Das Toolkit ist in JavaScript geschrieben und wird zur Webentwicklung eingesetzt. Zahlreiche Studentenarbeiten flossen in den letzten fünf Jahren in das Open-Source Projekt ein. Inzwischen ist eine beachtliche Code-Base entstanden,…
Tech-Talk: LLMs Eat Coding
Gibt man grossen Sprachmodellen (LLMs) Programmieraufgaben, erhält man praktisch immer eine Antwort, formuliert in einer Programmiersprache nach Wahl. Das Coden – also das Erzeugen von maschinenausführbaren Programmen – scheint sich zu einer an die sogenannte Künstliche Intelligenz delegierbaren Aufgabe zu entwickeln. Für den Informatik-Studiengang einer Fachhochschule stellt sich daher…
Tech-Talk: Smart Contract Entwicklung in Cairo
In diesem Teck-Talk gab Jonathan Bättig eine Einführung wie Smart Contracts – dezentralisierte Applikationen auf der Blockchain – entwickelt werden können mit der Programiersprache Cairo. Das Umfeld und die Vorteile von Cairo wurden erklärt und in einem Life Coding wurde ein kleiner Smart Contract entwickelt, getestet und deployed.
Tech-Talk: Rust & Embassy on Microcontrollers
Am IMVS Tech-Talk vom 20. November 2024 gab Sebastian Hugentobler eine Einführung in das Thema «Rust & Embassy on Microcontrollers». Er hat gezeigt, wie verschiedene Hardware-Technologien mit Rust und Embassy angesprochen werden können. Ausserdem berichtete er über seine Erfahrungen, die er bei der Vorbereitung auf den Tech-Talk sammeln konnte.Rust…
Tech-Talk: Fuzzing
In diesem Tech-Talk gab Luc Heitz eine Einführung in Fuzzing – einer Methode um automatisiert Software auf Schwachstellen zu untersuchen. Er begann mit einer amüsanten Analogie:Auch mit Randomwalks erreicht man spannende Ziele, wenn man viel Zeit hat.Fuzzing ist eine automatische Methode, um Software auf Schwachstellen zu untersuchen, indem…
Tech-Talk: Rover Lokalisierung
Visual-Inertial Odometry on the FHNW RoverDas FHNW-Rover-Team besteht aus einer interdisziplinären Gruppe von Studierenden der Hochschule für Technik FHNW, die jeweils in zwei Semestern als Teil eines Studierendenprojekt einen Mars-Rover entwickeln, der über unwegsames Gelände navigieren, wissenschaftliche Experimente durchführen und technische Wartungsaufgaben ausführen kann.Ziel ist es, sich…