HeyChinaski.com » Blog Archive » HeyGraph Javascript and canvas graphing tool - Grafikbibliothek die Graphen automatisch ausrichtet und anzeigt. Könnte für das eine oder andere Projekt mal interessant werden.
programmierung - 18.12.2009 - 11.1.2010
Nailgun: Insanely Fast Java - wenn der JVM Start zu lange dauert kann Nailgun mit einer persistenten JVM helfen. Die läuft einfach weiter und kriegt gesagt was sie machen soll. Sollte dementsprechend auch mit Scala und Clojure helfen, gerade wenn man kleine Tools damit bauen will, die nicht jedesmal eine neue JVM starten sollen.
ProGuard - hilft beim runtertrimmen von standalone jars. Wobei das allerdings nicht so einfach mit Clojure oder Scala standalone jars ist, da gehört schon etwas Fummeln dazu scheinbar.
ScalaCheck User Guide - interessanter Ansatz für ein Unittest-Tool. Basiert auf den Ideen von QuickCheck für Haskell. Mir gefällt vor allem der Ansatz Tests als Eigenschaften zu deklarieren und dann Zufallsdaten (oder kontrollierte Testdaten) zu generieren und zu gucken ob diese Eigenschaften tatsächlich passen. Das ganze passt besonders gut zu rein funktionalem Code, da durch fehlende Seiteneffekte Funktionen sehr viel einfacher mit Zufallsinputs testbar sind.
technically.us Git - sling.git/blob - project/build/AssemblyProject.scala - nette kleine custom task für sbt um standalone-jars zu erzeugen.
Ursula - nicht unser aller Ex-Zensuristin, sondern eine Programmiersprache. Hier verlinkt auf einen Beispielcode. Wer glaubte das Anic schwer lesbar ist, Ursula gewinnt den Wettbewerb der unlesbarsten Programmiersprache locker. Komplett unverständlich wenn man es anguckt.
anic - Dataflow Sprache mit interessanten Features und (praktisch nicht existierendem, da die Codegenerierung fehlt) Compiler. Parallelisierung kommt bei Dataflow Languages automatisch frei Haus. Generell eine faszinierende Ecke von Sprachen die viel zu wenig Beachtung bekommt. Ob allerdings eine Sprache mit einer dermaßen Sonderzeichen-lastigen Syntax die Antwort ist ... jaja, ich weiß, Syntax ist nur Oberflächlich - aber tipp mal all die Sonderzeichen auf einer deutschen Tastatur!
Communities: DIY LabVIEW Crew: A Commodore 64 emulator written in LabVIEW - und weil wir gerade bei seltsamen X-in-Y Projekten sind: LabView ist eigentlich eine grafische Sprache zur Programmierung von Steuerungssystemen und Auswertungssystemen in Laborumgebungen. Und wird - in Abwandlung - zur Programmierung von Lego Robotern benutzt. Warum jemand überhaupt auf die Idee kommt, da drin einen C64 Emulator schreiben zu wollen, keine Ahnung. Aber er hats gemacht ...
qb.js: An implementation of QBASIC in Javascript (part 1) - Steve Hanov's Programming Blog - drin was drauf steht. Irgendjemand hat verdammt zu viel Zeit.
Alloy Analyzer - wer sich mal ansehen will, wieweit automatische Beweise und automatisches Reasoning auf Softwaremodellen heutzutage ist, guckt sich das Projekt mal an. In Java geschrieben, Installer für die großen Systeme verfügbar. Kommt mit einer deklarativen Sprache in der die Modellspezifikation gemacht wird und automatischen Konfliktfindern - also ein Modell, welches fehlerhaft ist, wirft Gegenbeispiele aus die mindestens eine der Randbedingungen verletzen. Und das Tutorial liefert nicht irgendwelche abstrakte praxisferne Beispiele, sondern z.B. ein Modell eines Datesystems mit verschiedenen Operationen darauf.
Apples and Bananas - sollte mal wieder ein Politiker Äpfel mit Bananen vergleichen, könnte dieser Artikel über Bilderkennungsalgorithmen zur Unterscheidung von Äpfeln und Bananen helfen!
Nullege: A Search Engine for Python source code - ganz nützlich, wenn man zu einem API gucken will wie es verwendet wird in verschiedenen Projekten. Manchmal sind Dokumentationen etwas unklar und Beispielsource angucken macht die Sache klarer.
[tw] : Building a Codeless Language Module with BBEdit 8.5 and (Ir-) Regular Expressions - weil ich immer wieder danach suche, hier eine Anleitung wie man die codeless language modules für BBEdit und TextWrangler baut. In der neuen Version können die nämlich regular expressions. Tipp: die regular expressions in der grep Suche von BBEdit/Textwrangler ausprobieren, dann sieht man ob sie auch korrekt auf einem Source funktionieren.
SQLiteJDBC - noch ein JDBC Treiber für SQLite
SQLiteJDBC - weil ich ein SQLite Fan bin (wenns zu komplex für simple Textfiles ist, ist SQLite die nächsthöhere Stufe), und weil ich mit Scala und Clojure rumspiele, könnte ich das hier mal brauchen.
Python Package Index : promise 0.2.1 - ziemlich cooler bytecodehack für Python der mittels Dekoratoren Funktionen als "pure" oder "constant" deklariert (oder ein paar andere) und dadurch Optimierungen von Python-Code ermöglicht. Speziell teure Lookups können so vermieden werden wenn man dem Compiler zusichert, das innerhalb einer Funktion z.B. Builtins oder benamste Funktionen sich nicht dynamisch ändern sondern konstant bleiben.
FleetDB - kleine In-Memory Datenbank mit Persistenz über ein append-only Transaktionslog. Das Protokoll besteht aus einfachen JSON Arrays. Implmentiert in Clojure, aber durch das JSON-Interface für beliebige Sprachen einbindbar (man braucht halt nur eine JSON Bibliothek und Zugriff auf Sockets).
generator_tools - weil man immer mal wieder auf die Situation stößt Generatoren in Python wegspeichern zu wollen (z.B. wenn man Continuations oder Coroutinen mittels Generatoren simuliert und diese als State eines laufenden Webworkflows in einem Webframework benutzt), mit diesem Modul (hack auf Bytecode-Introspection aufbauend) geht es eingeschränkt. Alleine schon interessant wegen der Einblicke die in den Interpreter gegeben werden.
Matasano Security LLC - Chargen - If You're Typing The Letters A-E-S Into Your Code, You're Doing It Wrong - interressanter Artikel (wenn auch in einer etwas seltsamen Präsentationsform) über typische Probleme bei Nutzung von Cryptographie für SSO in Websystemen. Einfach "ich verschlüssel das Cookie und dann ist alles gut" tuts eben nicht ...
MetaPython Documentation - eine der Sachen die mich immer wieder von Python zu Lisp bringen sind die netten Lisp Makros, mit denen man elegant embedded DSLs für verschiedene Zwecke bauen kann, die sich gut in die Hostsprache einbinden. Mit MetaPython kann man sowas vielleicht mit Python hinbekommen. Zumindestens sind alle Bauteile da.
OpenSimulator GForge - weil ich gerade mal wieder mit OpenSim rumspiele, hier findet man haufenweise Projekte rund um OpenSim.
Hg-Git Mercurial Plugin - sollte eigentlich den Zugriff auf GIT-Repositories mit Mercurial erlauben, scheint aber irgendwie im Moment nicht zu tu n - ich krieg jedenfalls nur Fehler. Aber erstmal for future use geblogmarkt.
hgsubversion - da man ja immer mal wieder auf SVN trifft und sich dann oft ärgert, das man nicht das Arbeitsverzeichnis zwischen Releases wechseln lassen kann, kann man einfach hgsubversion benutzen. Damit wird ein komplettes SVN Repository in ein lokales Mercurial-Repository gespiegelt aus dem man dann problemlos seinen Arbeitsbereich bestücken kann mit Mercurial-Mitteln. Auch gut wenn man Patches auf ein SVN Projekt verwalten will, da die Patchqueue von Mercurial da allen SVN-basierten Techniken überlegen ist.
duelinmarkers's clj-record - ein Persistency Framework inspiriert von Active Records (dem ORM von Ruby on Rails), aber halt in Clojure und mit einem mehr Lisp-like API. (das war jetzt sehr viel Denglisch in einem Satz!)
mattrepl's clojure-neo4j - und hier ein Interface zu Neo4J, einer Graphen-Datenbank für Java, mit der komplexe Datenstrukturen recht leicht auf Platte gespeichert werden können. Sieht für simple Persistenz in Programmen ganz interessant aus.
neo4j open source nosql graph database - die vorhin genannte Graphen-Datenbank für Java. Sieht recht interessant aus für die Situationen, in denen relationale Datenbanken zu starr und unflexibel sind.
pjstadig's tim-clojure-1.0.0 - ziemlich cooles Projekt welches mittels Terracotta (im Prinzip eine distributed Map für Java) ein verteiltes Environment für Clojure implementiert. Objekte mit passenden Metadaten werden automatisch auf alle diesem verteilten Environment angeschlossenen Clojures verteilt - und das tuts für nahezu alle Objekte die in Clojure definierbar sind.
Moscow ML Home Page - hatte ich erstaunlicherweise noch nicht. Ist ein kleiner SML Bytecode-Compiler der mitlerweile den vollen Sprachumfang und die Standardlibrary implementiert. Deutlich schlanker als das große SML/NJ und braucht auch weniger Ressourcen als SML/NJ oder MLton. Gerade für kleine Tools sehr brauchbar (und auf dem Mac mit MacPorts installierbar - genauso wie aber auch SML/NJ und Poly/ML, den zwei anderen großen ML Compilern).
Poly/ML Home Page - mal verlinkt, weil Poly/ML oft über der Existenz von SML/NJ und MLton ignoriert wird. Eventuell auch als Alternative zu MosML nutzbar, denn Poly/ML ist recht fix, liefert aber native Code der auch gut für standalone-Tools zu nutzen ist. Wobei da natürlich MLton nochmal auftrumpft, da es mit der Optimierung über das gesamte Programm zwar lange für den Compile braucht, aber wesentlich kleinere Executables produziert.
Standard ML of New Jersey - und weil keine Liste von ML Compilern ohne den Grandfather of SML vollständig wäre, hier noch der letzte Link. Schon etwas betagt, aber sicherlich immer noch eines der am besten ausgebauten Systeme.
Fuzzy Hashing and ssdeep - liefert Hash-Werte für Files die ähnlich sind, wenn die Files selber auch ähnlich sind. Kann benutzt werden, um partiell gleiche Files aufzufinden (also z.B. Code-Reuse in Sourcecodes oder unterschiedliche Versionen eines Dokumentes etc.).
Home of pHash, the open source perceptual hash library - perceptual hashing liefert ähnliche Hashes für visuell ähnliche Files. Also sowas wie fuzzy Hashing für Bilder oder Filme. phashes von Bildern zum Beispiel ändern sich nur minimal wenn das Bild minimal geändert ist. Je größer die Differenz der Bilder, je größer die Differenz der Hashes.
MLton Standard ML Compiler (SML Compiler) - MLTon wird ja für Ur/Web benötigt, es gibt netterweise einen Binary-Download für OS X der auch brauchbar funktioniert, wenn man die GnuMP library über MacPorts installiert hat (von dort kann man auch die mhash library installieren, die andere Voraussetzung für Ur/Web). MLton ist auch alleine schon ein interessantes Projekt, da es ein Standalone-Compiler für ML ist, welcher sehr gute Optimierungen (dafür aber auch extreme Laufzeiten für den Compiler) besitzt.
Ocsigen - sieht aus wie etwas zu Ur/Web vergleichbares, das auf der OCaml Toolchain und der Sprache OCaml aufbaut. OCaml hat einige sehr nette Eigenschaften, das könnte also auch interessant sein. Allerdings macht das Projekt einen mehr Baukasten-Eindruck mit mehreren zusammenspielenden Teilen, wie gut die Integration ist, muss sich da erst zeigen. Bei Ur/Web begeistert mich die Tatsache, das ich wirklich nur mit einer Handvoll Files direkt eine Webanwendung zusammenstellen kann, ohne großen Overhead. Auch die Installation aus dem Source von Ur/Web ist simpler, durch die geringe Zahl an Abhängigkeiten. Andererseits ist Ocsigen direkt in Debian verfügbar, was die Installation natürlich deutlich vereinfacht.
The Ur Programming Language Family - interessante funktionale Programmiersprache mit integriertem XML Templating und Persistenz. Das Ziel ist es die komplette interaktive Webanwendung in einer Sprache zu schreiben. Datenmodell in der gleichen Sprache wie Templates. Alles abgesichert mit Typdeklarationen und Typinferenz - z.B. gibt es einen Funktor, mit dem aus einer in Ur geschriebenen Tabellendefinition automatisch eine komplette Administrationsoberfläche für diese Tabelle generiert wird, alles mit Absicherung gegen Code-Injection und andere übliche Angriffsszenarien. Die Sprache selber orientiert sich sehr stark an ML, übernimmt aber einige Features aus Haskell (speziell die Monads und das mächtiger Typsystem). In einigen Punkten erinnert es mich stark an Scala von den Ideen her - gute embedded languages für SQL und HTML kombiniert mit einer mächtigen funktionalen Sprache. Allerdings erzeugt der Ur Compiler direkt object code (und JavaScript für die Client Seite) und nicht Code für eine virtuelle Maschine. Und die Runtime hat keine Garbage Collection, sondern aus dem Code abgeleitetes Memory-Management (was Speicherverhalten mehr deterministisch macht). Das ganze basiert auf MLTon, einem sehr gut optimierenden ML Compiler. Irgendwie erinnert mich vieles an dem Projekt an Django - nur eben nicht dynamisch getypt, sondern statisch. Könnte durchaus interessant sein.
Web Authoring System Haskell (WASH) - nur der Vollständigkeit halber auch verlinkt, es ist vergleichbar zu Ur/Web und Ocsigen, nur halt mit Haskell. Aber wirkt irgendwie noch mehr Stückwerk als aus einem Guss.
Mail::RFC822::Address - "Die in RFC 822 beschriebene Grammatik ist überraschend komplex. Die Implementierung der Validierung mit regulären Ausdrücken stößt etwas an die Grenzen dessen, was mit regulären Ausdrücken sinnvoll zu tun ist, obwohl Perl damit gut zurechtkommt"
Real World Haskell - das hatte ich noch garnicht gelinkt? Dabei ist das der komplette Inhalt von "Real World Haskell" im Web, dem O'Reilly Buch zu Haskell. Sollte ich mir mal in ein paar ruhigen Stunden (Tagen?) durchlesen.
Socket Benchmark of Asynchronous Servers in Python - interessanter Artikel über die Performance und Skalierbarkeit auf hohe Hit-Raten verschiedener asynchroner Server in Python.
A Case of the MUMPS - The Daily WTF - aus aktuellem Anlass der Link mal fix gebloggmarked, denn den könnte ich in nächster Zeit möglicherweise brauchen ... (fragt nicht!)
Intersystems Caché -- Gateway to hell - TDWTF Forums - aus dem gleichen Anlass noch diesen Link gebloggmarkt.
Invent with Python - interessantes freies Buch über Python Programmierung. Unter anderem wird in Kapitel 16 PyGame herangenommen.
WinMerge - falls man mal ein grafisches Diff/Merge für Windows braucht. Open Source.
Crowdsourced document analysis and MP expenses - in Django durch Ausgabenlisten von britischen Parlamentsmitgliedern wühlen. Interessanter Artikel über die Stolperstellen und Probleme eines solchen Projektes beim Guardian.
fabricate - interessantes build Tool, das aus den Kommandos für den Compiler automatisch ermittelt welche Abhängigkeiten bestehen und daraus dann bei Aktualisierungen nur die nötigen Aktionen ableitet. Makefiles sind hier ganz normale Python-Scripte, was eine ganze Menge interessanter Hacks ermöglicht.
Building a Clojure Web application with Incanter, Compojure, and Leiningen « Data Analysis and Visualization with Clojure - sehr schön, vor allem weil dieses Beispiel nicht nur schön zeigt wie simpel man mit Leiningen und Compojure eine Webanwendung mit Clojure bauen kann, sondern auch weil es mal nicht die üblichen langweiligen Verdächtigen als Beispiel sind, sondern mal was ganz anderes. (tuts wegen einer Änderung von Apple am Java für 10.6 derzeit nicht unter OS X, die Leiningen-Leute sind aber wohl schon dran)
About Hypertable - sowas wie Googles Bigtable, nur als Open Source. Stark skalierbare Datenbank. Benutzt Thrift als Client-Protokoll und ist damit von sehr vielen Sprachen ansprechbar.
Haystack - Search for Django - und das ist dann die Einbindung von Whoosh in Django. Gibt noch andere, aber das hier sieht am weitesten ausgebaut aus.
InfoQ: Clojure 1.1 Adds Transients, Chunked Sequences for Efficiency - bei Clojure kommen im Moment die interessanteren Optimierungen und Überlegungen zu funktionaler Programmierung. Denn sie konzentrieren sich auf den wesentlichen Teil: Datenstrukturen. Ein oft vernachlässigter Bereich bei andern Sprachen - was bringt mir eine funktionale Sprache, wenn die mitgelieferten Datenstrukturen schlicht zu low-level sind? Clojure bietet Zugriff auf low-level Elemente aus Java, wenn aus Performancegründen nötig, aber auch high-level Datenstrukturen die sich wesentlich natürlicher verhalten in funktionalem Code. Und mit chunked sequences und transients jetzt zwei recht elegante Optimierungen für diese, die den Abstieg in die Java-Niederungen vermeiden helfen.
Zehn Jahre .NET - Hat Microsoft geliefert? • The Register - "COM ist nie verschwunden, und .NET-Entwickler, die neue Windows 7-APIs verwenden möchten, müssen dazu eine Interop-Bibliothek verwenden."