Echt Dezentrales Netz/Tagebuch: Unterschied zwischen den Versionen
Zur Navigation springen
Zur Suche springen
Vater (Diskussion | Beiträge) K (Vater verschob Seite Echt Dezentrales Netz/Projekttagebuch nach Echt Dezentrales Netz/Tagebuch: da es sich ohnehin offensichtlich um ein projekt handelt, kann das wohl wahrscheinlich auch entfallen (oder?)) |
Vater (Diskussion | Beiträge) K ("schoen" mediawiki-foo) |
||
Zeile 1: | Zeile 1: | ||
{| class="wikitable sortable" | |||
[[ | |- | ||
- | |+ Projekttagebuch zu [[Echt Dezentrales Netz]] | ||
|- | |||
2014 | ! Datum | ||
! class="unsorable" | | |||
|- | |||
| | |||
{{#dateformat:2014-11-16}} | |||
| | |||
Ein Theoretiker sagt zu mir: | Ein Theoretiker sagt zu mir: | ||
Wenn Du ein gut verifiziertes System haben willst- brauchst Du formale | : Wenn Du ein gut verifiziertes System haben willst- brauchst Du formale Modelle davon, die Du dann verifizieren kannst. | ||
Modelle davon, die Du dann verifizieren kannst. | : Wenn Du verifizierbaren Code schreiben willst, nutze Haskell. | ||
Wenn Du verifizierbaren Code schreiben willst, nutze Haskell. | : Wenn der Code auch Objekt Orientiert sein soll F#. | ||
Wenn der Code auch Objekt Orientiert sein soll F#. | |||
Ein Programmierer sagt zu mir: | Ein Programmierer sagt zu mir: | ||
Mit formalen Modellen kann er nichts anfangen. | : Mit formalen Modellen kann er nichts anfangen. | ||
Und der Programmierer will gleich anfangen Code zu schreiben- er will | : Und der Programmierer will gleich anfangen Code zu schreiben- er will nicht auf langwierige Forschungsergebnisse warten. | ||
nicht auf langwierige Forschungsergebnisse warten. | |- | ||
--- | | | ||
{{#dateformat:2014-11-16}} | |||
| | |||
Der Name des Projektes steht nun fest: | |||
: '''EDN''' | |||
''Echt dezentrales Netz'' wurde durch eine dudle Umfrage entschieden. | |||
Die Beteiligung war leider sehr schwach: 10 Personen gaben ihre Stimme. | Die Beteiligung war leider sehr schwach: 10 Personen gaben ihre Stimme. | ||
8 mal für EDN, 5 mal für Equi Nodes. | : 8 mal für EDN, 5 mal für Equi Nodes. | ||
|- | |||
| | |||
2014 | {{#dateformat:2014-11-12}} | ||
| | |||
Die Planung des '''ProjektKickoffs''' - Ersten Themenabends läuft: | Die Planung des '''ProjektKickoffs''' - Ersten Themenabends läuft: | ||
Umfrage zur Teilname am Themenabend: https://dudle.inf.tu-dresden.de/privacy/EDN_Themenabend/ | : Umfrage zur Teilname am Themenabend: https://dudle.inf.tu-dresden.de/privacy/EDN_Themenabend/ | ||
siehe: https://wiki.c3d2.de/EqualNodes#Veranstaltungen | : siehe: https://wiki.c3d2.de/EqualNodes#Veranstaltungen | ||
|- | |||
| | |||
2014 | {{#dateformat:2014-11-11}} | ||
| | |||
Gerade läuft die Umfrage zur Namensfindung. | Gerade läuft die Umfrage zur Namensfindung. | ||
Sie endet am 15.11.2015: | : Sie endet am 15.11.2015: | ||
https://dudle.inf.tu-dresden.de/privacy/equalnodes/) | : https://dudle.inf.tu-dresden.de/privacy/equalnodes/) | ||
|- | |||
|} | |||
[[Kategorie:EDN]] | |||
[[Kategorie:Projekt]] |
Version vom 17. Dezember 2014, 03:15 Uhr
Datum | |
---|---|
2014-11-16 |
Ein Theoretiker sagt zu mir:
Ein Programmierer sagt zu mir:
|
2014-11-16 |
Der Name des Projektes steht nun fest:
Echt dezentrales Netz wurde durch eine dudle Umfrage entschieden. Die Beteiligung war leider sehr schwach: 10 Personen gaben ihre Stimme.
|
2014-11-12 |
Die Planung des ProjektKickoffs - Ersten Themenabends läuft:
|
2014-11-11 |
Gerade läuft die Umfrage zur Namensfindung.
|