public

public@lists.darmstadt.ccc.de

4 participants
1735 discussions

Morgen (=Mittwoch) kleiner Gedankenaustausch zu formalen Methoden
by Benjamin Richter 23 Jan '18

23 Jan '18

Hallo allerseits. Ich habe mich das letzte Jahr über im Rahmen meiner Masterarbeit viel mit formalen Modellen für schwache Speicherkonsistenz in Multiprozessorsystemen (sogenannte "Weak Memory Models") beschäftigt. Während dieser Zeit war ich wenig im Hackspace und habe ein bisschen den Kontakt zum Vereinsleben verloren :( Da ich allerdings von ein paar Leuten Interesse an solchen Themen vernommen habe, würde ich spontan vorschlagen, wir unterhalten uns zur beiderseitigen Synchronisation mal ein wenig und machen morgen, am Mittwoch, den 24. Januar 2018 ab 19:00 Uhr in der W17 (also auf dem Wizards-of-Dos-Treffen) sozusagen eine kleine informelle Runde zu formalen Methoden. Ich kann dabei gerne auch ein bisschen was am Whiteboard erzählen. Ob einsteigerfreundlich oder lieber detailliert würde ich, ganz interaktiv, euch überlassen. Wir können auch was praktisches mit Isabelle [1] ausprobieren, wenn ihr mögt. [1] https://isabelle.in.tum.de/ Viele Grüße Waldteufel

1 0

[Sonntagswerkstatt] ab 14:30 Uhr, HGH R08
by goto 21 Jan '18

21 Jan '18

Ohai, Tuxel und ich bauen am Cluster rum und sind bis ca. 18Uhr da. Wer mag, kann gerne vorbeikommen und mitmachen. Gruss goto

1 0

[Sonntagswerkstatt] ab 14:30 Uhr, HGH R08
by goto 21 Jan '18

21 Jan '18

Ohai, Tuxel und ich bauen am Cluster rum und sind bis ca. 18Uhr da. Wer mag, kann gerne vorbeikommen und mitmachen. :) Gruss goto

1 0

Projektidee: NOx-Anzeige für Darmstadt
by Martin Huth 20 Jan '18

20 Jan '18

Liebe Chaos-Freunde, für Mainz gibt es seit einem Jahr eine grafisch aufbereitete Online-Anzeige über die aktuellen NOx-Werte: https://www.noxmas.de/de/ Diese Seite kann nach Angabe des Entwicklers auch für andere Städte, z.B. Darmstadt, umgesetzt werden. Leider hat sich der Entwickler rausgezogen. Die Projektidee ist, den Entwickler zu kontaktieren und den Code für ein Darmstäder Anzeige-Projekt zu verwenden. Wer hat Lust? Kontaktdaten zum Entwickler: Peter Reichard, p.reichard(a)s-v.de. (Scholz&Volkmer ist eine Werbeagentur) Ich unterstütze euch gerne, z.B. könnte ich die fertige Website bei der Stadt Darmstadt bewerben. Grüße Martin Huth

1 0

Projektidee: NOx-Anzeige für Darmstadt
by Martin Huth 20 Jan '18

20 Jan '18

3 2

Fwd: [HAL] WICHTIG - Aktionen: HessenTrojaner, 7. + 8. Februar
by fluxx 19 Jan '18

19 Jan '18

