profsjt: Is Haskell the right language for teaching functional programming principles? edit / delete

There's some good discussion in the comments here too. (I'm a graduate of SJT's Haskell course at Kent, and really liked the pure language... but there was a big step up from there to being able to use it for real-world programming.)

to functional haskell teaching ... on 10 December 2017

Imperial College London media library : APL demonstration 1975 edit / delete

Bob Spence demonstrates APL (basic operators, operator composition, function definition) in 1975. While I'm not sure I'd want to give a lecture using a teletype, the ability to scribble on the output with a biro is definitely useful!

to apl retrocomputing teaching ... on 15 November 2017

MCS 494, UNIX Security Holes, Fall 2004 edit / delete

Dan Bernstein's Unix security module. This is a bit dated now, but the material is interesting, and the assessment materials have some nice ideas.

to security teaching unix ... on 10 November 2017

Student Teacher Ratings: Males Are Brilliant, Females Are Bossy! edit / delete

"While many feel that students can reliably rate the quality of their teachers and that they should have a strong voice in things such as tenure, there are many studies that suggest that such ratings to evaluate teacher quality are NOT the way to go." A review of publications in this area over the last few years.

to rating research survey teaching ... on 06 April 2017

Lessons Learned from Shenzhen I/O | Probably Dance edit / delete

... which is a game about programming microcontrollers -- relating this to the real world.

to games microcontroller software-engineering teaching ... on 26 February 2017

The lost art of 3D rendering without shaders edit / delete

This is a great walkthrough -- wish I'd had this when I was writing similar code about ten years ago!

to 3d graphics rendering teaching ... on 26 February 2017

Software Foundations edit / delete

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 edit / delete

"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

Browser bookmarks: tasty+ | tasty= Log in | Export | Atom

Tags related to teaching

- teaching
 
1 + 2d
2 + 3d
1 + abertay
2 + academia
2 + academic
1 + admissions
1 + adventure
16 + ag0700
3 + ag0801
8 + ag0803
1 + ai
1 + algorithm
1 + algorithms
5 + amusements
1 + antenna
1 + apl
5 + architecture
2 + arm
1 + assembler
1 + assembly
1 + assessment
1 + audio
1 + bass
1 + benchmarking
1 + bioinspired
1 + books
1 + build-systems
5 + c
2 + c++
1 + cache
1 + ccc
1 + chalk-and-talk
1 + city
1 + cmp201
1 + code
1 + comp-ed
3 + compiler
1 + complex-systems
1 + complexity
1 + computing
21 + concurrency
1 + concurrrency
1 + coq
2 + correctness
1 + cpu
1 + crypto
1 + cryptography
10 + cs
1 + cs-ed
1 + csp
2 + debugging
1 + distributed
1 + dna
1 + driving
1 + elective
2 + electronics
1 + embedded
1 + encryption
1 + engine
2 + engineering
2 + erlang
4 + etext
1 + ethics
1 + evaluation
1 + flipped
1 + floating-point
1 + france
2 + functional
2 + fyp
12 + games
1 + gdb
1 + gender
1 + go
1 + gpg
1 + gpgpu
2 + gpu
9 + graphics
1 + guitar
3 + haskell
1 + hpc
1 + html5
1 + if
2 + java
2 + javascript
1 + knuth
2 + language
7 + language-design
1 + learning
1 + linux
1 + literate-programming
1 + live-coding
1 + live-programming
1 + make
1 + marking
6 + maths
1 + matterhorn
1 + message-passing
1 + meta-research
1 + metaphors
1 + microcontroller
1 + mmix
1 + mpi
1 + multicore
1 + multicore-msc
1 + music
1 + natural
1 + occam
1 + oo
3 + opengl
2 + openmp
1 + operating-systems
4 + optimisation
3 + os
1 + papers
9 + parallel
1 + parallelism
1 + patterns
1 + performance
1 + petri-nets
1 + pgp
1 + phd
1 + physics
1 + plagiarism
1 + pointers
2 + procedural
1 + processing
23 + programming
1 + projects
1 + proof
1 + psychology
7 + python
1 + quake
1 + r
2 + raspberry-pi
1 + rating
1 + reading
1 + reading-list
1 + recording
1 + rendering
18 + research
4 + retrocomputing
1 + reverse-engineering
1 + safety
3 + scheme
1 + school
7 + science
1 + scm
1 + scotland
1 + search
6 + security
1 + sicp
1 + simulation
9 + software
4 + software-engineering
1 + songs
1 + sort
1 + sorting
4 + statistics
1 + style
2 + survey
1 + tbb
1 + testing
1 + text
1 + theory
1 + tldg
1 + to-package
1 + tools
1 + transactional
2 + tutorial
1 + types
1 + ultima
1 + undefined-behaviour
4 + unix
1 + video
1 + visual-programming
1 + visualisation
1 + web
1 + whiteboard
1 + xv6