Stories by luu

Dissecting Performance of Production QUIC [pdf]

Implicit Ordering in Relational Languages

Russian Cross

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

73
74
75
76
77
78
79
80
81
82