last edited: Sat, 28 Apr 2018 13:33:00 +0200  
FoundationDB, ein geordneter Key-Value-Store mit ACID-Garantien.  Transaktionen gehen über vom Client bestimmte Schlüsselbereiche.  Wurde jetzt von Apple als freie Software veröffentlicht.  (HN dazu.)
  
Heute habe ich Keycloak für meine häuslichen Services eingerichtet.  Es ließ sich ohne Murren in Kubernetes deployen, und die nötigen Einstellungen gingen sehr schnell.  Nett.
  
rschmitt/dynamic-object, eine Java-Bibliothek, die Clojure-Map-basierte Datenmodellierung nach Java bringt.  In anderen Worten: Eine Clojure-basierte Alternative zu AutoValue und Immutables.  Bietet EDN-Serialisierung und Clojure-Kompatibilität.
  
Java-Bibliotheken für funktionalere Programmierung:

  • AutoValue nimmt einem einiges an Boilerplate ab, wenn man Wertklassen in Java definiert.
  • Immutables ist wie AutoValue, nur umfangreicher.
  • Vavr bietet persistente Collections, Pattern-Matching, applikative Validierung und ein paar der üblichen Monaden.  Eine Art Scala light, wenn man so will.
  
Interessante OCaml-Bibliotheken:

  • capnp-rpc und capnp.  Cap'n Proto ist ein Serialisierungsformat ähnlich zu Protocol Buffers.  Cap'n Proto RPC ist ein darauf aufbauendes RPC-Framework, das auf Object Capabilities basiert, einem ziemlich coolen objektorientierten Autorisierungs- und Kommunikationsmechanismus.  OCaml ist eine der Handvoll an privilegierten Sprachen, für die es eine Implementierung von Cap'n Proto RPC gibt.
  • NodeJS-Bindings für js_of_ocaml.
  • TyXML, eine DSL für XML- und HTML-Erstellung mit einem reaktiven Untermodul.
  • Logs, ein Logging-API.
  • Fmt, Stringformatierung.
  • Vg, deklarative 2D-Vektorgrafik.
  • Lwt, monadische User-Level-Threads.
  • OCaml Webmachine, eine Variante der ursprünglichen Webmachine.
  • Opium, ein Sinatra-artiges Webframework.
  • Lemonade, eine Monadenbibliothek.
  • Repromise, eine noch in den Anfängen befindliche Alternative zu Lwt.
  
BSD Owl ist ein BSD-Make-basiertes portables Buildsystem für komplexe Projekte.  Hat eingebaute Unterstützung für C, Python, TeX, MetaPost und OCaml.
  
Eine Einführung in das Programmieren mit Shift und Reset.

Continuations sind eine dieser großartigen Techniken, mit denen man beim Programmieren verrückte Dinge machen kann.
  
OpenJ9, die freie Version von IBMs J9-JVM.  Auch erhältlich über AdoptOpenJDK.
  last edited: Sun, 17 Dec 2017 22:20:26 +0100  
Quasar, eine Implementierung von Fibers (und Continuations?) auf der JVM als Javabibliothek.  Dazu auch: Pulsar, ein Clojure-API dafür; Comsat, eine Sammlung von Integrationsbibliotheken für diverse Fremd-APIs wie OkHttp, Kafka, JAX-RS und so weiter.
  
FNA ist eine freie Implementierung von XNA 4.0 für diverse Plattformen.  Wenn ich es richtig verstehe, wurde Owlboy damit auf Mac OS und GNU/Linux portiert.
  
Android 7.x AOSP für Nexus 7 (2012).  Ich habe es installiert und es läuft.  Cool.

 Matthias Benkard's birthday

Starts: Monday November 27, 2017 @ 12:00 AM
Finishes: Tuesday November 28, 2017 @ 12:00 AM
 
Happy Birthday Matthias Benkard
  
Heute gelernt: Wenn man einem Kubernetes-Jenkins-Slave-Pod einen Container hinzufügt, dann muß der ps enthalten, sonst kann man in dem Container keine Shellaufrufe machen.
  last edited: Thu, 19 Oct 2017 21:09:04 +0200  
Reason ist eine alternative Syntax für OCaml und insbesondere BuckleScript, den OCaml-nach-Javascript-Compiler.  Dazu passend: ReasonReact u.a. direkt von Jordan Walke, dem Urheber von React.js.
  
Arbital ist eine Erklärungsplattform in Form eines Wikis.  Keine Enzyklopädie, sondern mehr so etwas wie ein kollaboratives Lehrbuch und Referenzwerk.  Der Fokus liegt anfangs auf Mathematik, soll aber langfristig ausgedehnt werden.
  
Als inline markierte Funktionen haben in F# einen generischen, zur Kompilierzeit konkretisierten Typen.  Das kann man sich zu Nutze machen, um generische Funktionen zu schreiben.
  
Das Interplanetary File System ist ein Peer-to-Peer-Datenverteilungsprotokoll, das ein Featureset hat, mit dem man das Web oder mehr darauf betreiben könnte.
  
Eine KI sortiert die Wahlprogramme der Bundestagsparteien in ein klassisches Links-Rechts-Schema und bestätigt einige lang gehegte Vermutungen:

  • Die Linke ist links.
  • Die Grünen sind im bürgerlichen Lager angekommen.
  • Die CDU hat sich seit 2002 etwas nach links bewegt.