My name is Aaron Hsu, and I'm a computer scientist. I'm changing the way people look at computing and programming languages, what they can do with them, and how they do it.
I gave the following talk at Dyalog '17 this year. I think it was a lot of fun, but I had to go through the slides pretty fast. I encourage anyone interested in the topic to go through the Sway presentation more carefully in their own time. You can find
Many programmers speak truthfully of the excitement of programming. Programming evokes a real sense of discovery and a feeling of mystery at times. Things like the Tao of Programming frame it in a near mystical sense of a journey towards enlightenment. I think many of us who write a great
Looking at the D-fns code I am writing to build my Co-Dfns compiler. I have to wonder what kind of horror might the old school APLers experience if they examined my source code. Would they freak out at the use of proofs, assertions, and other structural content designed to formally
Handwritten versions: Pg. 1; Pg. 2. I just saw David McCarty give a lecture today at the Turing Symposium hosted here. Will Byrd suggested that I attend and I am glad that he convinced me to attend. Will described him as the epitome of what he imagines a 19th century
People often think that adding more lines of code is the same thing as making progress on a project. I often find the opposite to be true. On my recent research for example, reducing the size of an implementation and improving its performance at the same time is a lot