We have proof automation now(imperialviolet.org)

215 points by zdw 3 months ago | 99 comments

Checking that functions are constant time with Valgrind (2010)(imperialviolet.org)

8 points by g0xA52A2A 1 year ago | 3 comments

Voice Recognition(imperialviolet.org)

28 points by ingve 3 years ago | 7 comments

Taking my diabetes treatment into my own hands(martin.janiczek.cz)

378 points by mjaniczek 2 years ago | 269 comments

Personal blog post by Martin Janiczek about building an insulin dosing simulator to optimize his own diabetes treatment.

Continuous glucose monitors reveal variable glucose responses to the same meals(examine.com)

183 points by Matrixik 1 year ago | 105 comments

Bitcoin and quantum computing(nehanarula.org)

144 points by nehan 6 months ago | 98 comments