Stories by luu

A latent profile analysis of behaviours and attitudes during the Covid pandemic

Huawei P50 Pro Camera Review

How hard is it to get counting right?

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

72
73
74
75
76
77
78
79
80
81