Hacker News
- A CD Spectrometer (2006) https://www.cs.cmu.edu/~zhuxj/astro/html/spectrometer.html 48 comments
- Some of the error messages produced by Apple's MPW C compiler (2006) https://www.cs.cmu.edu/~jasonh/personal/humor/compile.html 43 comments
- Using a laser pointer and a matrix LED as a two-dimensional input device (2010) https://www.cs.cmu.edu/~ehayashi/projects/lasercommand/ 17 comments
- The Puzzle Toad http://www.cs.cmu.edu/puzzle/index.html 9 comments
- A Library of Parallel Algorithms https://www.cs.cmu.edu/~scandal/nesl/algorithms.html 20 comments
- PixelNN – Example-Based Image Synthesis http://www.cs.cmu.edu/~aayushb/pixelNN/ 150 comments
- CMU Accidentally Sends Out 800 Acceptance Letters To CS Program http://www.cs.cmu.edu/news/errors-made-notifying-csd-masters-program-applicants 51 comments
- Machine Learning Course by Tom Mitchell http://www.cs.cmu.edu/~tom/10701_sp11/ 40 comments
Lobsters
- A C89 compiler that produces executables that are also valid ASCII text files http://www.cs.cmu.edu/~tom7/abc/paper.pdf 4 comments compilers , pdf
- There was a Coke machine connected to the ARPANET in the 70's https://www.cs.cmu.edu/~coke/history_long.txt 3 comments historical
- Garnet Project https://www.cs.cmu.edu/~garnet/ 4 comments common_lisp
- A textbook on Discrete Differential Geometry [15mb PDF] https://www.cs.cmu.edu/~kmcrane/projects/ddg/paper.pdf 3 comments math
- ABC: A C compiler for printable x86 https://www.cs.cmu.edu/~tom7/abc/ 6 comments coding
- [PDF] Implementing Malloc: Students and Systems Programming http://www.cs.cmu.edu/~bryant/pubdir/sigcse18.pdf 42 comments programming
- Burritos for the Hungry Mathematician https://www.cs.cmu.edu/~edmo/silliness/burrito_monads.pdf 5 comments programming
- Purely Functional Data Structures – Okasaki (PDF) https://www.cs.cmu.edu/~rwh/theses/okasaki.pdf 21 comments programming
- 3D Object Manipulation in a Single Photograph using Stock 3D Models http://www.cs.cmu.edu/~om3d/ 8 comments programming
- Working in a research lab straight out of undergrad? http://www.cs.cmu.edu/~harchol/gradschooltalk.pdf 3 comments cscareerquestions
- The Power of Interoperability: Why Objects Are Inevitable https://www.cs.cmu.edu/~aldrich/papers/objects-essay.pdf 11 comments programming
- Typestate-Oriented Programming / The Plaid Language http://www.cs.cmu.edu/~aldrich/papers/onward2009-state.pdf 9 comments programming
- Common Lisp the Language, 2nd Edition http://www.cs.cmu.edu/groups/ai/html/cltl/clm/node1.html 4 comments lisp
- How Software Companies Die by Orson Scott Card http://www.cs.cmu.edu/~chuck/jokepg/joke_19970213_01.txt 617 comments programming
- The Future of Standard ML - ML Workshop, Boston, September, 2013. http://www.cs.cmu.edu/%5C~rwh/talks/mlw13.pdf 2 comments sml
- Common Lisp: A Gentle Introduction to Symbolic Computation - back in print, 2013, Dover Publications, with minor corrections http://www.cs.cmu.edu/~dst/lispbook/ 10 comments lisp
- Internally deterministic parallel algorithms can be fast [pdf] http://www.cs.cmu.edu/~guyb/papers/bfgs12.pdf 6 comments compsci
- Loop: yes or no? And why? http://www.cs.cmu.edu/groups/ai/html/cltl/clm/node235.html 9 comments lisp
- Question about "Practical Foundations of Programming Languages" http://www.cs.cmu.edu/~rwh/plbook/book.pdf 11 comments haskell
- [PDF] Reliable Distributed Computing with Avalon/ Common LISP http://www.cs.cmu.edu/~wing/publications/clamen-wing90.pdf 5 comments lisp
- Barry Goldwater in 1993 on gays serving in the military. 17 years and this could have been written yesterday. http://www.cs.cmu.edu/afs/cs/user/scotts/bulgarians/barry-goldwater.html 3 comments politics
- You’ve probably seen Scientologists with these weird cans wired to a meter? http://www.cs.cmu.edu/~dst/secrets/e-meter/ 155 comments science
- Linux's History by Linus Torvalds: emails from 1992 http://www.cs.cmu.edu/~awb/linux.history.html 35 comments linux
- Windows update a security threat: Automatic Patch-Based Exploit Generation http://www.cs.cmu.edu/~dbrumley/pubs/apeg.html 3 comments netsec
- The story of Margery Wakefield: Into and out of Scientology http://www.cs.cmu.edu/~dst/library/shelf/wakefield/testimony-00.html 2 comments reddit.com
- The Secret Library of Scientology (What L. Ron Hubbard would *not* want you to read!) http://www.cs.cmu.edu/~dst/library/index.html 2 comments reddit.com
- The First Smiley http://www.cs.cmu.edu/~sef/sefsmiley.htm 5 comments reddit.com
- Purely Functional Data Structures - Chris Okasaki's seminal work [pdf] [thesis] http://www.cs.cmu.edu/~rwh/theses/okasaki.pdf 3 comments programming
- A display of color themes for GNU Emacs http://www.cs.cmu.edu/~maverick/gnuemacscolorthemetest/index-pl.html 9 comments programming
- The Origins of the Smiley http://www.cs.cmu.edu/~sef/orig-smiley.htm 2 comments reddit.com
- The Math of 1950s dating: The traditional marriage algorithm always produces a male-optimal female-pessimal pairing http://www.cs.cmu.edu/afs/cs.cmu.edu/academic/class/15251-s05/site/materials/lectures/lecture11/slide/slide51.html 2 comments reddit.com
Lambda the Ultimate
- Towards a Mechanized Metatheory of Standard ML http://www.cs.cmu.edu/~rwh/papers/tslf/full.pdf 1 comment Functional , Semantics , Type Theory