Hacker News
- What's Wrong with C++ Templates? (2003) http://people.cs.uchicago.edu/~jacobm/pubs/templates.html 42 comments
- A Short History of Computational Complexity (2002) [pdf] http://people.cs.uchicago.edu/~fortnow/papers/history.pdf 2 comments
- Group theoretical methods in machine learning (2008) [pdf] https://people.cs.uchicago.edu/~risi/papers/KondorThesis.pdf 5 comments
- Graph Isomorphism update: quasipolynomial claim restored http://people.cs.uchicago.edu/~laci/update.html 35 comments
- Graph Isomorphism update http://people.cs.uchicago.edu/~laci/update.html 3 comments
- C Compiler Written In Python http://people.cs.uchicago.edu/~varmaa/mini_c/ 2 comments
- Books or articles on Nice algorithms for doing Linear Algebra Operations https://people.cs.uchicago.edu/~laci/babai-frankl-book2022.pdf 6 comments compsci
- Need help identifying this song (was MIT's AI Lab) http://people.cs.uchicago.edu/%7Ewiseman/humor/alices-lispm.html 5 comments lisp
- Geometrical Morphology http://people.cs.uchicago.edu/~jagoldsm/papers/gm.pdf 14 comments linguistics
- Graph Isomorphism "back" in quasipolynomial time http://people.cs.uchicago.edu/~laci/update.html 13 comments math
- Graph Isomorphism "back" in quasipolynomial time http://people.cs.uchicago.edu/~laci/update.html 22 comments compsci
- Graph Isomorphism update, January 4, 2017 http://people.cs.uchicago.edu/~laci/update.html 12 comments math
- Graph Isomorphism not solvable in quasipolynomial time after all http://people.cs.uchicago.edu/~laci/update.html 24 comments compsci
- Laszlo Babai's talk on Graph Isomorphism [X-post /r/compsci] http://people.cs.uchicago.edu/~laci/2015-11-10talk.mp4 5 comments math
- Laszlo Babai's first talk on his proposed quasi-polynomial time algorithm for Graph Isomorphism. http://people.cs.uchicago.edu/~laci/2015-11-10talk.mp4 16 comments compsci
- What's Wrong with C++ Templates? http://people.cs.uchicago.edu/~jacobm/pubs/templates.html?repost_ok 65 comments programming
- Universal Turing Machines with one tape http://people.cs.uchicago.edu/~odonnell/Teacher/Courses/UChicago/CMSC31100/UTM.pdf 8 comments compsci
- Programming Languages: Theory and Practice. Free book [pdf] http://people.cs.uchicago.edu/~blume/classes/aut2008/proglang/text/offline.pdf 30 comments programming
- FOSS & Research http://people.cs.uchicago.edu/~borja/foss_research.html 13 comments programming
- How I've been teaching myself discrete mathematics http://people.cs.uchicago.edu/~laci/08discrete/hw.html 3 comments math
- A C compiler written in Python (yes, Python!) http://people.cs.uchicago.edu/~varmaa/mini_c/ 105 comments programming
- Braitenberg Vehicles - very simple rules, interesting and complex behavior http://people.cs.uchicago.edu/~wiseman/vehicles/ 4 comments programming
- Well-typed Programs Can't Be Blamed (PDF) http://people.cs.uchicago.edu/~robby/pubs/papers/scheme2007-wf.pdf 13 comments programming
- SKI combinators: the best explanation http://people.cs.uchicago.edu/~odonnell/teacher/lectures/formal_organization_of_knowledge/examples/combinator_calculus/ 6 comments programming
Lambda the Ultimate
- Extensible Programming with First-Class Cases http://people.cs.uchicago.edu/~blume/papers/icfp06.pdf 33 comments Functional , Software Engineering , Theory , Type Theory
- PLT Redex operational semantics for Scheme http://people.cs.uchicago.edu/~robby/an-operational-semantics-for-scheme/ 3 comments Semantics
- The Manticore Project http://people.cs.uchicago.edu/~jhr/papers/2007/ml-manticore.pdf 12 comments Implementation , Parallel/Distributed
- Metaprogramming with Traits http://people.cs.uchicago.edu/~jhr/papers/2007/ecoop-traits.pdf 14 comments Object-Functional , Type Theory
- Application-specific foreign-interface generation http://people.cs.uchicago.edu/~jhr/papers/2006/gpce-fig.pdf 3 comments DSL , Functional , Implementation , Logic/Declarative , Semantics
- An Operational Semantics for R5RS Scheme http://people.cs.uchicago.edu/~jacobm/pubs/scheme-semantics.pdf 0 comments Semantics
- Slideshow: Functional Presentations http://people.cs.uchicago.edu/~robby/pubs/papers/icfp2004-ff.pdf 0 comments DSL
- A Visual Environment for Developing Context-Sensitive Term Rewriting Systems http://people.cs.uchicago.edu/~robby/pubs/papers/rta2004-mfff.pdf 7 comments Teaching & Learning
- Moby http://people.cs.uchicago.edu/~jhr/moby/index.html 0 comments object-functional
- Structure and Interpretation of Computer Science Curriculum http://people.cs.uchicago.edu/~robby/publications/papers/htdp-sicp-fdpe2002.pdf 10 comments teaching/learning