| user: | summarity |
| created: | September 18, 2016 |
| karma: | 4.8k |
| about: | Product @ GitHub (CodeQL code scanning) Opinions are my own. |
| 1. | DeepL lays off 25% of its workforce(heise.de) |
| 2. | |
| 3. | Herbie: Automatically improve imprecise floating point formulas(herbie.uwplse.org) |
| 4. | |
| 5. | |
| 6. | |
| 7. | Aphros-WASM: Computational fluid dynamics solver in the browser(cselab.github.io) |
| 8. |