Hallo zusammen, um einmal die geplanten Aktionen im Rahmen der Anhörung im Hessischen Landtag zum Hessentrojaner zusammenzufassen, klaue ich ganz dreist einfach mal eine Mail von Michael Weber von den Piraten, der die aktuelle Planung ganz gut zusammenfasst. Viele Grüße fluxx -------- Forwarded Message -------- Subject: [HAL] WICHTIG - Aktionen: HessenTrojaner, 7. + 8. Februar Date: Thu, 18 Jan 2018 18:28:24 +0100 From: Michael Weber <michael.weber(a)piratenpartei-hessen.de> Reply-To: liste(a)piratenpartei-hessen.de To: PPH <liste(a)lists.piratenpartei-hessen.de>, HAL <HAL(a)lists.piratenpartei-hessen.de>, marburg(a)piratenpartei-hessen.de Liebe Piraten, am 7. und 8. Februar geht es mit unseren Aktivitäten zum HessenTrojaner weiter und ich möchte euch alle im Sinne des von uns mitinitiierten Bündnisses von inzwischen 20 Organisationen bitten, euch dort in Wiesbaden VOR ORT zu beteiligen. Meldet ggf. rechtzeitig Urlaub an, evt. müssen wir auch Fahrgemeinschaften organisieren. Ihr erinnert euch: Am 22.12. hatten wir eine gemeinsame Erklärung gegen die Änderungs des hess. Verfassungsschutzgesetzes herausgegeben: https://www.piratenpartei-hessen.de/pressemitteilung/2017-12-21-piratenpart… Am 12.01 konnten wir in der bundesweit gelesenen Tageszeitung "Junge Welt" dazu ein Interview platzieren: https://www.jungewelt.de/artikel/325118.der-staat-f%C3%B6rdert-durch-diese-… ...welches wir auch über die SocialMedia-Kanäle breitestmöglicht bekannt zu machen versucht haben. Heute Abend wird nun in Marburg ab 20 Uhr im Schamdan auf dem KV Stammtisch in der Weidenhäuser Str. weiter geplant, was wir am 8.2. unternehmen werden. Kommendes Wochenende bin ich von der HU eingeladen, um zu beraten, was für Aktivitäten wir vor der Geschäftsstelle der Grünen in Marburg unternehmen können. Diese Aktion wollen wir dann gern in andere hess. Städte "kopiert" sehen - jedes Mal natürlich mit Presseladung vor Ort. Am 7.2. hat Die Linke für 19:30-21:30 Uhr auf dem Schlossplatz 4 in Wiesbaden zu einer Diskussionveranstaltung geladen, auf der die von der Landtagsfraktion zur Lesung am 8.2. geladenen Experten sprechen werden. Hier ist der Tweet zu dieser Veranstaltung: https://twitter.com/Buendnis_DsU/status/953709600506875904 Seid bitte nicht besorgt, dass nun aus der doch ursprünglich gemeinsamen Aktion eine "Die Linke"-Einzelveranstaltung geworden zu sei scheint: Aus finanzrechtlichen Gründen darf die Landtagsfraktion auf ihren Veranstaltungsflyern keine anderen Parteien und Organisationen bewerben, daher sind die anderen Logos nicht dabei. Wir sind aber eingeladen, selbst eine(n) Redner(in) zu benennen, wenn wir das möchten / organisiert bekommen. Mein Vorschlag wäre, dass möglichst einer derjenigen, die sich bei unserer Landtagswahl-Aufstellungsversammlung im kommenden Monat um eine Spitzenkandidatur bewerben möchten, hier gleich mal etwas Profil zeigen kann. Sebastian? Jürgen? ... Du? ... ;-) Meldet euch bitte umgehend bei mir, damit das zeitnah sauber vorbereitet und auch beworben (!) werden kann. Was nicht kommuniziert werden kann, findet für die Welt da draußen nicht statt. Bitte im Auge behalten... Desweiteren hat "Die Linke" angeboten, einige Übernachtungsmöglichkeiten für Leute von uns organisieren zu wollen, sofern da Bedarf besteht, denn: am 8.2. geht es weiter - wäre also ideal für Leute, die von außerhalb Wiesbaden am 7. kommen und auch am 8. weiter mitmachen wollen, denn: Am 8.2. soll es dann eine gemeinsam angemeldete Aktion mit Flyerunterfütterung geben. Hier sind die Details noch nicht ausbaldowert, jegliche Idee wird dankend angenommen. Bringt euch ein, liebe Kollegen! Das Dumme ist, dass die Aktion mitten in der Woche liegt, also Mi + Do. Dies liegt an der Lesung zur Thematik am Do im Landtag. Ich schrieb deshalb dazu schon im Dezember und erinnere hiermit ausführlichst erneut, denn ich würde mir wünschen, dass SEHR viele Leute von uns aktiv vor Ort anwesend sind, ggf. rechtzeitig URLAUB NEHMEN und mit Piratenschirmen und -fahnen genug Aufmerksamkeit erzeugen, dass wir irgendwo in der Presse landen und somit das Ganze in der Öffentlichkeit auch außerhalb Wiesbadens wahnehmbar wird. BITTE! Soviel erstmal für heute, Michael.

