#courseware

Links Open in the Archive

• COS 418 - S25 - Distributed Systems

  cs.princeton.edu · 2026-10-12 · Page

• Flow Matching and Diffusion Models

  diffusion.csail.mit.edu · 2025-03-03 · Page

  Diffusion and flow-based models have become the state of the art for generative AI across a wide range of data modalities, including images, videos, shapes…

• Theories of Deep Learning (STATS 385) by stats385

  stats385.github.io · 2017-11-07 · Page

• 15-312 Foundations of Programming Languages

  cs.cmu.edu · 2015-07-06 · Page

  Textbooks: Robert Harper, Programming Languages: Theory and Practice Benjamin Pierce, TPL

• Software Verification - Fall 2014 - Chair of Software Engineering

  se.inf.ethz.ch · 2014-09-24 · Page

  with solutions

• Computer Laboratory – Course pages 2013–14: Functional Programming: Implementation, Specification and Verification – Course materials

  cl.cam.ac.uk · 2014-04-22 · Page

• CSCI-740 :: Programming Language Theory :: Term 20131 :: Schedule

  cs.rit.edu · 2014-04-16 · Page

  syllabus to read Types and Programming Language by Pierce

• Machine Learning Video Library - Learning From Data (Abu-Mostafa)

  work.caltech.edu · 2013-12-01 · Page

• EE364a: Convex Optimization I

  stanford.edu · 2013-05-19 · Page

  recommended by someone on Quora as requisite math for learning Machine Learning.

• T-61.6020 Popular Algorithms in Data Mining and Machine Learning

  cis.hut.fi · 2012-12-19 · Page

  implments popular algorithms in datamining.

• Workshop on Algorithms for Modern Massive Data Sets (MMDS)

  stanford.edu · 2012-12-16 · Page

• Advanced Computer Science Courses : Paper Trail

  the-paper-trail.org · 2011-06-09 · Page

  a list of courses online

• Course Information | Introduction to Compilers

  ece-www.colorado.edu · 2009-02-22 · Page

  using Python

• How to go to M.I.T. for free

  csmonitor.com · 2007-01-05 · Page

• Get a free college education online - Lifehacker

  lifehacker.com · 2006-09-26 · Page

• Lecture Notes on ai

  ocw.mit.edu · 2005-07-15 · Page

  » MIT OpenCourseWare » Electrical Engineering and Computer Science » Techniques in Artificial Intelligence, Fall 2002