Hacker News
- Why Computer Science Doesn't Matter http://www.cs.brown.edu/~sk/Publications/Papers/Published/fk-why-cs-doesnt-matter/paper.pdf 8 comments
- Automata via Macros (Lisp) [pdf] http://www.cs.brown.edu/~sk/Publications/Papers/Published/sk-automata-macros/paper.pdf 3 comments
- A critical view of SICP and rationale for HtDP http://www.cs.brown.edu/~sk/Publications/Papers/Published/fffk-htdp-vs-sicp-journal/paper.pdf 10 comments
- Teaching programming languages: a novel approach http://www.cs.brown.edu/~sk/Publications/Papers/Published/sk-teach-pl-post-linnaean/ 21 comments
- Programming Languages: Application and Interpretation by Shriram Krishnamurthi http://www.cs.brown.edu/~sk/Publications/Books/ProgLangs/ 7 comments
- Scheme: The Swine before Perl http://www.cs.brown.edu/~sk/Publications/Talks/SwineBeforePerl/ 3 comments
- CS123: Introduction to Computer Graphics http://www.cs.brown.edu/courses/cs123/lectures.htm 4 comments
- SIGGRAPH 2007 papers on the web http://www.cs.brown.edu/~tor/sig2007.html 4 comments
- How do search engines return queries so quickly considering the speed of hard drives? http://www.cs.brown.edu/courses/cs295-11/2006/gfs.pdf 30 comments askscience
- Challenges in Lazy Programming. Enjoy. http://www.cs.brown.edu/courses/cs173/2008/assignments/04-laziness-prog.html 50 comments programming
- This is a great resource for anyone who knows java and wants to learn c++! http://www.cs.brown.edu/courses/cs123/java_to_c.shtml 3 comments learnprogramming
- A critical view of SICP and rationale for HtDP [pdf] http://www.cs.brown.edu/~sk/publications/papers/published/fffk-htdp-vs-sicp-journal/paper.pdf 58 comments programming
- Programming Languages: Application and Interpretation http://www.cs.brown.edu/~sk/publications/books/proglangs/2007-04-26/plai-2007-04-26.pdf 11 comments programming
- YO DAWG I HERD YOU LIKE RECURSIVE ALGORITHMS... http://www.cs.brown.edu/courses/cs016/ 26 comments programming
- CodeBubbles: an IDE based on good ideas. http://www.cs.brown.edu/people/acb/codebubbles_site.htm 52 comments coding
- Code Bubbles Project: Rethinking the User Interface Paradigm of Integrated Development Environments http://www.cs.brown.edu/people/acb/codebubbles_site.htm 63 comments programming
- Automata via Macros http://www.cs.brown.edu/~sk/publications/papers/published/sk-automata-macros/paper.pdf 19 comments programming
- Refuting the Strong Church-Turing Thesis http://www.cs.brown.edu/people/pw/strong-cct.pdf 10 comments math
- Refuting the Strong Church-Turing Thesis http://www.cs.brown.edu/people/pw/strong-cct.pdf 9 comments programming
- Graphics programming lectures by Andries van Dam http://www.cs.brown.edu/courses/cs123/lectures.htm 12 comments programming
- The Moby Scheme Compiler for Smartphones http://www.cs.brown.edu/~sk/publications/talks/moby-bootstrap/ 4 comments programming
- Programming Languages: Application and Interpretation (Free pdf book) http://www.cs.brown.edu/~sk/publications/books/proglangs/2007-04-26/? 14 comments programming
- Programming language "paradigms" are a moribund and tedious legacy of a bygone age. http://www.cs.brown.edu/~sk/publications/papers/published/sk-teach-pl-post-linnaean/ 19 comments programming
- PLT Scheme talk by Shriram (links to page with pdf, audio) http://www.cs.brown.edu/~sk/publications/talks/swinebeforeperl/ 6 comments programming
- Programming Languages: Application and Interpretation by Shriram Krishnamurthi (free!) http://www.cs.brown.edu/~sk/publications/books/proglangs/ 30 comments programming
- Tutorial on graph drawing http://www.cs.brown.edu/people/rt/gd-tutorial.html 5 comments programming
- Implementation and Use of the PLT Scheme Web Server http://www.cs.brown.edu/~sk/publications/papers/published/khmgpf-impl-use-plt-web-server-journal/ 4 comments programming
- Old Text: "Continuations from generalized stack inspection" (pdf) http://www.cs.brown.edu/people/sk/publications/papers/published/pcmkf-cont-from-gen-stack-insp/paper.pdf 3 comments programming
Lambda the Ultimate
- Brown CS: CSCI 1730: Programming Languages: On-Line Offering http://www.cs.brown.edu/courses/cs173/2012/Assignments/ 3 comments Teaching & Learning
- Code Bubbles http://www.cs.brown.edu/people/acb/codebubbles_site.htm 19 comments Fun
- DivaScheme http://www.cs.brown.edu/research/plt/software/divascheme/ 13 comments General
- Relationally-Parametric Polymorphic Contracts http://www.cs.brown.edu/~sk/Publications/Papers/Published/gmfk-rel-par-poly-cont/ 0 comments Functional , Software Engineering
- The Design and Implementation of a Dataflow Language for Scriptable Debugging http://www.cs.brown.edu/~sk/Publications/Papers/Published/mcskr-dataflow-lang-script-debug-journal/ 8 comments DSL , Functional , Implementation , Logic/Declarative , Software Engineering
- Programming Languages: Application and Interpretation http://www.cs.brown.edu/~sk/Publications/Books/ProgLangs/ 18 comments Misc Books
- Educational Pearl: Automata as Macros http://www.cs.brown.edu/~sk/Publications/Papers/Published/sk-automata-macros/ 60 comments Functional , Meta-Programming
- MzTake: A Scriptable Debugger http://www.cs.brown.edu/research/plt/software/mztake/ 3 comments DSL
- Pointcuts and Advice in Higher-Order Languages http://www.cs.brown.edu/~sk/Publications/Papers/Published/tk-ptcts-adv-ho-lang/ 2 comments Software-Eng
- Validating the Unit Correctness of Spreadsheet Programs http://www.cs.brown.edu/~sk/Publications/Papers/Published/asknf-valid-unit-sprdsht/ 7 comments DSL
- Programming Languages: Application and Interpretation http://www.cs.brown.edu/~sk/Publications/Books/ProgLangs/ 3 comments Misc-Books
- Lambda Calculus http://www.cs.brown.edu/courses/cs173/2003/Textbook/lc.pdf 4 comments functional