Four short links: 17 September 2013

Verified Web, Verified Base64, Theorem Prover, and Fast Events in C

  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)
tags: , , , , , ,

Get the O’Reilly Data Newsletter

Stay informed. Receive weekly insight from industry insiders.

Get the O’Reilly Web Ops and Performance Newsletter

Weekly insight from industry insiders. Plus exclusive content and offers.

Get the O’Reilly Programming Newsletter

Weekly insight from industry insiders. Plus exclusive content and offers.

Get the O’Reilly Hardware Newsletter

Get weekly insight and knowledge on how to design, prototype, manufacture, and market great connected devices.

Get Four Short Links in Your Inbox

Sign up to receive Nat’s eclectic collection of curated links every weekday.

Get the O’Reilly Design Newsletter

Stay informed. Receive weekly insight from industry insiders.

Get the O’Reilly Web Platform Newsletter

Stay informed. Receive weekly insight from industry insiders—plus exclusive content and offers.