llull
|
9 years ago
|
on: Liblfds, a portable, license-free, lock-free data structure library written in C
Chaff? For a project where one has total control, yes. When one has to get approval and deal with a specific list of approved licenses (which may not include one's particular favourite, no matter how sensible it seems to oneself), then no. It is appreciated.
llull
|
10 years ago
|
on: Source code for Lua 5.3
Idris. Really interesting language exploring dependent types for practical programming, but not yet production ready.
llull
|
10 years ago
|
on: 20 lines of code that beat A/B testing (2012)
Bandits are great, but using the theory correctly can be difficult (and if accidentally incorrectly applied then ones results can easily become pathologically bad). For instance, the standard stochastic setup requires that learning instances are presented in an iid manner. This may not be true for website visitors, for example different behaviour at different times of day (browsing or executing) or timezone driven differing cultural responses.
There is never a simple, magic solution for these things.
llull
|
10 years ago
|
on: Classism in America
The truth of the essay is illustrated by studies that show lower social mobility over longer generational windows, i.e. ones grandfather's income quintile is a better predictor of ones owns than ones fathers's. The intangible cultural inheritance of social class is more lasting than fluctuations in material wealth.
llull
|
10 years ago
|
on: Facts No One Really Checks (2012)
What a strange statement/article. I had to check all three of those as an undergrad, associativity of matrix multiplication was definitely first year linear algebra, and I think elliptic curve product was first year number theory.
(and it still is, theorem 3.4 in these first year notes https://wwwf.imperial.ac.uk/~kb514/M1GLA.pdf)
"It is that they are felt too tedious or technical to prove in a course or even a textbook." Was my degree unusually tedious?
llull
|
10 years ago
|
on: The Chinese character system is a brake on development
No, Chinese characters do not stop "moveable type taking off". Moveable type printing was in fact invented in China, nearly 1000 years ago, and widely used.
llull
|
10 years ago
|
on: Convert hand drawn equations to LaTeX
I just retried, and it does now gets it right for me too. Wow.
llull
|
10 years ago
|
on: Convert hand drawn equations to LaTeX
Very neat. One problem is immediate: when I handwrite an "x" for maths, it is as two 'c's touching back-to-back, so as not to confuse with some multiplication/cross-product symbol; such input proves very confusing to this code.
