Today we added some more functionality for groups. On the group page you can now see all users which are in the group. This behaviour can be controlled by the group admin on the settings page. Furthermore the group admin can now remove users from a group -- all posts of the removed user which were viewable for the group members become automatically "private". So nothings gets lost. We also enhanced prev/next navigation and added a counter to the search page.
This is a REAL odometer style javascript counter, where you can actually see the numbers spining. No Flash, it's all css and javascript. It can serve multiple purposes, like a live visit counter or a cashier style counter on a shopping website. Well, anything that involves updating a numeric value dynamically. It can also be used a fixed counter, like the one you can generate with a server script, but of course that isn't nearly as much fun as updating it in real time.
G. Basler, M. Mazzucchi, T. Wahl, and D. Kroening. CAV '09: Proceedings of the 21st International Conference on Computer Aided Verification, page 64--78. Berlin, Heidelberg, Springer-Verlag, (2009)
C. Boelmann, T. Weis, M. Engel, and A. Wacker. 18th IEEE International Conference on Parallel and Distributed Systems (ICPADS 2012), Singapore, (17-19 12 2012)
P. Hofer, F. Hörschläger, and H. Mössenböck. Proceedings of the 6th ACM/SPEC International Conference on Performance Engineering, page 87--90. ACM, (2015)
A. Pnueli, J. Xu, and L. Zuck. CAV '02: Proceedings of the 14th International Conference on Computer Aided Verification, page 107--122. London, UK, Springer-Verlag, (2002)
G. Steele, Jr., and J. Tristan. Proceedings of the 21st ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, page 15:1--15:12. ACM, (2016)