Thom2503

5 ms·

1.
The dawn of formalized mathematics [video](youtube.com)
3 points by Thom2503 7d ago|0 comments
2.
How to Not Write Parsers(crtschin.com)
18 points by Thom2503 1mo ago|0 comments
3.
Why don't people use formal methods? (2019)(hillelwayne.com)
128 points by Thom2503 2mo ago|117 comments
4.
Incanter: A Clojure-based R-like platform for statistical computing and graphics(incanter.org)
2 points by Thom2503 4mo ago|1 comments
5.
by Thom2503 4mo ago
There is also https://github.com/franssjz/cpr-vcodex which I use, which is one of the many forks of this project.
6.
by Thom2503 8mo ago
Mine are https://thomveldhuis.xyz and https://thomthomthom.wiki :)
7.
by Thom2503 11mo ago
The dutch teletekst has a SSH interface, which is also made with ratatui [1]. ssh teletekst.nl [1] https://tweakers.net/geek/237754/nos-maakt-teletekst-beschik...
8.
No Signal for Your Radio-Controlled Watch? Just Make Your Own Transmitter (2018)(hackaday.com)
2 points by Thom2503 11mo ago|0 comments
9.
Formal Reasoning [pdf](cs.ru.nl)
146 points by Thom2503 11mo ago|31 comments
10.
by Thom2503 1y ago
They also had something like this at TU Twente in the Netherlands, https://pings.utwente.io/ with open-sourced software :)
11.
by Thom2503 4y ago
Yes, but the Greeks coined the actual phrase. https://en.wikipedia.org/wiki/Deus_ex_machina#Origin_of_the_... "Deus ex machina is a Latin calque from Greek ἀπὸ μηχανῆς θεός (apò mēkhanês theós) 'god from the
12.
by Thom2503 5y ago
https://gitlab.com/dwt1/bash-insulter like this?