Yisu Remy Wang 王奕粟

[Image: Sea programmer]

I am now a Certified Inhabitant of the Universe!

I am proud to be certified by kurzgesagt.org to be an Inhabitant of the Universe! Get your certification by supporting them spreading science.

[Image: certification as inhabitant of the universe]

What is Mathematics

Mathematics, just like any other science, is a cultural activity. Any cultural activity is natural.

What I told my future labmates (in summer of 2017)

I'm Remy and I will join [UW] PLSE this fall. I'm generally interested in programming languages, especially the formal side of it. This summer I'm verifying differential private algorithms with a proof assistant named EasyCrypt. I will be in Aarhus Denmark - come say hi if you are near! Besides PL, I also enjoy reading and thinking about physics, maths, and philosophy & history of science. 

Last month I graduated from Tufts, where I worked on dynamic strictness analysis / optimization for Haskell. And before Tufts I grew up in Beijing. 

I love to spend time outside - biking, running, hiking and climbing. When I'm indoors, I listen to rock and folk music from around the world, and try to teach myself jazz guitar. I've also made it half way making a mountain dulcimer, which is like a half guitar... My favorite writers are Franz Kafka and Raymond Carver. 

My favorite places on the internet

Updated 5 17 2017

Guitar amps:

• http://www.amptone.com/g171.htm
• http://baltimorenode.org/2010/01/building-a-portable-guitar-amp-the-smokey-amp/
• http://makezine.com/projects/make-09/the-5-cracker-box-amp/
• https://www.youtube.com/watch?v=U4vYooE2_CQ
• http://www.electrosmash.com/smokey-amp-analysis

Code:

• https://jakevdp.github.io/blog/2013/02/16/animating-the-lorentz-system-in-3d/
• https://jakevdp.github.io/blog/2012/08/18/matplotlib-animation-tutorial/
• http://www.physics.buffalo.edu/phy411-506-2004/Topic3/topic3-lec7.pdf
• https://github.com/patrickhaller/no-wm
• https://nllgg.nl/ted/
• https://casual-effects.com/markdeep/
• https://notamonadtutorial.com/harvey-an-operating-system-with-plan-9-s-shadow-3081414e5f0b
• http://commonmark.org/help/

Emacs & Org:

• http://www.jesshamrick.com/2012/09/10/absolute-beginners-guide-to-emacs/
• https://ontologicalblog.com/2016/10/14/an-absolute-beginners-guide-to-spacemacs-for-academic-writing/
• https://www.reddit.com/r/spacemacs/comments/4p4h8m/how_to_start_to_learning_basics_for_spacemacs_and/
• http://orgmode.org/orgguide.pdf
• http://sachachua.com/blog/2008/01/outlining-your-notes-with-org/
• http://orgmode.org/worg/org-tutorials/orgtutorial_dto.html
• http://emacslife.com/baby-steps-org.html

Science:

• http://www.newyorker.com/magazine/2017/03/27/daniel-dennetts-science-of-the-soul
• http://www.ams.org/notices/199801/vertesi.pdf
• http://www.tau.ac.il/~nogaa/PDFS/notices.pdf
• http://doc.cat-v.org/feynman/simulating-physics/simulating-physics-with-computers.pdf

Bike:

• http://myraleighsupercourse.blogspot.com/2016/02/new-wheels-for-raleigh-super-course.html

Research:

• http://ece.uprm.edu/~nayda/Courses/Icom6115F06/Papers/paper4.pdf
• http://www.ccs.neu.edu/home/matthias/manifesto/sec_future.html
• https://arxiv.org/pdf/1612.09375v1.pdf

Mountains:

• https://hikinginfinland.com/2009/11/interview-fritz-handel-from-bushbuddy.html

Music:

• https://goo.gl/OMxjte

Grad School:

• https://www.cs.washington.edu/students/grad/phd/overview

txti