0%

Tonight, the scumbag-in-chief currently occupying the white house unleashed yet another racist tweet. However, something’s different this time: the victim is not the common African Americans, Mexicans or Muslims. it’s the Chinese. Donald Trump in his tweet blatantly called the COVID-19 virus the Chinese virus, defying all courtesy and decency as he has always done. As a foreign student living in the US, I feel genuinely attacked and unsafe. Reading the replies to that tweet scares the hell out of me, to the point that I just Googled Pennsylvania’s gun laws.

This is the second part of the previous post.

In the fall semester of 2019, I had the opportunity to work as a teaching assistant for the course 15-312/15-652 Foundations of Programming Languages, taught by Bob Harper. Today we wrapped up (almost) all of the work. As I have always said, the best way to build clear insight into a subject is perhaps by teaching and explaining it to the others. On the other hand, it was quite a unique experience. In addition to the usual grading and recitation, I invented a few homework problems (the DFA problem in HW2 and the entire KPCF problems) and wrote a few exam questions. There are a few things that went pretty well, and honestly some things just don’t quite go well as we would hope for. For the purpose of this post, I don’t want to (and honestly can’t) go into too much details, but focus on mainly 3 things: the philosophy behind this course, one unfortunate situation, and what it feels like working with Bob.

This is the first part of a two-part post, where I mainly talk about the philosophy of this course, as I understand it. In other words, I seek to answer the question of why study programming languages with my own experience.

# Introduction

During the summer of 2019, I took an internship at NVidia’s Austin campus working with one of their CUDA compiler teams. Two teams of engineers there work on compiler related projects: the compiler verification team and the compiler development team. The compiler verification team ensures the correctness and consistent behavior of the CUDA compiler toolchain for a large number of applications on all platforms. The development team is in charge of the in-driver CUDA assembler, publicly known as ptxas. I worked under the supervision of Brian Deitrich, and mentored by Rishkul Kulkarni.

• 如果只是想到BAT打工当程序员，是不是一定要是CS科班出身？
• CS科班出身的程序员是不是理所应当的高人一等？
• 学校里教的技术很老旧，是不是还不如翘课自学新技术？
• 培训班和某些大V网课是不是能学到”真本事“？

Sigbovik (Special Interest Group on Harry Q. Bovik) is an annual Quasi-conference held on April 1st at CMU for mostly computer science students to have “geek fun”. Papers submitted usually includes silly ideas with (often) serious execution. This year, I and @codeworm96 submitted a paper titled Precise ECG platform on Modern Processors. We won the Most Likely to Void a Warranty award from the program comittee.

Source of image is here

Recently I’ve been taking VE475 cryptography. This is final CS course I will take here in JI. Frankly, the course is mind challenging, yet informative. It’s time well-spent in short. So there is this challenge, a bonus project, which asks student to write their own ciphers and attack against each other. Attacks are conducted through a web server. Basically you can access a website that allows you preform cryptographic attacks. Now I’ve able to discover a seriers of the security issues that eventually allows me to take full control of the server.