Es heißt ja, die Zeit heilt alle Wunden. Bei vielen Sachen würde ich dem zustimmen aber manche Sachen „heilen“ nie, sie werden nur überdeckt und bei einem kleinen Anlaß kommen Sie wieder hoch. Ich denke man kann es als „unbeabsichtigtes behalten“ beschreiben, was einem da manchmal in die Quere kommt.

Tenor, unsere tollen Politiker haben das „System“ gerettet. Nun ja nachdem Sie es mit zugrunde richteten. Nur zu was für einen Preis. Ich hätte lieber die Politiker untergehen sehen nund brüsten Sie sich mit fremden Federn lies meinem Geld. Allerdings bedarf es schon einer besonderen Chuzpe zu behaupten zur Rettung der HRE hätte es keine Alternative gegeben. Das ist definitv gelogen. Und irgendwann wird sich dieser auf Kredit aufgebaute Staat nicht mehr mit noch mehr Kredit retten können.

Diese unsägliche Ab(fuck)wrack prämie läuft aus. Nun schauen wir mal auf die Auswirkungen
1) Offentsichtlich konnten mehr kleine Autos verkauftt werden
2) Offensichtlich wurde der Gebrauchtwagenmarkt kaputt gemacht
3) Offentsichtlich wurde kleinen Autoreparaturbetrieben massiv Geschäft entzogen
4) Offentsichtlich wurden viele Autoverkäufe „vorgezogen“

Also wir haben Autohersteller und deren Leute subventioniert und nun läuft diese Well aus. Was das bedeutet ist klar. Nächtes Jahr wird es bei den Autoherstellern noch finsterer….

Der Gebrauchtmarkt für alte aber immer noch solchen mit besseren Abgaswerten wurden den Entwicklungsmärkten entzogen. Also müssen die alten Dreckschleudern noch länger fahren. Da bei uns der Markt doch eher gesättigt ist dürfte es also im Großen und Ganzen in den Entwicklungsländern weitaus mehr Autoverkäufe geben als bei uns. Nur das wurde den Leuten ja gestohlen. Reparaturen wurden nicht mehr vorgenommen und wertvolle Rohstoffe sinnlos vernichtet. Ein „toller“ Erfolg. Mal sehen wie es die Politiker nächstes Jahr oder nach der Wahl drehen werden.

Weitaus schlimmer: Offenbar wurden viele Autos auf Pump gekauft, d.h für diese Wagen wurden Schulden gemacht. Offensichtlich ist es unseren Politikern nicht aufgefallen, daß zuviele Schulden durch noch mehr Schulden kuriert werden sollen. Ergo wir werden wohl im nächsten Jahr weitaus mehr Privatinsolvenzen „erleben“

Wirklich eine gelungenes Beispiel, wie bescheiden der Staat in der Wirtschaft darsteht. Das bescheiden dürfen sie ruhig verschärfen….

There is an announcement of a first formal proof of a kernel written in C

However just see those figures:
„The outcome is the result of four years’ research by Dr Klein’s team of 12 NICTA researchers, NICTA/UNSW PhD students and UNSW contributed staff. They have successfully verified 7,500 lines of C code and proved over 10,000 intermediate theorems in over 200,000 lines of formal proof. The proof is machine-checked using the interactive theorem-proving program Isabelle. It is one of the largest machine-checked proofs ever done.“

Four years for „just 7500 lines of C and just see what they’ve done for the proofs, (who the hell will verify 200 000 lines of formals proofs) however if that is what it takes then we have a ratio of
roughly 1/200. That means for a code base of around 1 000 000 lines we would have to accept 200 000 000 lines of proof, not reagarding the exponential grows of proababilty. But let us just assume a linear scale than this would take around 133,33 years to build the proof. Now that’s really quite a time if we just let IT to be around 60 years or so old…..

Just another point:
The proof is machine-checked using the interactive theorem-proving program Isabelle.

So who guarantees that Isabelle does get it right?

