January Meetup – Using Modern Solvers

Hi C++ Freaks und Frohes Neues! – Time for January’s get-together. This time we have Rüdiger Ehlers on Using Modern Solvers.

Many computationally difficult problems can be framed as queries to so-called solvers. Examples are the solution of Sudokus (or their automatic preparation), scheduling problems, planning in general, verification/test generation problems, and package dependency problems in Linux package managers. By describing the requirements on the solutions that are to be obtained as constraints to a solver and applying the solver as a black box library, the developer saves the work to implement branch-and-bound algorithms or related concepts to search for solutions. In this way, the results of years of sophisticated solver engineering can be used without knowing their details.

The talk gives a high-level overview on the motivation and application of modern solvers. Small example programs that employ the C++ interface of the SMT-solver Z3 by Microsoft Research show how solvers can be used in practice.

November Meetup – Address Sanitizer

Hi C++ freaks! This week we have our November meet-up in Bochum. Ben is giving a talk about clang’s Address Sanitizer, a wonderful tool to help you and your team to easily locate memory bugs in native code.

The talk provides an overview of how ASAN works and how it compares to valgrind’s memcheck tool. It shows you how to use ASAN in your project (with and without clang) and how to interpret it’s messages.

Other than that, we have the usual soft-drinks and plenty of room for discussion. See you soon.

October Meetup – Lightning Talks

¡Buenas noches! C++ enthusiasts. This time we will have lightning talks. A lightning talk is usually a very short presentation lasting only a few minutes. So, if you have something short and interesting for us, a nice library, an interesting code snippet, or a new tool, which fits into a 10 to 15 minutes talk, step forward and shoot me a mail:

benjamin.kircher AT gmail.com

and your contribution will be honorably added to this eternal list:


* …

August Meetup – std::advance(codingStandard, Modern::c++);

Buenos días C++ aficionados! This time: Odin Holmes tells us how move semantics, <algorithm>, custom allocators, lambdas, static checking, and return value optimization let you advance your C++ coding style. He’ll shows us how to get rid of syntactical sins such as out-parameters and raw-loops and simplify our code. Save the date. See you there!

July Meetup – Thema: Arrays in C++, das große Missverständnis

HandsOn: Interaktive Entwicklung

Ein paar Entwickler plaudern mit Keyboard und Beamer über verschiedene Probleme im Entwicklungsalltag und ihre Lösungsansätze, Tipps und Tricks. Dabei sind Beiträge, Fragen oder Lösungsansätze von weiteren Freaks hochwillkommen! Hier werden keine vorgefertigten Lösungswege vorgesprochen. Vielmehr geht es darum, zusammen die beste Lösung zu finden. Und wer möchte darf auch einfach nur zuhören!

June Meetup – Boost Libraries

Hi folks! Sorry for the delay. We finally managed to find a speakers for this month’s meet-up. This time we have two short talks about some boost libraries. Veit Jahns will give a introductory talk about boost::{bind,function} and the std:: counterparts. Also, we might hear a small intro to boost::any and boost::string_ref, two wonderful libraries that are really useful at times! As usual, we have a beer after the talks. See you!

May Meetup – The Rust Programming Language

Greetings C++ enthusiasts. This time we will have a introductory talk about the Rust programming language (rust-lang.org). Rust 1.0 will be released on May 15th so we thought we give it a shot. The talk will be held by Kai Michaelis and Benjamin Kircher. Everyone is welcome. See you there.