Tinkering with EventSorcing
I experimented a bit with Event Sourcing. I didn't use a library for that. Events are persisted to a SQL database (perhaps not the best choice).
You may find the code on GitHub. Any comments are welcome.
Learning Scala
I recently started learning Scala and I have to say: I really like it.
In the language on one hand I find implicits really cool for injecting dependencies - as long as I declare them in my own code it is. As soon as importing from libraries I don't really like it though: It's hard to find out what you need to import in order to get your code working.
Chug app and hardware
Together with friends we started the Chug-App project. It consists of a hardware component (the drop), a mobile App and a scalable backend.
My XING account
After being reluctant with social media I finally brought myself to creating a XING-Account. Feel free to contact me there.
Keys and fingerprints
The NixOS distribution
I've been using NixOS on my machines and servers for some time now. Getting started with it has a steep learning curve, after all I'd say it's worth it though.
On the other hand you've to package each and everything in your system, which is a bit cumbersome - especially for more esoteric software. As a result I don't use it on my work-laptop.
Automated Model Generation for the Lifecycle of Android Applications
In my diploma thesis I present a way of handling the special structure of Android Apps for static program analyses. This allows tools based on the library WALA to handle these Apps as if they were regular Java applications.
Of course there's more to analyzing Android than using the model. The folks at the KIT Institute IPD Snelting are researching in that area.
I'd be delighted if you choose to give my thesis a further read or checked out the WALA mainline on GitHub, that now also contains my code.
Conversion of system dependency graphs from the commercial tool CodeSurfer
CodeSurfer is a tool that generates SDGs for C/C++ sources. In an assignment I made its SDGs digestible by JOANA, an IFC-analysis tool mainly aimed for Java sources.
Feel free to give my seminar paper a read.
Information Flow Control analysis using JOANA
JOANA is a tool, that allows to detect leakage of confidential data into insecure channels. It does that by creating an IFC analysis.
While not actually contributing to JOANA I used the tool to analyze some software. By that I got a fair insight how static program analysis works.
Providing Freifunk access
When first arriving in my new flat my neighbour saved my ass by providing internet to all via Freifunk.
Needless to say that by now I'm running my own access point. Doing so barely reduces my browsing-experience when surfing regularly. It's easy and cheap, so I highly recommend running a node. If enough people do we'll never be "out of internet" again.
Using green energy
Using really green energy is actually not that more expensive, than relying on a cheap-ass pseudo green provider. I got to know Greenpeace energy as a fair, transparent provider, that recently actually reduced fees - who would have thought.
Proudly presented without scripts
This website does not use any scripts, instead it relies solely on advanced CSS features and provides fallbacks.
My layout uses flexboxes, I'm looking forward for the Grid layout to become available in a later CSS version.
Thanks to CSS-Tricks for providing snippets to get me up and running in almost no time.