Benutzerbeiträge von „Nomeata“

19. Dezember 2022

• 08:4608:46, 19. Dez. 2022 Unterschied Versionen −9 Bytes‎ L-seed ‎ Update a few links aktuell

19. Mai 2022

• 17:4017:40, 19. Mai 2022 Unterschied Versionen +19 Bytes‎ GPN20 ‎Keine Bearbeitungszusammenfassung

18. Februar 2021

• 22:2522:25, 18. Feb. 2021 Unterschied Versionen −90 Bytes‎ GPN11:Warum wir noch Mathematiker brauchen ‎ Youtube link is tot aktuell

30. Mai 2016

• 11:4111:41, 30. Mai 2016 Unterschied Versionen +29 Bytes‎ GPN16:Feedback ‎ →‎Gefallen hat mir...

29. Mai 2016

• 01:0801:08, 29. Mai 2016 Unterschied Versionen +6 Bytes‎ GPN16:Feedback ‎ →‎Folgendes hat gefehlt...
• 01:0501:05, 29. Mai 2016 Unterschied Versionen +20 Bytes‎ GPN16:Feedback ‎ →‎Folgendes hat gefehlt...
• 01:0501:05, 29. Mai 2016 Unterschied Versionen 0 Bytes‎ K GPN16:Feedback ‎ →‎Nicht so toll fand ich...

20. Mai 2016

• 12:2212:22, 20. Mai 2016 Unterschied Versionen +172 Bytes‎ GPN16 ‎ Fahrplan verlinkt
• 11:5411:54, 20. Mai 2016 Unterschied Versionen +19 Bytes‎ GPN16:Commits statt Zeit ‎Keine Bearbeitungszusammenfassung

1. Mai 2016

• 21:5121:51, 1. Mai 2016 Unterschied Versionen −106 Bytes‎ Hauptseite ‎ Planet von der Startseite runter, solange kaputt.

28. September 2015

• 16:3516:35, 28. Sep. 2015 Unterschied Versionen +45 Bytes‎ Plenum:TOPS/2017 ‎ →‎Tagesunordnungspunkte - 04.10.2015

8. Juni 2015

• 20:1920:19, 8. Jun. 2015 Unterschied Versionen +107 Bytes‎ GPN15:Feedback ‎ →‎Gulasch
• 20:1720:17, 8. Jun. 2015 Unterschied Versionen +56 Bytes‎ GPN15:Feedback ‎ →‎Folgendes hat gefehlt...
• 20:1520:15, 8. Jun. 2015 Unterschied Versionen +189 Bytes‎ GPN15:Feedback ‎ →‎Nicht so toll fand ich...

6. Juni 2015

• 16:3616:36, 6. Jun. 2015 Unterschied Versionen +61 Bytes‎ GPN15:Der Tiptoi-Stift ‎Keine Bearbeitungszusammenfassung
• 16:3416:34, 6. Jun. 2015 Unterschied Versionen +85 Bytes‎ N Datei:GPN15-Tiptoi.pdf ‎ Folien zu GPN15:Der Tiptoi-Stift
• 16:2116:21, 6. Jun. 2015 Unterschied Versionen +143 Bytes‎ GPN15:Lightning-Talks ‎ →‎Vorträge

31. Mai 2015

• 22:0822:08, 31. Mai 2015 Unterschied Versionen +96 Bytes‎ GPN15:Tiptoi Workshop ‎Keine Bearbeitungszusammenfassung
• 10:5110:51, 31. Mai 2015 Unterschied Versionen +124 Bytes‎ GPN15:Der Tiptoi-Stift ‎Keine Bearbeitungszusammenfassung

21. Mai 2015

• 09:0309:03, 21. Mai 2015 Unterschied Versionen +252 Bytes‎ GPN15:Tiptoi Workshop ‎Keine Bearbeitungszusammenfassung
• 09:0109:01, 21. Mai 2015 Unterschied Versionen +732 Bytes‎ GPN15:Tiptoi Workshop ‎Keine Bearbeitungszusammenfassung

27. Januar 2015

