• The P versus NP Problem [pdf] https://www.cs.toronto.edu/~toni/Courses/Complexity2015/handouts/cook-clay.pdf 0 comments 28/3/2025
• Bayesian Neural Networks https://www.cs.toronto.edu/~duvenaud/distill_bayes_net/public/ 54 comments 18/11/2024
• Steve's Explanation of the Viterbi Algorithm (2003) https://www.cs.toronto.edu/~sengels/tutorials/viterbi.html 16 comments 15/10/2023
• The Forward-Forward Algorithm: Some Preliminary Investigations [pdf] https://www.cs.toronto.edu/~hinton/FFA13.pdf 10 comments 1/12/2022
• Programming Cognitive Robots https://www.cs.toronto.edu/~hector/pcr.html 20 comments 31/8/2022
• Thinking as Computation (2011) [pdf] https://www.cs.toronto.edu/~hector/PublicTCSlides.pdf 15 comments 23/8/2022
• An Axiomatic Basis for Computer Programming (1969) [pdf] http://www.cs.toronto.edu/~chechik/courses05/csc410/readings/hoare_axiomatic.pdf 16 comments 29/3/2021
• Empirical Study of the Anatomy of Modern SAT Solvers (2011) [pdf] http://www.cs.toronto.edu/~fbacchus/csc2512/Lectures/2013Readings/Skallah_Empirical_Study_SAT_Solvers.pdf 2 comments 8/4/2017
• Evidence That Computer Science Grades Are Not Bimodal [pdf] http://www.cs.toronto.edu/~sme/papers/2016/icer_2016_bimodal.pdf 140 comments 27/9/2016
• What is a Procedure? [pdf] http://www.cs.toronto.edu/~hehner/WiaP.pdf 6 comments 25/12/2015
• Generating images from their descriptions http://www.cs.toronto.edu/~emansim/cap2im.html 7 comments 11/11/2015
• Neural Artistic Captions http://www.cs.toronto.edu/~rkiros/adv_L.html 10 comments 5/10/2015
• Handwriting Generation with Recurrent Neural Networks http://www.cs.toronto.edu/~graves/handwriting.html 80 comments 22/7/2015
• Recurrent neural network handwriting generation demo http://www.cs.toronto.edu/~graves/handwriting.cgi?bias=0.5&samples=3&style=&text=Recurrent+neural+nets+are+fucking+magical. 3 comments 22/7/2015
• Fast Exact Search in Hamming Space with Multi-Index Hashing (2012) http://www.cs.toronto.edu/~norouzi/research/mih/ 6 comments 3/6/2015
• Computer-Generated Image Captions http://www.cs.toronto.edu/~nitish/nips2014demo/index.html 16 comments 24/5/2015
• Playing Atari with Deep Reinforcement Learning [pdf] http://www.cs.toronto.edu/~vmnih/docs/dqn.pdf 7 comments 12/12/2014
• Formal Methods of Software Design: an online course by Eric Hehner http://www.cs.toronto.edu/~hehner/FMSD/ 8 comments 29/9/2013
• DRAM Errors in the Wild: a large-scale field study [pdf] http://www.cs.toronto.edu/~bianca/papers/sigmetrics09.pdf 4 comments 7/10/2009

• A Practical Theory Of Programming http://www.cs.toronto.edu/~hehner/aPToP/aPToP.pdf 4 comments 1/8/2018 book , compsci , pdf , programming

• [D] Could forward-forward learning enable training large models with distributed computing? https://www.cs.toronto.edu/~hinton/FFA13.pdf 13 comments 28/1/2023 machinelearning
• [D] Informal "Test of Time" papers discussion (5+ years old) https://www.cs.toronto.edu/~rsalakhu/papers/srivastava14a.pdf 5 comments 10/2/2022 machinelearning
• Question about Monte Carlo based Permutation https://www.cs.toronto.edu/~radford/ftp/perm-mcmc.pdf 3 comments 15/10/2021 rstats
• How do you prefer to handle dispatch? http://www.cs.toronto.edu/~matz/dissertation/matzDissertation-latex2html/node6.html#SECTION00630000000000000000 19 comments 19/5/2020 emudev
• "Benchmarking Model-Based Reinforcement Learning", Wang et al 2019 [ME-TRPO, SLBO, MB-MPO, PILCO, iLQG, GPS, SVG, RS, MB-MF, PETS-RS/PETS-CEM, TRPO, PPO, TD3, SAC] http://www.cs.toronto.edu/~tingwuwang/mbrl.html 6 comments 5/7/2019 reinforcementlearning
• How do I build my own dataset for machine learning? https://www.cs.toronto.edu/~kriz/cifar.html 6 comments 8/5/2017 learnmachinelearning
• The robots can now imitate our handwriting... I would have loved this in school. http://www.cs.toronto.edu/~graves/handwriting.cgi?text=hello%20reddit&style=..%2Fdata%2Ftrainset_diff_no_start_all_labels.nc%2C1495%2B898&bias=0.6&samples=3 71 comments 24/7/2015 programming
• Neural network handwriting http://www.cs.toronto.edu/~graves/handwriting.cgi?text=hey+reddit&style=&bias=0.65&samples=3 13 comments 16/10/2014 programming
• On Your Best Behaviour: discusses the state of AI research, the Turing test and alternatives, and approaches for developing machine intelligence http://www.cs.toronto.edu/~hector/papers/ijcai-13-paper.pdf 10 comments 19/8/2013 compsci
• Which algorithms can/can't be expressed using a total functional data parallel language? http://www.cs.toronto.edu/~libkin/papers/icdt97a.ps.gz 32 comments 30/9/2010 compsci
• The Secret Life of Bugs http://www.cs.toronto.edu/~jaranda/pubs/secret.pdf 7 comments 8/6/2010 programming
• An introduction to Category Theory for Software Engineers http://www.cs.toronto.edu/~sme/presentations/cat101.pdf 5 comments 20/4/2010 haskell
• Google ECC memory study: "DRAM error rates that are orders of magnitude higher than previously reported" [pdf] http://www.cs.toronto.edu/~bianca/papers/sigmetrics09.pdf 17 comments 6/10/2009 hardware
• Google ECC memory study: "DRAM error rates that are orders of magnitude higher than previously reported" [pdf] http://www.cs.toronto.edu/~bianca/papers/sigmetrics09.pdf 42 comments 6/10/2009 programming
• Hinton's Neural Network Simulation (Generative) http://www.cs.toronto.edu/~hinton/adi/index.htm 26 comments 9/4/2009 programming
• Category Theory for Beginners (slides) [PDF] http://www.cs.toronto.edu/~sme/presentations/cat101.pdf 19 comments 16/3/2009 programming
• Academic Hacker News http://www.cs.toronto.edu/~ad/news/ 20 comments 9/3/2009 programming
• A Practical Theory of Programming (Free Book) [PDF, PS] http://www.cs.toronto.edu/~hehner/aptop/ 26 comments 27/10/2008 programming
• Logical Foundations of Proof Complexity by Stephen Cook and Phuong Nguyen [The current draft (posted September 2, 2008) has 439 pages and is complete except for the Appendix.] http://www.cs.toronto.edu/~sacook/homepage/book/ 3 comments 6/9/2008 math

• Evolution of Indo-European Languages using ASP http://www.cs.toronto.edu/~esra/papers/padl03.ps 2 comments 17/2/2003 Logic/Declerative