If you want raw timely information about what is cooking in our lab you can follow the following Google+ and Twitter streams:
We have discontinued our Facebook, Linkedin and XING accounts and are now exclusively posting on Google+ and Twitter.
Top network posts
- 29Memory Stream in Java
- 14Update UI from Thread
- 10Prolog Functor - Computing x^y
- 10In-place inversion of large matrices
- 10In der Diagnose links, rechts: Aus wessen Sicht?
- 9Difference of HashMap in alt-rt.jar and rt.jar?
- 9Prove that $\beta \rightarrow \neg \neg \beta$ is a theorem using standard axioms 1,2,3 and MP
- View more network posts →
Keeping a low profile.
This user hasn't posted... yet.