1 0

Protokoll Plenum 18.01.2018
by Alexeyan 18 Jan '18

18 Jan '18

# Plenum 2018-01-18 Protokollant: Alexeyan 1. Während des Plenums mitschreiben - Trennung sichtbar machen zwischen Infos vor dem Plenum & Protokoll - bitte alle auf Vollständigkeit achten - insb. der Protokollant und die "Verantwortlichen" der TOPs. - ggf. andere Teilnehmer um Mithilfe bitten 2. Protokoll in <git.darmstadt.ccc.de/cda/doku.git> archivieren 3. Protokoll auf <public(a)lists.darmstadt.ccc.de> veröffentlichen 4. Protokoll für nächstes Plenum vorbereiten 5. Channeltopic in #chaos-darmstadt aktualisieren ## Immer: - Putzplan überprüfen <https://git.darmstadt.ccc.de/cda/doku/blob/master/putzplan.md> - https://shells.darmstadt.ccc.de/~fluxx/putz/ Passt - Vor dem Plenum: Vor jedem TOP verantwortliche Person und ungefähre Zeitangabe angeben. - Erstes Plenum im Monat: lost+found kiste leeren und rotieren - Protokoll inkl. Aufgaben als Wiedervorlage für - Erstes Plenum im Monat: lost+found kiste leeren und rotieren nächstes Mal ## TOPs Bitte TOPs bis einen Tag vor Plenum hier eingereicht haben & mit Nick und voraussichtlicher Zeitdauer versehen. **Erinnerung: Die Zeiteingaben wollen und sollen eingehalten werden.** [megfault '5] megfault and zeri's yearly (!!) birthday party - Anfrage: - as usual, we would like to celebrate with the hackerspace dwellers at the hackerspace - Saturday 27.1. from 6pm until the early hours of the following day - we clean up on Sunday 28.1. sometime in the afternoon (eventually we can replace the Putzplan shift of andi- and hejligen) Cleaning before 4 pm - we will bring pizza dough and ingredients to fill your hungry bellies - we will also fund sugary and/or alcoholic drinks and lots of limes - can please has approval? - Plenum: - Plenum approves [migy '10] State of the Burbon - Plenum: - warten auf AMD Ryzen 2nd generation (April 2018)

1 0

"Abhören unter Freunden" am 24.1. in Mainz
by md 18 Jan '18

18 Jan '18

fyi -------- Forwarded Message -------- Subject: [mzv-sr-infr] Erinnerung Mainzer Vorträge zum Sicherheits- und Informationsrecht 24.01.2018 Date: Thu, 18 Jan 2018 14:33:26 +0000 From: Lehrstuhl Prof. Matthias Bäcker <lsbaecker(a)uni-mainz.de> Reply-To: Lehrstuhl Prof. Matthias Bäcker <lsbaecker(a)uni-mainz.de> To: mzv-sr-infr(a)lists.uni-mainz.de <mzv-sr-infr(a)lists.uni-mainz.de> Sehr geehrte Damen und Herren, hiermit würden wir Sie gerne noch einmal auf unsere nächste Veranstaltung der Mainzer Vorträge zum Sicherheits- und Informationsrecht am 24.01.2018 um 18.30 hinweisen. Nähere Informationen können Sie den angehängten Dateien entnehmen. Wir freuen uns darauf, am 24. Januar mit Ihnen zu diskutieren und verbleiben mit besten Grüßen Prof. Dr. Matthias Bäcker Prof. Dr. Dieter Kugelmann

1 0

