Haskell Workshop – 03.03.2020 – 19:30

Die Planungen für einen Haskell Workshop laufen an.

(https://www.haskell.org/img/haskell-logo.svg)

Die Umfrage hat ergeben: 03. März 2020 – 19:30 im Space.

Teaser:

Heutzutage lassen sich fast alle “großen” Programmiersprachen in die Klasse der objektorientierten Sprachen einordnen. Viele Jahre galt das Objektorientierte Paradigma im Mainstream als alternativlos und neue Programmiersprachen grenzten sich durch subtile Unterschiede und etwas andere Syntax voneinander ab. In den letzten Jahren jedoch tauchen neue “seltsame” Konstrukte wie Lambda-Funktionen, unendliche Streams und viele mehr auf. Auch die Typsysteme verändern sich wie bspw. die sog. Concepts im C++20 zeigen. Diese Änderungen haben ihren Ursprung in der Funktionalen Programmierung. Haskell als eine Vertreterin dieser Gattung geht dabei wenig Kompromisse ein und eignet sich daher hervorragend sich diese Konzepte in ihrer reinen Form anzuschauen. Neben einem besseren Verständnis über diese Konzepte und warum sich diese in so vielen Sprachen wiederfinden, wird durch ihre Anwendung auch ein anderer Blickwinkel auf zu lösende Probleme eröffnet.

Die erste Einheit des Workshops wird sich vor den ersten Gehversuchen mit Haskell, zunächst mit dem der Funktionalen Programmierung zugrundeliegenden Lambda Kalkül befassen. Das Lambda Kalkül ist ein Berechnungsmodell vergleichbar mit der weithin bekannten Turing Maschine.

Nach dieser kurzen theoretischen Einführung bringen wir die Programmierumgebung bestehend aus einem Texteditor und der interaktiven Haskell Shell (ghci) an den Start. Als Übungsobjekt wollen wir einen Sudoku Puzzle Generator bauen und dabei ausschließlich “purly functional” bleiben. In anderen Worten, wir werden unsere Funktionen wie mathematische Funktionen begreifen, deren Ergebnis nur von ihren Eingabeparametern abhängt.

Der angestrebte Sudoku Generator wird aus drei Teilen bestehen:

  1. Ein Psudozufallszahlengenerator um unterschiedliche Puzzles erstellen zu können
  2. Ein simpler Algorithmus um vollständig ausgefüllte Puzzles zu erstellen
  3. Ein vereinfachter Algorithmus um Werte aus dem Puzzle zu entfernen

Unglücklicherweise sorgen die Vereinfachungen dafür, dass die Puzzles vorhersehbar werden und am Ende unter Umständen mehr als eine Lösung möglich ist, was um genau zu sein dann kein gültiges Sudoku mehr ist. Diese Probleme sollen in einer weiteren Session behoben werden.

Sake vom Hackzogtum Coburg:


“Der Plan für den Workshop sieht so aus, dass wir mit einer kurzen Einführung in Funktionale Programmierung starten und dabei das Lambda Kalkül und etwas Typ Theorie anschauen. Danach probieren wir uns an einfachen purely functional Programmen. Das sollte den Abend ganz gut füllen.
Als Werkzeuge brauchen wir für diesen Termin lediglich den Glasgow Haskell Compiler (
https://www.haskell.org/ghc/) und einen Texteditor mit Syntax Highlighting (https://wiki.haskell.org/Editors). GHC läuft auch unter Windows allerdings hab ich da null Erfahrung ob das anständig funktioniert. Also bitte im Vorfeld schauen, dass das Setup was sinnvolles macht. Die Doku Seite könnte da helfen. https://downloads.haskell.org/ghc/latest/docs/html/users_guide/win32-dlls.html
Alternativ einfach ein Ubuntu in WSL installieren und ghc über den package manager installieren.”


(Anm d. Redaktion: Wir wissen auch nicht, wie er es schafft mit funktionierenden Links zu sprechen)

Vortrag September – C-Workshop reloaded

 

Update

Nächster Termin ist der 21. Januar 2020 – 19:30 Uhr.

Wir werden nach einer kurzen Wiederholung, noch einmal auf Automaten eingehen und dann die Ampelsteuerung implementieren.

 

Was im Juli mit vollem Haus und steiler Lernkurve begann, soll im September, mit etwas flacherem Einstieg fortgeführt werden. Wenn du also Interesse am Programmieren allgemein, der Programmiersprache C, dem Entwickeln von Funktionalität auf Arduinos hast, komm vorbei!

Wir werden anhand kleiner Codebeispiele Grundlagen der Programmierung und der Sprache C erläutern und dann darf sich jeder selbst – mit Unterstützung – daran versuchen. Wir beginnen mit einfachen Beispielen und entwickeln im Zuge des Workshops eine Ampelschaltung, die später auf einen Arduino übertragen werden soll um dort LEDs anzusteuern.

Ihr benötigt einen Laptop! Unter Linux sollte “gcc” und ein Texteditor der persönlichen Präferenz installiert sein. Unter Windows bitte DevC++. Wer andere Software einsetzen will, sollte diese selbst beherrschen.

Stattfinden wird das ganze wieder bei uns im Space: Geleitstrasse 10 – 96450 Coburg. Der genaue Termin soll mit folgender Umfrage festgelegt werden: Terminumfrage – Der Termin mit den meisten Votes gewinnt. Folgetermine werde nach Bedarf ähnlich festgelegt. Bei Fragen, wendet euch einfach an info@hackzogtum-coburg.de

36c3 WE ARE HERE!

Wie jedes Jahr befinden wir uns auf dem Congress. Ihr wollt uns einen Besuch abstatten? Ihr seid aus Coburg und auf dem Congress aber habt das Hackzogtum noch nie gesehen? Na dann schaut doch vorbei! Wir beißen nicht. Sucht auf dem Messe-plan einfach nach dem Hackzogtum.

CO:DE RUSH 2019 – Wir taten es wieder

Vor Kurzem ging die zweite Runde des Hackathon CO:DE RUSH von Zukunft.Coburg.Digital zu Ende. Auch das Hackzogtum Coburg hat wieder ein Team gestellt. Leider hat es diesmal nicht ganz für den ersten Platz gereicht. Trotzdem empfanden wir es wieder als vollen Gewinn. Es waren zwei tolle Tage, mit tollen Leuten und guter Orga. Gratulationen an die jeweiligen Gewinnerteams gehen raus! Danke an die Orga und alle Teilnehmer für die tolle Zeit.

Preview unseres Erzeugnisses – Das Spiel Game-Air


Dosentelefon-Projekt

Anlässlich der Geburtstagsfeier des bamberger Backspace hat sich das Hackzogtum an ein geheimes Projekt gewagt: Ein Dosentelefon!

Die Version für den Backspace wurde noch nachts vor der Feier fertiggestellt und pünktlich übergeben. Inzwischen ist auch das Hackzogtum-Endgerät fertig und wurde erfolgreich getestet.

Jedes Dosentelefon ist so eingerichtet, dass es bei Abnehmen der Dose vom Haken automatisch die Gegenstelle im anderen Verein anruft. Wie bei einem richtigen Baumhaus-Dosentelefon kann entweder in die Dose gesprochen oder an der Dose gelauscht werden – aber nicht beides gleichzeitig.

Von der Planung bis zu Design, Elektroniklayout, Programmierung, Bohren, Löten und 3d-Druck hat dieses Projekt so gut wie alle “Fachfunktionen” unseres Vereins gefordert. Eine Erweiterung der Funktionalität, so dass auch andere Hackerspaces angerufen werden können, ist angedacht.


Mercedes W201 “ÜSR”

Als kleines mini Projekt vor Ende der Oldtimer Saison, wurde im Hackzogtum nocheinmal gebastelt. Genaugenommen ging es um das Sogenannte “ÜSR” (Überspannungs-Schutzrelais) in einem W201 190E Mercedes aus dem Jahr 1988. Dieses Bauteil wurde in allen Fahrzeugen der gleichen Bodengruppe zu dieser Zeit im Motorraum verbaut, was sich nach 30 Jahren als nicht besonders schlau erwies. Es handelt sich hierbei um die Sicherung sowie um das Relais zur Versorgung der Gesamten Elektronik (ABS, Motorsteuergerät, …). Durch die Bauweise im Motorraum ist das Teil Feuchtigkeit sowie Nässe ausgesetzt. So sieht es von außen oft in Takt aus, hat jedoch häufig kalte Lötstellen. Wenn das passiert, läuft das Fahrzeug nur noch im Notlauf und arbeitet rein Mechanisch, was eine Unruhe im Motor verursacht und Elektroniken wie das ABS lahm legt. Das ist eben auch in unserem Fall passiert. Also einmal ausbauen einmal alles neu löten, versiegeln und eine neue Hülle drucken um vor Spritzwasser zu schützen.

Card10 – Gehäuse zum 3D-Drucken

Dieses Jahr hat wieder das CCCamp stattgefunden und einige unserer
Mitglieder waren mit dabei. Neben Engeln, Vortragsbesuchen und
Workshopteilnahme haben wir uns auch mit der Card10 beschäftigt; einer
Art Smartwatch zum selber-programmieren. Da der ausgegebene Bausatz
dieser Smartwatch kein Gehäuse besitzt, haben wir vor Ort eines mit Blender entworfen und mit unserem 3d-Drucker gedruckt. Die
aktuelle Version 032 des Gehäuses lässt sich mittels Durchfädeln der
Armbänder absolut sicher an der Smartwatch befestigen und vereinfacht
die Betätigung der Druckknöpfe durch ausgesparte Federplättchen. Eine
wasserdichte und kugelsichere Version ist in der Konzeptphase ;)

Mit dieser STL könnt ihr euch das Ganze auch selbst herstellen.

Vortrag im Juli

Du wolltest schon immer einen Einstieg in die Programmierung? Vielleicht sogar an einem Beispiel? Dann ist unser kommender Vortrag perfekt!
Wir bauen eine Ampelschaltung in C!
Wo? Bei uns in der Geleitstraße 10 in Coburg.
Wann? 16.Juli 20:00 Uhr

Was brauchst du? Am besten einen Laptop um direkt mitmachen zu können und eine geeignete Programmierumgebung. Bei Linux Systemen reicht ein GCC und ein Texteditor. Unter Windows könnte man devc++ installieren.
Auch Geany sollte auf beiden Plattformen möglich sein. (Zur Not können wir dich hierfür auch vor Ort unterstützen; dann aber bitte frühzeitig kommen)

Update

Wir hatten volles Haus!

Leider war die Lernkurve etwas steiler als gedacht. Wir werden aber sehen, dass wir aus dem “Wir programmieren eine Ampel”-Workshop einen längeren, etwas langsameren Workshop machen. Stay tuned.

 

 

YouCo – Kinderlöten und Stand

Wir möchten uns bei den Organisatoren, Helfern und Möglichmachern des YouCo für das grandiose Festival bedanken und auch dafür, dass wir wieder dabei sein durften.

Diesmal konnten die Kids bei uns eine RGB-Badge von Watterott und eine Solarlampe, die wir selbst erstellt haben, zusammenlöten

Trotz der Hitze, bei der das Löten gefühlt schon von alleine ging, war es wieder superschön und wir freuen uns schon auf nächstes Jahr.
Wir konnten ca. 30 unserer Solarlampen an das Kind bringen und auch einige unser RGB-Anhänger haben neue Besitzer gefunden.

Dankesgrüße gehen raus an Watterott und an den CCC für die finanzielle Unterstützung für die Bausätze.

Geburtstagsparty! 110 Jahre Alt!

Besser spät als nie! Das Hackzogtum wurde dieses Jahr binäre 110 Jahre alt! Und das wollen wir feiern! Es ist für alles gesorgt in unserem Space! Und alle Kreaturen dieser und anderer Galaxien sind willkommen!
Wann?      22.Juni ca. 18:00 Uhr
Wo?            Geleitstraße 10 96450 Coburg