Type-level Programming, Proof-carrying Code, Agda, Type Safety
What is ‘executive dysfunction’ and how do you overcome it?
theguardian.com·12h
Gina Trapani returns to blogging after a decade away
notetoself.studio·3d
Pause at One Hundred Miles per Hour
newyorker.com·18h
What Can We Actually Do With corner-shape?
css-tricks.com·14h
Aurora alert! Butterfly-shaped 'hole' in sun's atmosphere could spark geomagnetic storm Sept. 13-14
space.com·16h
Loading...Loading more...