Computer Science

categories: hacking

tags: cs

Description/Summary

Content

• Books I am reading
• Lectures about algorithms
• About types
• Random blog posts, podcasts
• References
  • CS lectures

Books I am reading

Scheme: Structure and Interpretation of Computer Programs

The Rust Book

Code Complete

Clean Code

Lectures about algorithms

CSE373 - Analysis of Algorithms 2016 SBU by Steven Skiena

Expressing algorithms: pseudocode

• http://www.cs.cornell.edu/courses/cs482/2003su/handouts/pseudocode.pdf

The videos’ quality isn’t great, and I give up. Then I move to another lecture: MIT 6.006 Introduction to Algorithms, Fall 2011

More lectures on MIT website: https://ocw.mit.edu/courses/find-by-topic/

About types

Type system: Things I Was Wrong About: Types

Refinement Types

Random blog posts, podcasts

The Humble Programmer by Edsger W. Dijkstra

How to learn programming | Charles Isbell and Michael Littman and Lex Fridman

Charles Isbell and Michael Littman: Machine Learning and Education | Lex Fridman Podcast #148

joy

References

CS lectures

CS140e: Stanford’s CS140e Winter 2018 course

• Schedule, reads and code

CS 110L: Safety in Systems Programming

• Comparison between C and Rust

CIS 198 - Rust - Spring 2016

• Project page

CS294: Foundations of Probabilistic Proofs (F2020)

MIT6.828 Operating System Engineering