And one other figure let us assume that one does can write around 30 Lines of code an hour, than one needs around 7500 / 30 250 hours to write 7500 lines. That just a bit below 6 weeks. Let us assume 200 EUR for payments then this would be around 200 * 250 = 50 000. Now the proof has taken 4 years let us assume one person could have done it in that time so we have around 250 * 8 = 2000 hours a year so for four years that arou around 8000 hours now let’s do one other calculation, the „proof“ has costed 8000 * 200 = 1 600 000 EUR.

Just imagine, you spend that much money on the assumption you get it all right, and then just see what they wrote:
„The proof also shows that many kinds of common attacks will not work on the seL4 kernel. For instance, the microkernel is impervious to buffer overflows, a common form of software attack where hackers take control of programs by injecting malicious code. “Our seL4 kernel cannot be subverted by this kind of attack,” says Dr Klein.“

How cost effective would it have been to use a language which does not even permit this buffer overflows and just see how expensive those buffer overflows really are….

This is an amazing number.

However the conclusions are very doubtful:
“The NICTA team has achieved a landmark result which will change the game for security-
and safety-critical software,” said OK Labs’ Chief Technology Officer and Leader of NICTA’s
ERTOS Group, Professor Gernot Heiser. “It provides conclusive evidence that bug-free
software is possible, and in the future nothing less should be considered acceptable where
critical assets are at stake. OK Labs looks forward to taking this groundbreaking research to
market.”

This has simply a touch of lying. The conculsion is simply wrong, what will happen if the program still has some bug? What will they tell us then, „well sorry but we have a fault in lined 179333 of our „formal proof“.“

Another point about the „kernel“
„The evolution of seL4 is continuing within NICTA, and it is the basis of ongoing research activities here at NICTA. However, it is also the subject of commercialisation activities, and thus is currently proprietary. We are endeavouring to release seL4 in the future, but the time-line and exact nature of the release is yet to be decided. Stay tuned for further info.“
see here:http://ertos.nicta.com.au/research/sel4/

So the kernel is not available at all and sorry, it has not run under „real“ scenarios. And it was written by the same group. Sorry, that has a bit more than just a small smell.

Let’s see if the stuff ever will hit the market and how it will „survive“ in the wild. Maybe we just read about it in a few other articles but never see it in reality….

Was für eine Logik kann dahinter stecken. Da verschwenden die Politiker Milliarden, in dem die „den armen Banken“ das Geld nur so hinterherwerfen, und keiner schreibt was. Selbst die Journalisten beschreien die Politker als „Heiler“. Und dann so eine Well wegen eines Mercedes der mal eben 2000 km fahren muß? Da wird auf einmal der Untergang des Abendlandes beschrieen?

Wie schmerzfrei muß man denn da sein?

Nu‘ is’ses raus. Banken in Schwierigkeiten sollten nicht mehr Pleite gehen sondern „politisch“ verwaltet werden. Das ist die neuests „tolle“ Idee von unserem Wirtschaftsminister. Oh ja, wie gut das funktioniert kann man an den Landesbanken sehen. Und wie immer fällt unter den Tisch wer die meisten Miesen gemacht hat. Hallo Politiker, Ihr seid es…

Satire? Mit Sicherheit
Real? leider allzu

um endlich abgwählt zu werden. Hier in Bruchsal haben 2 CDU Kandidaten im Prinzip die Mehrheit. Glücklicherweise waren sich die beiden CDUler nicht „wohl gesonnen“. Somit ist zumindest der nächste politische GAU. Immer noch einen CDUler als Bürgermeister zu haben nicht eingetreten. Ob die Kandidating aus Ettlingen besser werden wird?

Ihr Beruf lässt einem nicht unbedingt Hoffnung darauf. Man muß sich mal vostellen. Fast alle der Kandidaten waren Juristen…. Soviel dazu was offentsichtlich wichtig ist, besser man ist Bürokrat. Und das lässt für Unternehmen nichts Gutes erahnen… Es lässt auch für alle anderen nichts gutes Erahnen, denn Juristen bedeutet automatisch mehr Gesetze, kompliziertere Gesetze und die Kosten wieder mal ein Haufen Geld…..

Wieder ein typisches „Opfer“, Wiedind ist draußen. Vom „tollen“ Automanager zum „Arbeitslosen“. Warum? Nur weil er meinte, David muß Goliath übernehmen. Und definitv ein ganz klarer Fingerzeig wer in Deutschland den Politikern im Wege steht, muß büssen.

