Archiv für Juni, 2007

Einige auserwählte Amerikanische Journalisten (stinknormale Technik-Analysten) haben das iPhone bereits zum testen bekommen. Die wohl bekanntesten, Walt Mossberg und David Pogue haben vor wenigen Stunden ihre Reviews dazu online gestellt:

Walt Mossberg: Testing Out the iPhone (WSJ)
David Pogue: The iPhone Matches Most of Its Hype (NYT)

Bei beiden sind vorallem die zusammenfassenden Videos sehenswert. Das von David Pogue ist besonders lustig.
Demnach ist die Sofwtare wirklich so schön schnell wie bei den Jobs’schen Demos.

Kritisiert werden von beiden nur die schon bekannten Mängel bzw. noch nicht vorhandenen Features.

Gelobt wird von Mossberg die virtuelle Tastatur und von beiden das intuitive Bedienkonzept.

Update:
Nochmal zwei Reviews:

Steven Levy: At Last, the iPhone. (Newsweek)
Edward Baig: Apple’s iPhone isn’t perfect, but it’s worthy of the hype (USA Today)

Am 11. Juni hat Apple eine beta Version von Safari 3 veröffentlicht. Seit dem ist Safari sowohl für Mac als auch für Windows verfügbar. Unter OS X hat die Safari 3 beta von vornherein meist sehr gut funktioniert.

Safari ist jetzt deutlich schneller als noch in Version 2, die Tab-Funktion wurde verbessert und es gibt endlich eine Inline-Suche. Dazu kommt dass der Safari nun auch deutlich stabiler ist als bisher. Das einzige Feature das ich noch vermisse ist die automatische Bilderskalierung wenn man per Browser Bilder anschaut. Firefox kann das schon lange. In Safari wird das jeweilige Bild halt immer in der vollen Größe angezeigt, obwohl es garnicht auf den Screen passt. Unter OS X hat Safari 3 also einen recht guten Start hingelegt. Anfangs haben einige Widgets ncihtmehr funktioniert, weil der öffentliche Zugriff auf das Webkit gesperrt war. Aber das hat Apple in Version 3.0.2 behoben. Somit tut jetzt alles wie gehabt, nur besser.

Unter Windows hat Safari leider erstmal keinen guten Eindruck hinterlassen. Safari 3.0.0 war zwar schnell, aber verdammt instabil. Apple hat das inzwischen auch weitestgehend behoben, aber der erste Eindruck zählt halt. Safari hat es sowieso verdammt schwer sich gegen die etablierten Windows-browser wie den Firefox und den IE durchzusetzen bzw. überhaupt Marktanteile abzuringen. Apple hat die Portierung für Windows zwar damit begründet mehr Verbreitung erreichen zu wollen, aber ich denke sie haben Safari nur deshalb für Windows rausgebracht, damit auch Windows-Developer fürs iPhone entwickeln können.

Mal sehen wieviele Freunde der Safari unter Windows finden wird. Unter OS X wird er mit der Version 3, spätestens mit Leopard, auf jeden Fall wieder mehr Anhänger haben!

Eigentlich bin ich momentan drauf und dran Photoshop CS3 zu kaufen, oder auch die ganze Creative Suite. Aber da die Lizenzpolitik von Adobe so wundervoll unüberschaubar ist, habe ich das noch nicht umgesetzt. Derweil bin ich dann auf Pixelmator gestoßen.

Pixelmator wird ein neues Grafikbearbeitungsprogramm für den Mac sein. Es basiert auf OpenSource Techniken, wird wunderschön aussehen unc wird sich richtig schön maclike bedienen lassen. Es kann alle gängigen Bildformate öffnen und bearbeiten. Auch alle Werkzeuge und Hilfsmittel wie man sie aus Photoshop kennt, also Ebenen und diverse Filter, sind vorhanden. Kurz gesagt, die Entwickler wollen eine echte Photoshop-Alternative für den Mac schaffen. Dazu kommt, dass das Programm in der Vollversion nur 59$ kosten soll. Photoshop kostet in der normalen Vollversion mehr als 15 mal so viel.

Anfang Juli, also sehr bald, soll es eine public Beta geben. Schon Ende Juli soll dann die Vollversion zu haben sein.

Wenn Pixelmator wirklich hält was er verspricht, dann werde ich das kaufen und es wird geil werden!

Da ich mich gerade in der Vorbereitung auf eine Präsenzübung zum Thema SECD befinde und selbst im Internet leider sehr wenig dazu gefunden habe gibt es hier mal einige Regeln.

λISWIM -> SECD
Konstante
b -> b
Variable
X -> X
Funktion
λx.y -> <x, y>
Applikation
(x y) -> x y ap
Primitivum
(+ x y) -> x y prim+

SECD -> λISWIM
Konstante
b -> b
Variable
X -> X
Funktion
<x, y> -> λx.y
Applikation
x y ap -> (x y)
Primitivum
x y prim+ -> (+ x y)

SECD auswerten

Startzustand
S, E, C, D
Stack, Evironment, Code, Dump

Konstantenregel:
<S, E, bC, D> -> <bS, E, C, D>

Variablenregel:
<S, E, XC, D> -> <XS, E, C, D>

Abstraktionsregel:
<S, E, <x, y>C, D> -> <<<x, y>,E’>S, E, C, D>

Applikationsregel:
b, x sind im Stack
<b<xS>, E, ap C, D>
-> Stack wird geleert
-> Environment wird neu gesetzt
-> alte SECD-Maschine wird mit leerem Stack und Evironment in den Dump geschrieben
<S, (X -> b), Rest vom alten Stack, <ε, (), ap C, D>>

Primitivumregel:
<bo … b1S, E, prim+, D> -> <(prim+ b0 … b1)S, E, C, D>
anstatt der runden Klammer schreibt man gleich das Ergebnis hin, also b0 + … + b1

Beispiel:
<ε, (), <x, x x prim+>23 ap, ε>
-> Abstraktionsregel
<<x, x x prim+>, ()>, (), 23 ap, ε>
-> Konstantenregel
<23<x, x x prim+>, ()>, (), ap, ε>
->Applikationsregel
<ε, (x->23), x x prim+, <ε, (), ε, ε>>
-> Variablenregel
<23, (x->23), x prim+, <ε, (), ε, ε>>
-> Variablenregel
<23 23, (x->23). prim+, <ε, (), ε, ε>>
-> Primitivumregel
<46, (x->23), ε, <ε, (), ε, ε>>
-> wenn der Code leer ist ersetzt, sofern vorhanden, die letzte SECD-Maschine die im Dump gespeichert ist die aktuelle SECD-Maschine. mit Ausnahme des Stacks
<46, (), ε, ε>