Tag: linux

Check My Code – Automatische Codeprüfung für C Programme (online)

14 Mrz

Auf der neuen Webseite checkMyCode.org können Programmierer kostenlos und online direkt ihre in C geschriebenen Programme mit Hilfe von einigen Millionen Regeln prüfen lassen. Die Regeln wurden dabei auf Basis einiger tausend Linux Pakete (200 Millionen LOC) erstellt. Findet die Software einen Regelverstoß, so wird dieser farblich hevorgehoben und kurz erklärt.

Praktisch wie ich finde, so kann man sich selber auf die schnelle überprüfen und findet potentielle Bugs noch bevor man das Programm überhaupt kompiliert hat :). Betrieben wird der Dienst übrigens vom Doktoranden Andrzej Wasylkowski und seinem Professor Andreas Zeller der Saarland Universität.

 

Operating Systems

01 Okt

An dieser netten Grafik von GraphJam ist auf jeden Fall etwas dran ;).

song-chart-memes-operating-systems

 

Tux Kreditkarte

19 Aug

Die Linux Foundation bringt euch den Linux Pinguin Tux jetzt auch auf die Kreditkarte.

tux-card

Die VISA-Karte ist eine ganz normale Kreditkarte, welche nur mit dem Tux “gebranded” wurde. Würde ich nicht schon eine Kredtikarte besitzen wäre das sicher meine erste Wahl, sieht im Laden sicher cool aus damit zu bezahlen ;). Wir Europäer müssen aber eh noch warten, die Amis bekommen die Karte natürlich zuerst ;).

 

Privatix – Anonym und sicher Arbeiten

05 Aug

privatixFreie mobile verschlüsselte Arbeitsumgebung auf USB-Stick oder externer Festplatte zum sicheren Bearbeiten und Mitführen sensibler Daten, für verschlüsselte Kommunikation und zum anonymen Surfen im Internet.

Nicht alle, die sensible Daten bearbeiten oder bei der Internetnutzung und Kommunikation auf Privatsphäre wert legen, haben hierfür immer einen eigenen PC mit sicher eingerichtetem Betriebssystem und den nötigen Tools zur Verfügung bzw. können oder wollen diesen ständig mitnehmen.

Deshalb wurde auf der Basis von Debian GNU/Linux das Privatix Live-System entwickelt. Dabei handelt es sich um ein von USB-Stick oder einer externen Festplatte startendes und einfach zu bedienendes Betriebssystem zur sicheren, mobilen und vor allem Privatsphäre und Vertraulichkeit erhaltenden Internetnutzung und Kommunikation oder zur Bearbeitung und Verschlüsselung sensibler Daten.

Hierfür ist neben Standardanwendungen wie z.B. Browser, E-Mailprogramm, Textverarbeitung und Bildbetrachter zahlreiche Datenschutz- und Verschlüsselungssoftware eingebunden. Private Daten und Einstellungen, wie z.B. Dokumente, E-Mails oder PGP-Schlüssel werden nicht auf dem genutzten PC sondern ausschliesslich auf dem verschlüsselten USB-Stick bzw. auf der verschlüsselten externen Festplatte gespeichert und bleiben so selbst bei Verlust oder Diebstahl des Datenträgers durch ein Passwort geschützt.

Da das komplette Betriebssystem und alle Anwendungen zur Laufzeit von USB-Stick oder von externer Festplatte geladen werden, sind auf dem jeweils verwendeten PC weder freier Speicherplatz noch eine Installation oder bestimmte Betriebssysteme oder Programme erforderlich.

So kann man – ohne der Sicherheit des dortigen, unter Umständen mit Trojanern und Software-Keyloggern verseuchten Betriebssystems vertrauen oder bestimmte Tools voraussetzen zu müssen – fremde Computer nutzen und trotz dieser Mobilität hohe Datenschutzstandards wahren oder sich zusätzlich zu seiner normalen Betriebssysteminstallation auf einem externen Datenträger eine abgeschottete Umgebung für besonders sensible Daten oder Kommunikation einrichten (z.B. bei Tarifverhandlungen, für Onlinebanking, Whistleblowing oder E-Mail-Verschlüsselung).

 

Unix History

24 Jul

Wer mehr über die Geschichte und die Zusammenhänge der Unix-Systeme wissen möchte, sollte sich einmal folgendes Bild genau ansehen:

Unix_history-simple

Dort wird die zeitliche Abfolge der einzelnen Systeme dargestellt, sowie die Zusammenhänge innerhalb der Unix-System-Familien. So kann man zum Beispiel sehen, das Mac OS X keineswegs auf Linux aufsetzt (wie manchmal behauptet), sondern auf älteren Unix-Systemen (BSD).