Stories by luu

Google Trips auto-populated my calendar after reading an ad-filled email

A Self-Verifying Theorem Prover (2009) [pdf]

Sponsored products related to Code Complete

Whitespaces and Strings in Bash (2018)

Stop your video calls from stuttering

Automated Configuration and Selection of SAT Solvers [pdf]

The Fundamental Theorem of Algebra in ACL2

Extensible Effects in the van Laarhoven Free Monad

Life of a Container (2020)

Cryptanalysis of Meow Hash

Brain imaging before and after Covid-19 in UK Biobank

Chinatown businesses say crisis on the ground needs urgent fix

Non-Standard Analysis in ACL2 (2001) [pdf]

Some stuff I found interesting about number theory research

Using Benford’s Law to Detect Bitcoin Manipulation

Typelevel Scala and the future of the Scala ecosystem (2014)

Cognitive deficits in people who have recovered from Covid-19

The Principles of Deep Learning Theory

Renowned pianist performs his signature composition in the fish emporium

Cryptanalysis of Meow Hash

76
77
78
79
80
81
82
83
84
85