Warum ?

Fragen Sie unseren Unrechtsminister Schilly und unsere Zenursula. Und dann überlegen Sie es sich vielleicht doch endlich einmal den „volksparteien“ Ihre Stimme nicht zu geben. CDU und SPD sind wirklich die Totengräber für Deutschland….

Was ich niemals verstehen werde, warum meinen Manager immer sie müssten nur grösser werden. Was trieb Herrn Wedekind eine sehr gut laufende Firma kaputt zu machen? Warum meinter er, er müsste es „allen“ mal zeigen. Es zeigt m.E. das es einen hervorragenden Indikator für einen zu erwartenden Untergang gibt. Man muß nur die Auszeichnungen des manager Magazins lesen und innerhalb von 5-10 Jahren sind die „Sterne“ verglüht.

Anders gefragt. Wenn es nicht klar war, man kann das ganze finanziell schultern warum wurde dann trotzdem diese blödsinnige Übernahem angegangen. Wenn Porsche jetzt in VW „eingebaut“ wird, ist doch klar das dann VW in Kürze beim Finanzminister ansteht und Geld will. Weill „es sind ja soviele Arbeitpätze in Gefahr“. Und wir dürfen wieder für diese bescheuerten Manager „zahlen“….

Es kotzt mich wirklich an….

Heute mal wieder aus Ihrer Zitatenkiste:

Heute in den BNN
Neuverschuldung (geplant). ca 48 Mrd

ich schriebe darüber ja schon im Januar. Nur jetzt wird es richtig heftig. Kurz vorher gabe es eine Steuerschätzung mit 50 Mrd weniger. Jetzt dürfen Sie genau einmal raten wie diese Ausfälle abgefangen werden sollen..

Höre ich das noch mehr Schulden ?

BINGO.

Also da unsere unfähigen Politiker in guten Zeiten nicht sparten und selbst da Schulden machten dürften die 50 Mrd noch irgendwo als Neuschulden auftauchen. Ich komme da mit meiner 100 Mrd Schätzung vom Anfang des Jahres verdammt dicht an die Wahrheit.

Und keiner der Politiker will das Wissen. Somit kann ich nur festhalten, es gibt eine Steigerung für verdammte Lügner

Da bekommt das Wahlplakat der SPD eine neue Bedeutung. Finanzhaier würden FDP wählen, Bankrotteure SPD.

Warum stelle sich die meisten Informatiker gegen die Überwachungsmanie von unserem Unrechtsministerin und unser Zensursulla? Warum verlangen wir Datenschutz.

Hier mal wieder ein weiteres Beispiel aus der schönen neuen Überwachungswelt
http://de.biz.yahoo.com/26052009/3/deutsche-bank-mitarbeiter-ausgespaeht.html

Glaubt denn einer, daß das nur Einzelfälle sind?

http://www.norcalblogs.com/watts/2007/08/1998_no_longer_the_hottest_yea.html

Ups die NASA musste Fehler zugeben. Aber ich denke mit den alten Zahlen könnte Ihr uns besser knechten…

Meine kleine Firma könnte ohne Problem mehre Mitarbeiter gebrauchen. Nur weil die Einstellung mit einer Bürokratie fast ohne Beispiel einhergeht und mit Zwangsabgaben noch und nöcher, ist das finanziell nicht „machbar“. Die Jobs wären für ungefähr ein Jahr gesichert und wenn es denn gut liefe wären Lohnsteigerungen von durchaus 100-200 % drin. Es ist natürlich die Frage ob ich jemanden finden könnte der im Augenblick für einen sehr geringen Lohn bereit wäre ein Jahr zu arbeiten. Aber es ausprobieren würde wenig kosten. Nur da ist der Staat mit allen seinen Vorschriften davor wenn ich noch auf den Lohn bis zu 50 % Nebenkosten tragen muß mit allen sonstigen Vergünstigungen, dann muß ich festhalten, die Firma kann es sich nicht leisten ohne sich einem extrem hohen Insolvensrisiko auszusetzen. Das heißt anders herum, kann man das Insolvensrisiko minimieren kann man mehr Leute anstellen, das größte Insolvenzrisiko für kleine Firmen dürften meist die Personalkosten sein. Da bekommt man von staaatlicher Seite nicht ein Quantum an Hilfe sondern wird zwangsverpflichtet noch alle möglichen bürokratischen Extrakosten zu tragen. Von den zu anstellendend (durchaus 3) müsste einer wahrscheinlich halbtags ran nur um diesen gierigem Bürokraten genügend vorzuwerfen. Statt das man sich um seine Kunden kümmen muß, darf man sich mit Kündigungsschutz, Abfindungen und ähnlichem „herumschlagen“.

