*** Protokolldatei gestartet *** Datum: Do. Jul 11 19:57:42 2013 [Donnerstag, 11. Juli 2013] [19:57:42] Betreten Sie haben den Kanal #forth-ev betreten (-bernd@p5DCD60CD.dip0.t-ipconnect.de). [Donnerstag, 11. Juli 2013] [19:57:49] Modus Kanalmodi: [Donnerstag, 11. Juli 2013] [20:00:43] Betreten carsten hat den Kanal betreten (~user@212.255.236.118). [Donnerstag, 11. Juli 2013] [20:00:49] Hallo Bernd [Donnerstag, 11. Juli 2013] [20:01:24] Hallo Carsten! [Donnerstag, 11. Juli 2013] [20:04:25] es scheint zu schoenes Wetter fuer einen Chat zu sein :) [Donnerstag, 11. Juli 2013] [20:04:56] Anscheinend. [Donnerstag, 11. Juli 2013] [20:10:10] Hattest Du die Kommentare im Geeklog eigendlich abgeschaltet? Unter meinem Posting von gestern ist wieder Kommentar-Spam [Donnerstag, 11. Juli 2013] [20:10:29] Man kann die Kommentare nur per Artikel abschalten. [Donnerstag, 11. Juli 2013] [20:10:31] Betreten mtrute hat den Kanal betreten (~Thunderbi@dslb-094-220-173-011.pools.arcor-ip.net). [Donnerstag, 11. Juli 2013] [20:10:38] Hallo Matthias! [Donnerstag, 11. Juli 2013] [20:10:42] Hallo! [Donnerstag, 11. Juli 2013] [20:10:51] Habe ich gerade gelöscht (den Kommentar-Spam) [Donnerstag, 11. Juli 2013] [20:10:56] Hallo Matthias [Donnerstag, 11. Juli 2013] [20:11:29] Manchmal gibt es schon seltsame Fragen. [Donnerstag, 11. Juli 2013] [20:12:01] Da will einer eine tolle Idee nicht mal patentieren, wegen Geheimnis und so, und erwägt dann GPL Forth als Grundlage [Donnerstag, 11. Juli 2013] [20:12:10] Haha [Donnerstag, 11. Juli 2013] [20:12:30] Naja, wenn er ein GPL Forth als Grundlage nimmt, dann ist patentieren auch keine gute Idee ;-) [Donnerstag, 11. Juli 2013] [20:12:49] Ich will ja nicht ausschließen, dass ich das alles falsch verstanden habe, aber so wie ich es verstanden habe, finde ich es sehr seltsam... [Donnerstag, 11. Juli 2013] [20:14:43] @Carsten: Wenn du Kommentarspam löscht, notier' dir die User-ID. [Donnerstag, 11. Juli 2013] [20:14:48] Den kann man dann sperren. [Donnerstag, 11. Juli 2013] [20:15:10] UserID "OneTwo" [Donnerstag, 11. Juli 2013] [20:15:28] Kann ich auch sperren? [Donnerstag, 11. Juli 2013] [20:16:15] Löschen könnte ich [Donnerstag, 11. Juli 2013] [20:16:28] Sperren geht auch [Donnerstag, 11. Juli 2013] [20:16:33] Ok. [Donnerstag, 11. Juli 2013] [20:17:00] Ich hab' den OneTwo jetzt mal 1-2-3 weggemacht. [Donnerstag, 11. Juli 2013] [20:17:47] Danke [Donnerstag, 11. Juli 2013] [20:18:18] ich denke aber eh das die Spammer nicht mit dem gleichen Account wiederkommen, sondern sich einen neuen Account machen [Donnerstag, 11. Juli 2013] [20:19:04] Können wir und die neuen Kommentare per E-Mail zusenden lasssen? Dann kann man schneller reagieren, speziell auf Kommentare bei alten Postings [Donnerstag, 11. Juli 2013] [20:21:17] Das Geeklog ist in der Hinsicht nicht sonderlich gut konfigurierbar. [Donnerstag, 11. Juli 2013] [20:22:00] Auch nicht als RSS Feed? [Donnerstag, 11. Juli 2013] [20:22:30] Feeds gibt's nur für Nachrichten, auch nicht konfigurierbar. [Donnerstag, 11. Juli 2013] [20:23:20] Der Angreifer hat nur einen fehlgeschlagenen Captcha-Versuch gebraucht, dann war er drin. [Donnerstag, 11. Juli 2013] [20:23:42] Bild-Captchas dieser Art können als geknackt angesehen werden. [Donnerstag, 11. Juli 2013] [20:24:29] Das Wiki ist seit der Umstellung auf das JavaScript-Captcha sauber geblieben. [Donnerstag, 11. Juli 2013] [20:24:59] Es ist wohl doch um einiges aufwendiger, einen korrekten JS-Interpreter in den Bot zu integrieren als das mit den Captchas ;-) [Donnerstag, 11. Juli 2013] [20:25:16] Dabei könnte man eigentlich direkt einen Browser highjacken, und von dem aus die Spam-Angriffe durchführen. [Donnerstag, 11. Juli 2013] [20:25:54] Dazu muss man nicht mal die Sandbox verlassen. [Donnerstag, 11. Juli 2013] [20:29:56] Ich muss mal bei Friedl nachbohren, ob der noch Verbesserungen am Triceps gemacht hat. [Donnerstag, 11. Juli 2013] [20:30:28] Ja, frag mal nach [Donnerstag, 11. Juli 2013] [20:30:49] Am dringensten sehe ich das Lackieren von Kugeln mit Auto-Lack, der nicht klebt ;-) [Donnerstag, 11. Juli 2013] [20:31:06] Und dann kommt erst der Servo, der nicht ruckelt. [Donnerstag, 11. Juli 2013] [20:32:35] Und ganz am Schluss die leichteren Stäbe. [Donnerstag, 11. Juli 2013] [20:32:41] Appropos Servo: Wie fein sollten die Pulsbreiten bei der Ansteuerung eigentlich so sein? Ich meine verstanden zu haben, das die Dinger alles zwischen 0 und 2 ms als Lageinformation ansehen, aber mit welcher Genauigkeit? [Donnerstag, 11. Juli 2013] [20:33:00] Reichen da 0,1ms? [Donnerstag, 11. Juli 2013] [20:33:10] 0,1ms wären 20 Schritte. [Donnerstag, 11. Juli 2013] [20:33:12] Das reicht nicht. [Donnerstag, 11. Juli 2013] [20:33:48] Die, die ich hier habe, haben eine Hysterese von ein paar mm (bei 20cm Armlänge). [Donnerstag, 11. Juli 2013] [20:33:50] ich muss mal grad weg zum Abendessen ... bis später [Donnerstag, 11. Juli 2013] [20:33:56] Bis gleich! [Donnerstag, 11. Juli 2013] [20:33:59] mahlzeit [Donnerstag, 11. Juli 2013] [20:34:40] also eher 100 Schritte. [Donnerstag, 11. Juli 2013] [20:34:44] Ich mach' mit meinem b16 die PWM auf 20ns genau... [Donnerstag, 11. Juli 2013] [20:34:56] Das schaffen die natürlich überhaupt nicht. [Donnerstag, 11. Juli 2013] [20:34:59] oops. [Donnerstag, 11. Juli 2013] [20:35:13] Also, denen ist es völlig wurst, wie sanft ich die PWM verändere. [Donnerstag, 11. Juli 2013] [20:35:29] Da gibt's eine starre Hysterese, und erst, wenn die überschritten ist, bewegt sich das Ding. [Donnerstag, 11. Juli 2013] [20:36:06] Ok, hat mir schon mal geholfen. Danke [Donnerstag, 11. Juli 2013] [20:36:13] Mein Programm rechnet im Moment intern mit mm, wenn ich einen genaueren Servo bekomme, könnte ich auch mit 0.1mm rechnen. [Donnerstag, 11. Juli 2013] [20:36:45] Ich hab nur mal neulich einen kleinen Servo zum spielen beim Conrad gekauft und wollte mal sehen, was man damit so alles anstellen kann. [Donnerstag, 11. Juli 2013] [20:38:02] Hat der AVR eine PWM-Engine, oder machst du das mit Timer? [Donnerstag, 11. Juli 2013] [20:38:23] Der hat PWM Modules, aber ich habe erst mal in Software gestartet [Donnerstag, 11. Juli 2013] [20:39:16] Da ich ein Primitiv für 1ms habe, habe ich damit natürlich erst mal angefangen. Naja, mäßiger Effekt [Donnerstag, 11. Juli 2013] [20:39:22] Auf dem b16 gibt es einen Timer, der Rest ist Software. [Donnerstag, 11. Juli 2013] [20:39:35] Der Timer zählt natürlich Takte (50MHz) [Donnerstag, 11. Juli 2013] [20:40:00] Die Chips haben alle möglichen PWM Modi, damit habe ich mich aber noch nicht allzu sehr auseinandergesetzt. [Donnerstag, 11. Juli 2013] [20:40:57] Die machen das sogar autonom, da muss man in Software nur ein bissel einstellen. [Donnerstag, 11. Juli 2013] [20:41:09] Ja, Ewald Rieger hat das auch für den b16 vorgeschlagen. [Donnerstag, 11. Juli 2013] [20:41:16] Es ging dann aber auch in Software perfekt. [Donnerstag, 11. Juli 2013] [20:41:20] Weshalb ich mir das Verilog gespart habe. [Donnerstag, 11. Juli 2013] [20:42:34] Nunja, amforth hats nicht so mit den hohen Frequenzen ;) [Donnerstag, 11. Juli 2013] [20:43:20] Ist eher gemütlich und sehr traditionell. [Donnerstag, 11. Juli 2013] [20:43:26] Ja. [Donnerstag, 11. Juli 2013] [20:44:08] Wobei ich aber durchaus überlege, die Konstantenfaltung von MatthiasK zu übernehmen [Donnerstag, 11. Juli 2013] [20:44:27] Ich weiss nur noch nicht, ob ich das im Controller selbst oder in der PC basierten Shell mache [Donnerstag, 11. Juli 2013] [20:45:08] Sozusagen ein klein wenig teathern [Donnerstag, 11. Juli 2013] [20:45:45] Constant Folding bringt erheblich mehr, wenn man auch Inlining macht. [Donnerstag, 11. Juli 2013] [20:47:37] Also de-faktorisieren und dann sehen, was alles zusammenkommt? [Donnerstag, 11. Juli 2013] [20:48:26] Ja, so ungefähr. [Donnerstag, 11. Juli 2013] [20:48:56] Z.B.: Du hast ein Wort, das drei Werte aus einer Struktur manipuliert. [Donnerstag, 11. Juli 2013] [20:49:18] z.B. so : x ( addr -- ) >r r@ .a @ r@ .b @ + r> .c ! ; [Donnerstag, 11. Juli 2013] [20:49:31] Da kann man jetzt mit Constant folding eher wenig machen. [Donnerstag, 11. Juli 2013] [20:49:50] So, jetzt rufst du aber anderswo "foo x" auf (foo ist eine Adresse). [Donnerstag, 11. Juli 2013] [20:50:06] Dann ist es foo.a @ foo.b @ + foo.c !. [Donnerstag, 11. Juli 2013] [20:52:31] Ok, das seh ich ein. Aber ich habe keine Ahnung, wie man sowas in einen Interpreter einbaut. Der muss das R-Geraffel so ziemlich in Nichts auflösen können. [Donnerstag, 11. Juli 2013] [20:53:29] Die grundsätzliche Vorgehensweise ist, das "symbolisch" auszuführen. [Donnerstag, 11. Juli 2013] [20:54:02] Damit ist der kleine Interpreter im Controller quasi außen vor... [Donnerstag, 11. Juli 2013] [20:54:03] Wenn der Wert bekannt ist, dann können wir beim symbolisch ausführen reduzieren. [Donnerstag, 11. Juli 2013] [20:54:11] Wenn er unbekannt ist, natürlich nicht. [Donnerstag, 11. Juli 2013] [20:54:28] ... zurück [Donnerstag, 11. Juli 2013] [20:54:47] Fast Food? [Donnerstag, 11. Juli 2013] [20:55:27] Nein, Pilz-Curry [Donnerstag, 11. Juli 2013] [20:56:23] Ich würde bezweifeln, dass man einen analytischen Compiler im kleinen Controller unterbringt. [Donnerstag, 11. Juli 2013] [20:57:03] Aber einen Compiler, der aus schön faktorisiertem Code einen unleserlichen aber optimierten Forth code machen kann. [Donnerstag, 11. Juli 2013] [20:57:13] Der dann natürlich im PC läuft [Donnerstag, 11. Juli 2013] [20:57:16] Genau. [Donnerstag, 11. Juli 2013] [20:57:21] Das geht bestimmt. [Donnerstag, 11. Juli 2013] [20:58:46] Dann muss der ja nur noch geschrieben werden ;) ;) [Donnerstag, 11. Juli 2013] [21:07:14] Mit so symbolischer Ausführung kann man auch Test-Vektoren generieren. [Donnerstag, 11. Juli 2013] [21:07:53] Das ist grundsätzlich ein recht mächtiges Werkzeug. [Donnerstag, 11. Juli 2013] [21:13:46] Für die Haskell-Fraktion kann man mit sowas auch Beweise durchführen. [Donnerstag, 11. Juli 2013] [21:14:59] Da kann ich nicht mal mit Halbwissen glänzen.... [Donnerstag, 11. Juli 2013] [21:15:38] Sagen wir mal so: Wenn du hinschreibst 4 0 DO LOOP, [Donnerstag, 11. Juli 2013] [21:15:54] dann ist I in mit dem Interval [0, 3] belegt. [Donnerstag, 11. Juli 2013] [21:16:49] Damit kannst du z.B. zeigen, dass ein Zugriff auf ein Array mit addr i + c@ innerhalb der Array-Grenzen bleibt. [Donnerstag, 11. Juli 2013] [21:17:14] Denn addr [0, 3] + gibt [addr, addr+3] [Donnerstag, 11. Juli 2013] [21:17:56] soweit, so einfach [Donnerstag, 11. Juli 2013] [21:19:25] Dann brauchst du nur noch eine Constraint, für welchen Range c@ in Bezug auf addr erlaubt ist. [Donnerstag, 11. Juli 2013] [21:19:39] Und wenn der [addr, addr+3] umfasst, dann ist alles ok. [Donnerstag, 11. Juli 2013] [21:20:12] 4 buffer: addr kann für den symbolischen Teil genau so etwas anlegen. [Donnerstag, 11. Juli 2013] [21:20:27] Was ist dann mit Zugriffen auf Adressen, die Seiteneffekte haben? [Donnerstag, 11. Juli 2013] [21:21:11] Wenn also nicht einfach nur eine RAM Zelle gelesen wird, sondern aus anderen Bereichen, die nur in den RAM Adressbereich gemappt sind? [Donnerstag, 11. Juli 2013] [21:21:43] Kann man über "parallele Prozesse" modellieren. [Donnerstag, 11. Juli 2013] [21:21:49] Also, du hast z.B. einen Timer. [Donnerstag, 11. Juli 2013] [21:21:58] Dann hast du einen parallelen Prozess, der diesen Timer hochzählt. [Donnerstag, 11. Juli 2013] [21:22:45] Und das ist in Haskell noch beweisbarer Stoff? [Donnerstag, 11. Juli 2013] [21:23:24] Ja. [Donnerstag, 11. Juli 2013] [21:23:31] cool [Donnerstag, 11. Juli 2013] [21:24:44] Für Informatiker der eher theoretischen Natur ist Haskell das Paradies. [Donnerstag, 11. Juli 2013] [21:25:01] Bei der Praxis sieht's dann eher nicht so gut aus. [Donnerstag, 11. Juli 2013] [21:29:01] Aber angucken sollte man sich das auf jeden Fall, ist sehr interessant. [Donnerstag, 11. Juli 2013] [21:30:06] Ich bin zwar kein Informatiker, aber notiert hab ich mir das erst mal [Donnerstag, 11. Juli 2013] [21:31:55] Oh jeh, ich lese gerade die Diskussion ueber "JonesForth challenge" in c.l.f [Donnerstag, 11. Juli 2013] [21:32:14] genau der Grund warum ich die Idee erst einmal aus c.l.f raushalten wollte [Donnerstag, 11. Juli 2013] [21:32:22] Haha [Donnerstag, 11. Juli 2013] [21:32:38] Die Trolle lassen sich aber nicht zensieren ;-) [Donnerstag, 11. Juli 2013] [21:32:50] habe am WE beim LinuxHotel vorbeigeschaut und Termine fuer einen Hackathon fuer Oktober/November abgeholt [Donnerstag, 11. Juli 2013] [21:33:48] mal sehen was Albert schon gemacht hat, ist ja vielleicht brauchbar. Danke Bernd, das Du geholfen hast das meine ursprüngliche Idee nicht ganz untergegangen ist [Donnerstag, 11. Juli 2013] [21:34:14] ich werde die Termine auf der Mitglieder-Mailingliste vorstellen, zusammen mit der Idee [Donnerstag, 11. Juli 2013] [21:35:37] Die Frage nach dem "JonesForth mit Meta-Compilation" wäre ja: Wie würden Anfänger reagieren, wenn man z.B. Gforth EC mit den Kommentaren von JonesForth ausstattet? [Donnerstag, 11. Juli 2013] [21:36:28] Da wäre dann zwar die Magie der Cross-Compilation weiterhin Magie, aber das wäre dann der Vergleich mit dem Assembler-Listing. [Donnerstag, 11. Juli 2013] [21:36:54] ich fände es gut wenn es den Quellcode des Basis-Systems als Assembler-Listing und als Meta-Compile-Source vorliegt, dann kann man das vergleichen [Donnerstag, 11. Juli 2013] [21:36:57] genau! [Donnerstag, 11. Juli 2013] [21:37:31] Jens hat mal eine Erweiterung zu cross geschrieben, die ein Assembler-Listing produzieren kann. [Donnerstag, 11. Juli 2013] [21:38:41] Ich habe seinerzeit lange gesucht, bis ich forth code für die Standardworte zusammen hatte. [Donnerstag, 11. Juli 2013] [21:38:55] Oh. [Donnerstag, 11. Juli 2013] [21:39:31] Da ist in Gforth eigentlich alles drin. [Donnerstag, 11. Juli 2013] [21:39:39] gforth war um längen zu kompliziert für mich. [Donnerstag, 11. Juli 2013] [21:39:39] Das Problem dürfte sein: Zu gut versteckt ;-) [Donnerstag, 11. Juli 2013] [21:40:00] Und zu sehr verschachtelt und mit zu vielen Optionen versehen. [Donnerstag, 11. Juli 2013] [21:40:20] Weshalb ich inzwischen Gforth und Gforth EC von den Sourcen her getrennt habe. [Donnerstag, 11. Juli 2013] [21:40:37] Weil es zu viele Dinge gibt, die anders sind. [Donnerstag, 11. Juli 2013] [21:40:39] amforth ist bald 7 Jahre alt [Donnerstag, 11. Juli 2013] [21:44:26] ich klinke mich dann mal aus. Bis neulich [Donnerstag, 11. Juli 2013] [21:44:30] Ciao! [Donnerstag, 11. Juli 2013] [21:44:35] Beenden mtrute hat den Server verlassen (""). [Donnerstag, 11. Juli 2013] [21:44:41] Ciao [Donnerstag, 11. Juli 2013] [21:45:30] Ich druck' dann mal die Teilnamebestätigung aus... [Donnerstag, 11. Juli 2013] [21:46:09] in der E-Mail stand das die auch per E-Mail gesendet werden kann (als Scan mit Unterschrift) [Donnerstag, 11. Juli 2013] [21:46:52] Ok, dann photoshoppe ich meine Unterschrift in das Dokument ;-) [Donnerstag, 11. Juli 2013] [21:47:14] Wie kommt man eigentlich auf solche Ideen? [Donnerstag, 11. Juli 2013] [21:47:33] welche Ideen? Gimpen? [Donnerstag, 11. Juli 2013] [21:47:50] Nein, zu glauben, dass eine Unterschrift als Scan irgendwie beweiskräftig sei. [Donnerstag, 11. Juli 2013] [21:48:10] keine Ahnung, aber ein Fax ist ja ähnlich [Donnerstag, 11. Juli 2013] [21:48:25] und Faxe wurden in der Vergangenheit von Gerichten anerkannt [Donnerstag, 11. Juli 2013] [21:48:31] daher kommt das warscheinlich [Donnerstag, 11. Juli 2013] [21:48:47] Ja, da hat irgendein Richter erklärt, das käme daher, dass das Fax automatisch ausgedruckt wird... m( [Donnerstag, 11. Juli 2013] [21:48:57] Der muss mal gucken, was mit Faxen bei mir passiert. [Donnerstag, 11. Juli 2013] [21:49:04] Da wird überhaupt nichts ausgedruckt. [Donnerstag, 11. Juli 2013] [21:49:22] Der Richter glaubt wahrscheinlich auch, dass einscannen der einzige Weg in die Faxmaschine ist. [Donnerstag, 11. Juli 2013] [21:50:24] :) [Donnerstag, 11. Juli 2013] [21:50:30] #neuland [Donnerstag, 11. Juli 2013] [21:51:00] ich bin immer noch nicht mit dem Thread in c.l.f fertig [Donnerstag, 11. Juli 2013] [21:51:59] In IRC ist #neuland ein Kanal ;-) [Donnerstag, 11. Juli 2013] [21:52:15] Wahrscheinlich nach über 20 Jahren IRC ein völlig unbenutzer ;-) [Donnerstag, 11. Juli 2013] [22:03:02] Beenden carsten hat den Server verlassen (EOF From client).