71–80 of 90 posts
https://www.cs.cornell.edu/~asampson/blog/llvm.html
This is a great resource, I've wanted to learn how to use LLVM to compile to RISCV assembly for a while, e.g.
Jumping ahead to the video on LLVM, the instructor mentions his prior LLVM tutorial/intro which looks really helpful as an overview, with more informative links. Probably the best get-started tutorial I've come across yet: https://www.cs.cornell.edu/~asampson/blog/llvm.html This is a great resource, I've wanted to learn how to use LLVM to compile to RISCV assembly for a while, e.g. https://llvm.org/docs/RISCVUsage.ht…
I’m not feeling any pressure or anything
For undergrad level PL, I highly recommend Dan Grossman's MOOC[0] or recent class recorded lectures[1]. Dan's thesis work strongly influenced Rust's borrow checker.
Disclosure: Dan advised me in undergrad and Adrian is a friend.
[0] https://www.coursera.org/learn/programming-languages
[1] https://courses.cs.washington.edu/courses/cse341/19sp/ (ctrl-f "Videos")
Earlier quoted context omitted.
I took this course when it was PL-focused in 2015ish! It starts with an in-depth exploration of the untyped lambda calculus (with the usual fixins like Church numerals, various combinators, etc), spending half a week or so on semantic expansion rules, reduction strategies, recursion, fixpoints, continuations, how one might encode state with only lexical closures, etc. After maybe the tenth lecture, the class takes a…
You’re thinking of 6110 (advanced programming languages) not 6120
Earlier quoted context omitted.
That class just uses my slides. It says so at the bottom of the page: > The lecture slides used in the course are taken from Prof. Andy Pavlo's CMU 15-721 course Just go to the source: https://15721.courses.cs.cmu.edu/spring2023/
Is there an accompanying textbook for your course or only the papers that are listed?
Earlier quoted context omitted.
That class just uses my slides. It says so at the bottom of the page: > The lecture slides used in the course are taken from Prof. Andy Pavlo's CMU 15-721 course Just go to the source: https://15721.courses.cs.cmu.edu/spring2023/
okay I'm curious - what are dirty systems programming skills, professor?
Earlier quoted context omitted.
That class just uses my slides. It says so at the bottom of the page: > The lecture slides used in the course are taken from Prof. Andy Pavlo's CMU 15-721 course Just go to the source: https://15721.courses.cs.cmu.edu/spring2023/
okay I'm curious - what are dirty systems programming skills, professor?