Stories by luu

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

XQc reveals he had to move out after “daily” police swattings

A proof P = NP was accidentally published in TOCT

C++ Dev Ecosystem 2021

Pisa 2018: Insights and Interpretations [pdf]

Decreased infectivity following BNT162b2 vaccination

Canada's Express Entry Program

77
78
79
80
81
82
83
84
85
86