2014-11-12 11:58:57 +01:00
|
|
|
|
|
|
|
|
----
|
|
|
|
|
|
2014-11-24 21:34:44 +01:00
|
|
|
2014.11.16
|
|
|
|
|
|
|
|
|
|
Ein Theoretiker sagt zu mir:
|
|
|
|
|
Wenn Du ein gut verifiziertes System haben willst- brauchst Du formale
|
|
|
|
|
Modelle davon, die Du dann verifizieren kannst.
|
|
|
|
|
Wenn Du verifizierbaren Code schreiben willst, nutze Haskell.
|
|
|
|
|
Wenn der Code auch Objekt Orientiert sein soll F#.
|
|
|
|
|
|
|
|
|
|
Ein Programmierer sagt zu mir:
|
|
|
|
|
Mit formalen Modellen kann er nichts anfangen.
|
|
|
|
|
Und der Programmierer will gleich anfangen Code zu schreiben- er will
|
|
|
|
|
nicht auf langwierige Forschungsergebnisse warten.
|
|
|
|
|
----
|
|
|
|
|
|
2014-11-24 21:35:28 +01:00
|
|
|
2014.11.16
|
|
|
|
|
|
2014-11-17 21:58:01 +01:00
|
|
|
Der Name des Projektes steht nun fest:
|
2014-11-17 21:59:11 +01:00
|
|
|
'''EDN'''
|
|
|
|
|
''Echt dezentrales Netz'' wurde durch eine dudle Umfrage entschieden.<br>
|
2014-11-17 21:58:01 +01:00
|
|
|
Die Beteiligung war leider sehr schwach: 10 Personen gaben ihre Stimme.
|
|
|
|
|
8 mal für EDN, 5 mal für Equi Nodes.
|
|
|
|
|
----
|
|
|
|
|
|
2014-11-24 21:35:28 +01:00
|
|
|
2014.11.12
|
|
|
|
|
|
2014-11-12 11:58:57 +01:00
|
|
|
Die Planung des '''ProjektKickoffs''' - Ersten Themenabends läuft:<br>
|
2014-11-24 21:36:47 +01:00
|
|
|
Umfrage zur Teilname am Themenabend: https://dudle.inf.tu-dresden.de/privacy/EDN_Themenabend/<br>
|
2014-11-12 11:58:57 +01:00
|
|
|
siehe: https://wiki.c3d2.de/EqualNodes#Veranstaltungen
|
|
|
|
|
----
|
|
|
|
|
|
2014-11-24 21:35:28 +01:00
|
|
|
2014.11.11
|
|
|
|
|
|
2014-11-11 23:01:49 +01:00
|
|
|
Gerade läuft die Umfrage zur Namensfindung.
|
2014-11-11 23:01:00 +01:00
|
|
|
Sie endet am 15.11.2015:<br>
|
2014-11-11 23:01:31 +01:00
|
|
|
https://dudle.inf.tu-dresden.de/privacy/equalnodes/)<br>
|
2014-11-11 23:01:00 +01:00
|
|
|
|
|
|
|
|
----
|
