https://wiki.ccchb.de/w/index.php?title=Spezial:Neue_Seiten&feed=atom&hideredirs=1&limit=50&offset=&namespace=0&username=&tagfilter=CCC Bremen - Neue Seiten [de]2024-03-19T12:29:50ZAus CCC BremenMediaWiki 1.41.0https://wiki.ccchb.de/wiki/ElektronikeckeElektronikecke2024-03-13T18:59:09Z<p>Eeadc: </p>
<hr />
<div>Die '''Elektronikecke''' befindet sich zusammen mit dem [[3D-Drucker]] im kleinen Raum der [[Zweigstraße 1]].<br />
<br />
{{Zweigstraße Navigation}}</div>Eeadchttps://wiki.ccchb.de/wiki/Plenum_2024-03-26Plenum 2024-03-262024-02-20T19:50:11Z<p>Friemelpunk: Die Seite wurde neu angelegt: „{{Plenum-Dummy|2024-03-26}}“</p>
<hr />
<div>{{Plenum-Dummy|2024-03-26}}</div>Friemelpunkhttps://wiki.ccchb.de/wiki/Treffen/ThemenabendeTreffen/Themenabende2024-01-26T21:06:45Z<p>Eeadc: /* 2024 */</p>
<hr />
<div>Auf dem wöchentlichen [[Treffen]] des CCC Bremen finden regelmäßig sogenannte '''Themenabende''' statt.<br />
<br />
== 2024 ==<br />
<br />
* ''Unvereinbarkeitserklärung des CCC'' von inj4n am 27. Februar 2024<br />
* ''jq'' am 13. Februar 2024<br />
* ''XMPP'' am 6. Februar 2024<br />
* ''Typentheorie'' von [[Benutzer:Eeadc|Fritz]] am 30. Januar 2024<br />
* ''Passwortmanager'' von inj4n am 16. Januar 2024<br />
<br />
== 2023 ==</div>Eeadchttps://wiki.ccchb.de/wiki/Plenum_2024-02-20Plenum 2024-02-202024-01-24T08:37:47Z<p>Friemelpunk: </p>
<hr />
<div><span id="ccchb-plenum-2024-02-20"></span><br />
= CCCHB Plenum 2024-02-20 =<br />
<br />
* Termin: 2024-02-20, 20:00 Uhr Eröffnung der Tagesordnung<br />
* Ende: 2024-02-20, 20:40 Uhr Schließen der Tagesordung<br />
* Ort: Z<br />
* Moderation: [name=paradx]<br />
* protokollführende Person: [name=inj4n]<br />
<br />
<span id="protokoll"></span><br />
== Protokoll ==<br />
<br />
<span id="nachrichten-aus-dem-vorstand-nameparadx-in-vertretung"></span><br />
=== Nachrichten aus dem Vorstand ([name=paradx] in Vertretung) ===<br />
<br />
* Rack ist zum Verkauf bei ebay-kleinanzeigen. [name=paradx] organisiert die Abholung. Applaus!<br />
* Der Schrotthaufen wurde heroisch entsorgt.<br />
* Das Plenum kann bei Gelegenheit diskutieren den Serverhaufen direkt nach Berlin zu schicken.<br />
<br />
<span id="projekt-3d-drucker-anschaffen-httpsmd.ccc-mannheim.deiiky5wv_sviloiiyxz2wxqboth-nameparadx-namenmeum"></span><br />
=== Projekt 3D-Drucker anschaffen: https://md.ccc-mannheim.de/iiky5wV_SVilOIIYxz2WxQ?both [name=paradx] [name=nmeum] ===<br />
<br />
* Anycubic Kobra 2 Max ist in der näheren Auswahl ~600€<br />
* Wir erhalten 20€ Rabatt (durch den Code auf der Webseite, oder Freundlichkeit)<br />
* Der Standort ist der Tisch im Werkstattraum<br />
* Filamentnutzung muss noch geregelt werden<br />
<br />
<span id="garderobe-haben-wollen-nameparadx"></span><br />
=== Garderobe haben wollen [name=paradx] ===<br />
<br />
* Wäre schön<br />
<br />
<span id="müll-liegt-herum-nameparadx"></span><br />
=== Müll liegt herum [name=paradx] ===<br />
<br />
* Das Plenum weißt auch gelegentlich anwesende Personen darauf hin, dass es gewünscht ist, dass Müll (z.B. Pizzakartons) nicht einfach herumgelassen werden.<br />
<br />
<span id="tkschrank-nicht-die-versicherung-nameparadx"></span><br />
=== TKschrank (nicht die Versicherung) [name=paradx] ===<br />
<br />
* Wird der noch abgetaut oder kann der weg?<br />
* Ist im Sommer recht beliebt, sollte aber wohl bleiben<br />
* Es ist nur ein Lebensmittel gelagert, welches aufgrund Alter<br />
<br />
<span id="schlüssel-thema-namemonika"></span><br />
=== Schlüssel thema [name=monika] ===<br />
<br />
* Es wird sich Schlüssel gekümmert<br />
* für das Treffen am Do. findet sich eine Lösung (post-Plenum)<br />
<br />
<span id="infos-aus-regio-und-erfa"></span><br />
=== Infos aus Regio und Erfa: ===<br />
<br />
ggF. Wiederholung<br />
<br />
3 Anträge denen das Plenum zustimmt: * Flipdot-Mietzuschuss: https://doku.ccc.de/Flipdot/Antrag_Mietkostenzuschuss_2024 * ÖGS-Dolmetschung Wien: https://doku.ccc.de/Wien/Antrag_Zuschuss_%C3%96GS-%C3%9Cbersetzung_2024 * Tor-Exit CCC Stuttgart: https://doku.ccc.de/Chaos_Computer_Club_Stuttgart/Antrag_Tor-Exit_2024<br />
<br />
<span id="veranstaltungshinweise"></span><br />
==== Veranstaltungshinweise ====<br />
<br />
* Info von der Mailingliste (05.02.204): am Wochenende von 22.3. – 24.3. findet ein Workshop-Wochenende zu Konfliktmediation in Spaces statt. [Details siehe Mail] 2-3 Leute können von uns teilnehmen.<br />
* zur Erinnerung: Regiotreffen Nord(geekend): 01.03-03.03.2024 in Hamburg einige von uns haben zugesagt, dabei zu sein. Pad dazu: https://pad.hamburg.ccc.de/nord-geekend-2024<br />
* 02.03.2024 deutscher Tag der offenen Hackspaces<br />
** Terminkollision mit dem Nordgeekend<br />
** Wir machen was anderes wann anders<br />
* 30.03.2024 Internationaler Tag des offenen Hackspaces https://wiki.hackerspaces.org/Open_Hackspace_Day_2024<br />
** Kollidiert mit dem Easterhegg<br />
<br />
Und: da die Infos (wie es im letzten Plenum aussah) nicht gut im space ankommen/auf dem Weg im IRC o.ä. verloren gehen: Wie möchtet ihr am liebsten die Infos aus den Regio-Telkos bekommen? Wie sie an MoniKa (und gerne weitere!) geben, damit gut bei den Telkos berichtet werden kann?<br />
<br />
* Vorschlag Mailingliste (damit nicht weitere Adressen angelegt werden müssen)<br />
<br />
<span id="termine-von-allen-erfas"></span><br />
==== Termine von allen Erfas ====<br />
<br />
* finden sich auf pads.ccc.de/termine</div>Paradxhttps://wiki.ccchb.de/wiki/Veranstaltungen/Haskell-MeetupVeranstaltungen/Haskell-Meetup2024-01-23T19:34:41Z<p>Nmeum: </p>
<hr />
<div>[[Kategorie:Aktionen]]<br />
[[Kategorie:Projekte]]<br />
[[Kategorie:Themen]]<br />
Hier treffen sich ein paar Personen, die sich mit der Programmiersprache Haskell im besonderen und funktionalen Programmieren (und allem drumherum) im allgemeinen auseinandersetzen möchten. Dabei ist das Ziel, sich gegenseitig zu Helfen, Fragen zu beantworten und ins Gespräch zu kommen.<br />
<br />
Wir treffen uns '''jeden 1. Dienstag im Monat''' um 18:00 Uhr - 20:00 Uhr.<br />
<br />
== Funktionale Glückseligkeit ==<br />
<br />
Was ist eigentlich Funktionale Programmierung, bzw. in welchen Sprachen kann man funktional programmieren?<br />
<br />
Funktionale Glückseligkeit nach [https://user.informatik.uni-bremen.de/hof/ Berthold Hoffmann] (circa 2018):<br />
<br />
# Daten sind Werte<br />
# Funktionen sind erstklassige Werte<br />
# Funktionsdefinitionen mit Pattern Matching<br />
# Funktionsanwendung bewahren ihre Argumente<br />
# Parametrische Polymorphie<br />
# Polymorphe Typinferenz<br />
# Die Repräsentation von Werten kann verborgen werden<br />
# Nur wirklich benötigte Werte werden berechnet: Lazy Evaluation, Call-by-Need<br />
# Alle Funktionen haben einen Parameter (Currying, partielle Funktionen, …)<br />
<br />
Siehe auch: https://www.informatik.uni-bremen.de/agbkb/lehre/programmiersprachen/uebungsaufgaben/m19.pdf<br />
<br />
== Termine ==<br />
<br />
* '''Nächster Termin:''' 2024-04-02 18:00 Uhr im [[Zweigstraße|Z1]]<br />
* 2024-03-05 18:00 Uhr im [[Zweigstraße|Z1]]<br />
** [[#Funktionale_Glückseligkeit|Funktionale Glückseligkeit]] nach Berthold Hoffmann<br />
** Vertiefung zu [https://ucsd-progsys.github.io/liquidhaskell/ Liquid Haskell]<br />
** Array Programmiersprachen, insbesondere [https://www.uiua.org uiua]<br />
** <s>Web APIs mit [https://www.servant.dev/ Servant]</s><br />
* 2024-02-06 18:00 Uhr im [[Zweigstraße|Z1]]<br />
** [https://leanprover.github.io/functional_programming_in_lean/ Functional Programm mit Lean]<br />
** Einführung zu [https://ucsd-progsys.github.io/liquidhaskell/ Liquid Haskell]<br />
** Functional package management mit [https://guix.gnu.org Guix] und [https://nixos.org Nix]<br />
<br />
== Links ==<br />
<br />
* Einführungsliteratur: [https://learnyouahaskell.github.io/chapters.html Learn You a Haskell for Great Good]</div>Nmeum