Das motiviert voll.

Im privaten Bereich könnte ich gelegentlich Hilfe gebrauchen. Aber jeder der das schon einmal versucht hat, weiß was da an Mühsal auf einen zukommt. Warum gibt es nicht ein Formular wo Interessent und Nachfrager schreiben festhalten können. Für jeden EUR an Bezahlung werden genau 20-25 % an Nebenkosten abgeführt. Es wäre so einfach. Entweder bei der Steuer anzugeben oder aber man ginge zum Bürgerbüro holt sich dort einen Gutschein on sagen wir mal 125 EUR was dann beim anderen einfach 100 EUR Lohn ausmacht. Ich bezahlte die 25 EUR mehr und müsste mich weder um Krankenkasse, Arbeitlosenversicherung, Rentenvresicherung etc bemühen. Es wäre alles in den 25 EUR abgegolten. Jeder könnte davon profitieren, kurzzeitige Hilfe wäre einfach zu bekommen und trotzdem könne unser Staat Nimmersatt Geld dabei einnehmen.

So könnte man Hundertausende von Mini-Unternehmern eine faire Chance geben, sich mit Ihrer Arbeit ein auskommen zu sichern. Aber neine statt dessen muß man ab xy Mitarbeitern einen Betriebsrat dulden, wo derjenige dafür bezahlt wir unproduktive Sachen zu überwachen, wieder Zwangsarbeit für den Staat leisten und das müsen diejenigen mittragen die für Kunden arbeiten. Wenn kann es da wundern das wir im Prinzip schon wieder mehr als 4 Millionen Arbeitslose haben. Es ist ja halt viel gerechter Harz IV im Namen unser unfähigen Politiker zu „verteilen“

lohnte sich ein Blick in die Geo dieses Monats. Und um die Rolle die Ludwig Erhard dem Staat und dem Privateigentum zugedachte. Alles was danach daneben ging, kann man mit dem scheinbar unbelehrbaten Irrglauben an das Gute von Staatseingriffen erläutern. Es fing schon an mit der Zwangsbewirtschaft von Stahl und Kohle und natürlich dem Recht das Wenige allen anderen vorschreiben können wie Sie sich wirtschaftlich gefälligst zu verhalten haben. Oder noch drastischer im Prinzip hat der Staat mit einigen seiner Gesetze der Monopolbildung (auch für den Staat selber) die Grundlage für das derzeitige Unwesen von Verbänden gesorgt. Beispiel für staatlich geschützte Monopole haben wir zuhauf Post, Bahn, Müll, Steuer. Somit wurde die Ineffizienz in erster Linie Durch unser Politiker festgeschrieben

Statt freier Vertragsgestaltung wurden bürokratische Monster erschaffen und im Prinzip jeder Deutsche zu Zwangsarbeit für den Staat verpflichtet.

Politiker sind das Problem, nicht die Lösung….

oder zumindest die Retter unser unter britischen Politikern leidenden Mitmenschen. 100 Mio Pfund haben sich die „Retter“ gegönnt. Wie ich es verstehe in 2008. DIE Geissel der Menschheit hat einen Namen fängt mit „P“ an und endet mit „er“… Gier ? Ach wo das sind nur angemessene Aufwandsentschädiungen für das Quälen der eigenen Bevölkerung. Das muß man wohl mit einem angemessenen „Schmerzensgeld“ abgelten..

Say something about moral hazard, say something about sanctioning insanity. You can put it in two words BAD BANK

’nough said

Now revealed the real reason for climate change

Go science go…. 😉