Elektronik, diesmal gusseisern

Ich dachte nur wegen der Inet-Sockets, die es auch heimelig tun.

Wie ich sehe, bist du völlig automatisiert.

- Henry

Thomas 'Tom' Malkus schrieb:

Doch, bei Windst=E4rke 10 schon ;)

Guido

Henry Kiefer schrieb:

Angesichts des angeschlagenen Tons kann ich das gar nicht recht glauben.

Worauf willst du hinaus? Wieso verschlüsselte Sprache, wenn man auch Klartext verwenden könnte?

Keine Ahnung, was du damit sagen willst.

Servus Christoph Müller

Nein, das kann er vergessen. Es ist nicht moeglich fuer nichttriviale Programme (also alles jenseits der Klasse von 'hello world') den Korrektheisbeweis zu erbringen.

Gerrit

Und warum sollte das nicht möglich sein? Wird nur ein wenig aufwendiger und die Frage ist dann auch, ob die formale Spezifikation, anhand derer der Korrektheitsbeweis geführt wird, auch korrekt ist.

Nein, der nicht. Es war in Troas. Ein Kirchenbesucher namens Eutychus sass bei der Predigt auf der Fensterbank, schlief ein und fiel dann aus dem zweiten Stock runter.

So aehnlich?

Leider kommen Managementfehler bei fast allen grossen Projekten vor (muessten es aber nicht). War es nicht so, dass sie auch beim A380 anfangs die Draehte ueberhaupt nicht mehr auseinandergetueddelt bekamen?

Klar, aber das war damals auch die absolute Oberklasse. Nicht jeder hatte sowas. Rechner fuer Otto Normalverbraucher lagen zu der Zeit bei

Ich benutze auf der Arbeit eine Workstation von 2001 die maximal

Gerrit

Wie amn sieht, gabs auch damals schon Prediger die ihre H=F6rer vertrieben. Notfalls halt zum Fenster raus ;-)

--=20 mfg hdw

deine gedankengänge sind seltsam. die inet-sockets tun nix "heimlich", sie haben nur ein anderes interface als das ursprüngliche "alles ist ein file".

natürlich, wie könnt ich überleben, wenn das aufstellen des ersten kaffees am morgen nicht automatisiert wäre? :-)

cm.

Christoph Müller schrieb:

Du kennst mich nicht persönlich.

Das Leben ist hart und ungerecht. Manche merken es nicht. Ob sie was verpassen, weil es Leben ist, oder zu beglückwünschen sind, ich weiß es nicht.

Deine Links sind alle Elfenbeintürme. Die Wirklichkeit besteht aus Geld, Neid und Gier.

- Henry

Das ist dann egal. Das Haus wird verkauft und ich gehe in die Südsee tauchen.

- Henry

Wenn das nicht akademisch ist.

- Henry

Henry Kiefer schrieb:

Da hast Du hast eine andere Wirklichkeit als ich.

Falk

Kann man nicht einfach jedes Wort in pi finden? Die Bibel ist auch ziemlich lang.

- Henry

christian mock schrieb:

Wobei man aber trotzdem read()s und write()s drauf machen kann, es müssen nicht unbedingt send() und recv() sein.

Gruß Henning

Horst-D.Winzler schrieb:

Was aber noch viel wichtiger ist: Offensichtlich gab es damals keine Fensterscheiben, da sie also in der Bibel nicht vorkommen, müssen sie ein Werk des Teufels sein. Ganz einfach.

Gruß Henning

Aha.

- Henry