Surely I Am Joking

October 20, 2019February 29, 2020 Yin Wang

There is no human-level computer vision

March 22, 2016February 29, 2020 Yin Wang

Why self-driving cars are not going to happen

January 16, 2016October 20, 2019 Yin Wang

Some observations about Tesla’s Autopilot

December 11, 2015February 29, 2020 Yin Wang

Design Flaws of the Tesla Model S

February 18, 2014February 29, 2020 Yin Wang

Three famous quotes

January 17, 2014February 29, 2020 Yin Wang

Programs may not be proofs

December 27, 2013February 29, 2020 Yin Wang

Tests and static analysis

December 24, 2013February 29, 2020 Yin Wang

On object-oriented programming

November 25, 2013July 29, 2019 Yin Wang

PySonar2 successfully integrated with Sourcegraph.com

November 16, 2013March 18, 2020 Yin Wang

Purely Functional Languages and Monads

October 29, 2013July 29, 2019 Yin Wang

PySonar2 opensourced

July 6, 2013March 15, 2018 Yin Wang

psydiff: a structural comparison tool for Python

June 3, 2013January 22, 2016 Yin Wang

Null reference may not be a mistake

April 8, 2013July 29, 2019 Yin Wang

How to reduce the contagious power of ‘const’

April 5, 2013January 22, 2016 Yin Wang

Back to the future of databases

April 2, 2013March 6, 2020 Yin Wang

Why is indexing faster than binary search

March 31, 2013January 22, 2016 Yin Wang

On pureness

October 25, 2012November 11, 2015 Yin Wang

Undecidability proof of the halting problem using lambda calculus

October 13, 2012March 15, 2018 Yin Wang

A mind map guide for TeXmacs

April 26, 2012February 29, 2020 Yin Wang

Propositions as Programs