categories | tags | Aimee's Blog
Aimee's Study Notes

It is updated automatically after each commit to the org-notes repo. It was last updated on Sep 20, 2022 16:16 UTC.


This page was created/modified in commit d85c922 "update game contract" on 2021-02-14.
Markdown source of this page

Computer Science

categories: hacking

tags: cs


Description/Summary

CS learning and some resource

Content

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

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

CS 110L: Safety in Systems Programming

CIS 198 - Rust - Spring 2016

CS294: Foundations of Probabilistic Proofs (F2020)

MIT6.828 Operating System Engineering


This site is generated with ox-hugo for Emacs/Org-mode + hugo-bare-min-theme [Aimee's Study Notes]