Viewing profile — leegao

For what it's worth, the article is the author arguing why they don't personally use blah-blah (Dependent Types) despite being a leading academic in the field (PLT) where blah-blah…

Their in-context long-sequence understanding "benchmark" is pretty interesting. There's a language called Kalamang with only 200 native speakers left. There's a set of grammar book…

That's not necessarily true across all "fast fields". There's definitely selection pressure against fields sensitive to faulty experimentation to "move fast." Computer Science is o…

There are already several extensions to markdown with LaTeX support. For example, StackExchange supports flavored markdown with a Mathjax backend, as do most static Markdown render…

More parameters also means that the likelihood of overfitting (the training set) increases. Currently (and rather unintuitively, considering that ML is an applied optimization fiel…

How is it a waste of time? I can see it being bullshit webtech, but that's still not a reason to wholly dismiss everything.

How summing a series backwards improved the accuracy by an order of 4 magnitudes

I think I can sort of see what's going on, we're trying to fit the data of some GPS position taken from a walk around the park or something similar, and fit it to some linear combi…

According to Web analytics group Net Applications, Apple's Safari Web browser posted an 8.1 percent jump in market share for the month of July http://marketshare.hitslink.com/repor…

For hackish C, http://ccan.ozlabs.org/list.html (it's like CPAN, but for C)

I had always assumed that it was merely some strange artifact of the language, until I finally thought about it, and then finally understood: arr[index] is equivalent to (arr + ind…

o_O I don't know about you guys, but our CS affiliation requirement includes at least one semester of Functional Programming (using ML rather than Haskell, I know for sure that CMU…