Inspired by the chapter on equality in Edwin Brady’s amazing book Type-Driven Development with Idris (which I highly recommend you to read), I wanted to do the thought experiment of creating a dependently-typed version of Hello World! in Idris. The basic idea was to have my hello world program only compile for the exact String Hello World! and nothing else.
Sometimes it’s necessary to deduplicate your akka stream. Currently, akka streams does not yet provide a built-in filter for duplicates. The small akvokolekta library adds this functionality 1 to the akka streams library.
amongst other stream algorithms ↩
I recently had a look into sbt assembly, since I had to create a fat .jar for my project. Unfortunately I couln’t get it running, getting the following error all the time:
Apache Kafka is a scalable, distributed messaging system, which is increasingly getting popular and used by such renowned companies like LinkedIn, Tumblr, Foursquare, Spotify and Netflix .
Probably most of our readers have either already heard of this classical book by Frederick Brooks or even read it. However, since the goal of this blog never has been to provide up-to-date information but rather to provide a comprehensive list of important and influential literature and multimedia resources about Software Engineering in general, I want to use the time to present briefly this master-piece of SE to our readers who haven’t heard about it yet.
Today I came across a very interesting article (via the SE Radio podcast) at Dr. Dobb’s with the title Software Engineering ≠ Computer Science by Chuck Connell. As this is a discussion topic that happens to appear over and over again, I think it’s a very interesting article that I really recommend to read.
During a research on whether a company needs a strategy or not to survive in the global market I came across this article in an issue of Harvard Business Review from October/September 2000. In this article Ricardo Semler, the CEO of the brazilian based company Semco, describes how his company runs already successfully for more than 20 years without having a strategy.
In this web article Martin Fowler, author of several popular books on topics such as refactoring and test-driven development, explains the agile practice of continuous integration (CI). CI is the process of committing and integrating frequently (at least once per day). This allows development teams to find bugs quickly and increase communication.
Sehr interessantes Kurzgespräch mit Grady Booch auf heise Developer über die Zukunft der Software-Entwicklung. In dem Gespräch geht es unter anderem auch über Informatik-Studiengänge und Grady’s Forderung nach einem Pflichtfach Informatik-Literatur, einem Vorschlag dem ich nur allzu sehr zustimmen kann.
In the following I have published some of the presentations and seminary papers I have done during my Master studies. They might be useful for one or another trying to get a first idea about the particular topic.