Tasty » Adam Sampson's teaching bookmarks

Software Foundations

Practical proof in programming; based on Coq. Full text of the book available online.

to coq correctness proof teaching ... on 10 February 2017

Operating Systems

"This directory contains some scripts of the lecture Operating Systems at the Berufsakademie Stuttgart." (Or, as we'd say, some lectures for the module &c.) Interesting in that it uses Unix v6 and the Lions book.

to operating-systems retrocomputing teaching unix ... on 24 December 2016

C and C++ Style Guides

"This is an archive of style guides for C and C++ code. Also archived here are some documents that discuss the value and utility of style guides."

to c c++ programming style teaching ... on 14 October 2016

The Cryptopals Crypto Challenges

"We give you problems to solve. They're derived from weaknesses in real-world systems and modern cryptographic constructions. We give you enough info to learn about the underlying crypto concepts yourself." These are really good.

to crypto security teaching ... on 14 October 2016

Praxis LIVE

Processing-style live coding environment. This'd be a fun tool to use for teaching CMP103...

to graphics live-coding programming software teaching ... on 14 October 2016

Scott's Bass Lessons - YouTube

Some interesting tips here.

to bass guitar music teaching ... on 10 October 2016

Teaching cybersecurity to criminologists – Bentham's Gaze

Not unlike our DADA module.

to elective security teaching ... on 21 June 2016

Education and Discrimination - Anne Boring

"This paper uses a unique database from a French university to analyze gender biases in student evaluations of teachers (SETs). The results of generalized ordered logit regressions and fixed-effects models suggest that male teachers tend to receive higher SET scores because of students' gender biases."

to evaluation gender survey teaching ... on 19 April 2016

6.037 - Structure and Interpretation of Computer Programs

"This fast-paced course covers the material in the classic book Structure and Interpretation of Computer Programs — a class previously known at MIT as 6.001."

to programming scheme sicp teaching ... on 19 April 2016

VisUAL - A highly visual ARM emulator

"VisUAL has been developed as a cross-platform tool to make learning ARM Assembly language easier." From Imperial.

to arm assembler programming teaching visualisation ... on 28 February 2016