Newer posts are loading.
You are at the newest post.
Click here to check if anything new just came in.

Four short links: 17 September 2013

  1. Quarka web browser with a formally-proven kernel.
  2. High-Assurance Base64 — formally verified C implementation of Base64.
  3. z3 — fast theorem prover from Microsoft Research.
  4. libphenom (GitHub) — Facebook’s open sourced eventing framework. (High-scalability, natch)

Don't be the product, buy the product!

Schweinderl