Space closed_but_open

Es ist niemand hier…

Virtual Open Space – now on mumble.hackzogtum-coburg.de
Wir haben unter genannten Link nun eine mumble-Instanz. Lauscht vorbei, quatscht mit…. Dienstag Abends sollte der Verkehr am größten sein.

Auch die Tür des Hackzogtums, die normalerweise allen offen steht, wenn jemand von uns anwesend ist, ist nun vorübergehend geschlossen. Wenn ihr Kontakt aufnehmen wollt, stehen in der entsprechenden Kategorie Möglichkeiten beschrieben, wobei natürlich aktuell nur die Online-Varianten funktionieren. Wir werden evtl. Online-Meetings etablieren. Dies geben wir entsprechend bekannt.

Viel Gesundheit! Bleibt sauber!

Haskell Workshop – Terminumfrage Teil 2

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

Die Terminumfrage für den zweiten Teil findet sich unter:
–> Terminumfrage <–

Im zweiten Teil soll Teil 1 reflektiert, diskutiert und offene Fragen geklärt werden. Danach geht es weiter auf dem Weg zum Sudoku-Solver

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

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


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.

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.

Vortrag / Workshop „EAGLE“ – Update Termin 5 ist am 21.05.2019 19:30 Uhr

EAGLE ist eine einfach anzuwendende Entwurfssoftware zur Erstellung von Layouts für Platinen.

Bei uns im Hackzogtum startet am 16. April um 19:30 Uhr eine Workshopreihe zum Umgang mit der Software. Geplant sind folgende Themenschwerpunkte:

  • Installation von EAGLE (Demo- Software)
  • Erstellen von Schaltplänen, Platinenlayout`s
  • Routen der Platine, etc.
  • eigener Rechner (Laptop) mit LINUX / Windows ist mitzubringen

Folgetermine werden dann mit den Teilnehmern vor Ort besprochen.
Der zweite Termin ist am 23.04.2019 19:30 Uhr.
Der dritte Termin ist am 30.04.2019 19:30 Uhr.
Der vierte Termin ist am 07.05.2019 19:30 Uhr.
Der fünfte Termin ist am 21.05.2019 19:30 Uhr.

LPD2019.1 – Linux Presentation Day – Samstag 18.05.2019

Am Samstag, den 18.5.2019, ab 15:00 Uhr, ist zum wiederholten Male
LINUX – PRESENTATION – DAY (LPD) bei uns im hackzogtum.

Ein Anlaufpunkt für alle, die
– Interesse am freien Betriebssystem haben
– das Betriebsystem noch nicht kennen bzw. kennenlernen möchten
– umsteigen wollen
– sich ausstauschen wollen

Wann und wo?
Hackspace des hackzogtum Coburg
Geleitstrasse 10 96450 Coburg
Wann: 18.5.2019
Ab 15:00 Uhr bis (open End???)

PS:

Laptop mitbringen!

Kurzer Rückblick:
Wir hatten 3 Besucher und angeregte Diskussionen rund ums Thema und weitere Projekte.

Flipper Enlightenment

Die vereinbarte Miete des Cocktail-Bots Flipper, den wir zu / seit unserer Geburtstagsfeier im Frühjahr vom Backspace zur Verfügung gestellt bekamen, war diesem ein Licht-Upgrade zu verpassen.

Das Projekt steht kurz vor der Finalisierung.

Heute (19.10.2018) Abend werden wir noch die Licht-Animationen programmieren und in die Steuersoftware von Flipper einhängen.

Wer etwas beitragen möchte, oder über die Schulter schauen möchte ist herzlich geladen. Los geht’s ab ca. 19:00 Uhr.

 

sm_20180918_215412 sm_20180918_215447 sm_20180918_215511 sm_20180918_224839