-
- Z3 open-sourced: better integration with Isabelle will surely follow after this!
- Spanner, a globally distributed database aware of time-inconsistencies
- Keccak, the new secure hash algorithm (SHA‑3)
- TypeScript, an ingenious way to solve the chicken-and-egg problem of language adoption via language supersets
- LTE Base station software: I hope this will be released really soon
Assorted Links (Software Innovations)
Leave a reply