gitolite/c3d2-wiki
gitolite
/
c3d2-wiki
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

"schoen" mediawiki-foo

This commit is contained in:
Vater 2014-12-17 03:15:55 +00:00
parent 5716c88ede
commit 4c47d19187
1 changed files with 44 additions and 39 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

83
Echt_Dezentrales_Netz%2FTagebuch.mw
View File

@ -1,41 +1,46 @@
{| class="wikitable sortable"
|-
|+ Projekttagebuch zu [[Echt Dezentrales Netz]]
|-
! Datum
! class="unsorable" |
|-
|
{{#dateformat: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.
|-
|
{{#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.
: 8 mal für EDN, 5 mal für Equi Nodes.
|-
|
{{#dateformat:2014-11-12}}
|
Die Planung des '''ProjektKickoffs''' - Ersten Themenabends läuft:
: Umfrage zur Teilname am Themenabend: https://dudle.inf.tu-dresden.de/privacy/EDN_Themenabend/
: siehe: https://wiki.c3d2.de/EqualNodes#Veranstaltungen
|-
|
{{#dateformat:2014-11-11}}
|
Gerade läuft die Umfrage zur Namensfindung.
: Sie endet am 15.11.2015:
: https://dudle.inf.tu-dresden.de/privacy/equalnodes/)
|-
|}
[[Kategorie:EDN]]
[[Kategorie:Projekt]]
----
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.16
Der Name des Projektes steht nun fest:
'''EDN'''
''Echt dezentrales Netz'' wurde durch eine dudle Umfrage entschieden.<br>
Die Beteiligung war leider sehr schwach: 10 Personen gaben ihre Stimme.
8 mal für EDN, 5 mal für Equi Nodes.
----
2014.11.12
Die Planung des '''ProjektKickoffs''' - Ersten Themenabends läuft:<br>
Umfrage zur Teilname am Themenabend: https://dudle.inf.tu-dresden.de/privacy/EDN_Themenabend/<br>
siehe: https://wiki.c3d2.de/EqualNodes#Veranstaltungen
----
2014.11.11
Gerade läuft die Umfrage zur Namensfindung.
Sie endet am 15.11.2015:<br>
https://dudle.inf.tu-dresden.de/privacy/equalnodes/)<br>
----