• 15:2415:24, 27. Jan. 2015 Unterschied Versionen +674 Bytes‎ N Tiptoi-Stift-Gebastel ‎ Die Seite wurde neu angelegt: „Wir (und viele andere) haben das Dateiformat des [http://de.wikipedia.org/wiki/Tiptoi Tiptoi-Stifts von Ravensburger] teilweise entschlüsselt, so dass man die…“
• 15:2015:20, 27. Jan. 2015 Unterschied Versionen +28 Bytes‎ Übersicht über Projekte ‎ →‎Laufende Projekte

23. Juni 2014

• 16:5716:57, 23. Jun. 2014 Unterschied Versionen +277 Bytes‎ GPN15:Anregungen ‎ →‎Was fehlte

9. März 2014

• 17:1117:11, 9. Mär. 2014 Unterschied Versionen +19 Bytes‎ Hauptseite ‎ “next monday - 1 days” statt “next sunday”, damit heute (Sonntag) auch heute angezeigt wird.

1. Juni 2013

• 21:5321:53, 1. Jun. 2013 Unterschied Versionen +131 Bytes‎ GPN13:Rocket Scissor Spacegoo ‎ →‎Server

30. Mai 2013

• 20:4020:40, 30. Mai 2013 Unterschied Versionen +180 Bytes‎ GPN13:Rocket Scissor Spacegoo ‎ shamless plug

28. Juni 2012

• 21:0121:01, 28. Jun. 2012 Unterschied Versionen +99 Bytes‎ GPN12:Bilder ‎Keine Bearbeitungszusammenfassung

13. Juni 2012

• 18:4118:41, 13. Jun. 2012 Unterschied Versionen +53 Bytes‎ GPN13:Anregungen ‎ →‎Was auf der GPN13 geil werden soll

10. Juni 2012

• 12:2512:25, 10. Jun. 2012 Unterschied Versionen +537 Bytes‎ GPN13:Anregungen ‎ →‎Was auf der GPN13 geil werden soll
• 00:2900:29, 10. Jun. 2012 Unterschied Versionen +49 Bytes‎ GPN12:Gamejam:Misplaced ‎ →‎How to play
• 00:2900:29, 10. Jun. 2012 Unterschied Versionen +23 Bytes‎ GPN12:Gamejam:Misplaced ‎ →‎How to compile

9. Juni 2012

• 22:5622:56, 9. Jun. 2012 Unterschied Versionen +432 Bytes‎ GPN13:Anregungen ‎ →‎Was auf der GPN12 nicht so geil war
• 22:5322:53, 9. Jun. 2012 Unterschied Versionen +3 Bytes‎ GPN13:Anregungen ‎ →‎Was auf der GPN12 geil war
• 20:3920:39, 9. Jun. 2012 Unterschied Versionen 0 Bytes‎ Datei:Misplaced.tar.gz ‎ lud eine neue Version von „Datei:Misplaced.tar.gz“ hoch
• 20:3520:35, 9. Jun. 2012 Unterschied Versionen +9 Bytes‎ GPN12:Gamejam:Misplaced ‎Keine Bearbeitungszusammenfassung
• 20:3020:30, 9. Jun. 2012 Unterschied Versionen +25 Bytes‎ N Datei:Misplaced.tar.gz ‎ GPN12:Gamejam Beitrag

8. Juni 2012

• 09:3309:33, 8. Jun. 2012 Unterschied Versionen +172 Bytes‎ GPN12:Agda - Mit starken Typen abhängen ‎Keine Bearbeitungszusammenfassung

7. Juni 2012

• 22:5122:51, 7. Jun. 2012 Unterschied Versionen +481 Bytes‎ GPN12:Agda - Mit starken Typen abhängen ‎ Post-Vortrags-Upload
• 22:4522:45, 7. Jun. 2012 Unterschied Versionen +59 Bytes‎ N Datei:AgdaTalk-Slides.pdf ‎ Sozi-Folien zu GPN12:Agda - Mit starken Typen abhängen
• 22:4522:45, 7. Jun. 2012 Unterschied Versionen +48 Bytes‎ K Datei:AgdaTalk.pdf ‎Keine Bearbeitungszusammenfassung
• 22:4522:45, 7. Jun. 2012 Unterschied Versionen +19 Bytes‎ N Datei:AgdaTalk.pdf ‎ Vortrags-Tansskript

4. Juni 2012

• 08:3408:34, 4. Jun. 2012 Unterschied Versionen +1.496 Bytes‎ N GPN12:Agda - Mit starken Typen abhängen ‎ Die Seite wurde neu angelegt: „{{#css:GPN12:Stylesheet}} Vortrag von nomeata auf der GPN12. <blockquote> Agda: is it a dependently-typed programming language? Is it a proof-assistant b…“

14. September 2011

• 13:5013:50, 14. Sep. 2011 Unterschied Versionen −1 Byte‎ K Talkshow ‎Keine Bearbeitungszusammenfassung
• 13:5013:50, 14. Sep. 2011 Unterschied Versionen −1 Byte‎ K Talkshow ‎Keine Bearbeitungszusammenfassung

1. September 2011

• 16:3916:39, 1. Sep. 2011 Unterschied Versionen −89 Bytes‎ GPN ‎ GPN11 Vorbereitungen... hoffentlich nicht mehr.

18. Juli 2011

• 20:1720:17, 18. Jul. 2011 Unterschied Versionen 0 Bytes‎ Datei:ChurchTalk.pdf ‎ hat eine neue Version von „Datei:ChurchTalk.pdf“ hochgeladen: Typos

26. Juni 2011

• 21:2721:27, 26. Jun. 2011 Unterschied Versionen +322 Bytes‎ GPN12:Anregungen ‎ →‎Was auf der GPN11 nicht so geil war
• 21:1921:19, 26. Jun. 2011 Unterschied Versionen +2 Bytes‎ GPN12:Anregungen ‎ →‎Was auf der GPN11 geil war

24. Juni 2011

• 13:4913:49, 24. Jun. 2011 Unterschied Versionen +169 Bytes‎ GPN11:Warum wir noch Mathematiker brauchen ‎Keine Bearbeitungszusammenfassung