FYI - FES Lesung und Diskussion "Digital Politics - So verändert das Netz die Demokratie" am 20. Februar 2018 in Darmstadt
by Claus2 17 Jan '18

17 Jan '18

Diesmal mit den Links zu Agenda und Anmeldung ;-) Hallo CCCler in DA, Ggf ist der u.g. Vortrag der FES für euch interessant. (FES ist die Friedrich Ebert Stiftung und ist SPD-nah) Die Teilnahme ist kostenlos, eine Anmeldung ist notwendig. Agenda https://www.fes.de/oas/portal/pls/portal/filefunctions.download/PLAKON/VERA… Anmeldung https://www.fes.de/veranstaltungen/?Veranummer=221479 Beste Grüsse, Claus Subject: FW: FES Lesung und Diskussion "Digital Politics - So verändert das Netz die Demokratie" am 20. Februar 2018 in Darmstadt wir laden herzlich ein zur Lesung und Diskussion des Buchs "Digital Politics – So verändert das Netz die Demokratie" mit Aleksandra Sowa. Die Veranstaltung findet am Dienstag, 20. Februar 2018, 19.00 Uhr im Theater im Pädagog in Darmstadt statt. Alle weiteren inhaltlichen und organisatorischen Details entnehmen Sie bitte der Einladung. Für unsere Planung bitten wir um Ihre verbindliche Anmeldung über unser Anmeldeformular im Internet. Die Veranstaltung ist öffentlich und kostenfrei. Wir versenden keine Anmeldebestätigungen. Gerne können Sie die Einladung an interessierte Personen weitergeben. Mit freundlichen Grüßen Christine Herzog FES Landesbüro Hessen Marktstr. 10, 65183 Wiesbaden Telefon 0611-341415-0 Fax 0611-341415-29 FES Hessen auf Facebook www.fes.de/hessen Wenn Sie keine E-Mail mehr erhalten möchten, genügt eine kurze Mitteilung. Sie können auch einfach eine E-Mail ohne Text an unsubscribe(a)fes.de senden. Wir werden dann umgehend dafür sorgen, dass Sie solche Mails nicht mehr von uns erhalten.

1 0

FYI - FES Lesung und Diskussion "Digital Politics - So verändert das Netz die Demokratie" am 20. Februar 2018 in Darmstadt
by Claus2 17 Jan '18

17 Jan '18

Hallo CCCler in DA, Ggf ist der u.g. Vortrag der FES für euch interessant. (FES ist die Friedrich Ebert Stiftung und ist SPD-nah) Die Teilnahme ist kostenlos, eine Anmeldung ist notwendig. Beste Grüsse, Claus Subject: FW: FES Lesung und Diskussion "Digital Politics - So verändert das Netz die Demokratie" am 20. Februar 2018 in Darmstadt wir laden herzlich ein zur Lesung und Diskussion des Buchs "Digital Politics – So verändert das Netz die Demokratie" mit Aleksandra Sowa. Die Veranstaltung findet am Dienstag, 20. Februar 2018, 19.00 Uhr im Theater im Pädagog in Darmstadt statt. Alle weiteren inhaltlichen und organisatorischen Details entnehmen Sie bitte der Einladung. Für unsere Planung bitten wir um Ihre verbindliche Anmeldung über unser Anmeldeformular im Internet. Die Veranstaltung ist öffentlich und kostenfrei. Wir versenden keine Anmeldebestätigungen. Gerne können Sie die Einladung an interessierte Personen weitergeben. Mit freundlichen Grüßen Christine Herzog FES Landesbüro Hessen Marktstr. 10, 65183 Wiesbaden Telefon 0611-341415-0 Fax 0611-341415-29 FES Hessen auf Facebook www.fes.de/hessen Wenn Sie keine E-Mail mehr erhalten möchten, genügt eine kurze Mitteilung. Sie können auch einfach eine E-Mail ohne Text an unsubscribe(a)fes.de senden. Wir werden dann umgehend dafür sorgen, dass Sie solche Mails nicht mehr von uns erhalten.

1 0

Jump to page:

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

public