Hacker News
- A Core Calculus for Documents [pdf] https://cs.brown.edu/~sk/Publications/Papers/Published/ck-core-calc-doc-lambda-ultimate-doc/paper.pdf 21 comments
- Programming Languages: Application and Interpretation (2021) http://cs.brown.edu/courses/cs173/2012/book/ 18 comments
- The Structure and Interpretation of the Computer Science Curriculum (2004) http://cs.brown.edu/~sk/Publications/Papers/Published/fffk-htdp-vs-sicp-journal/ 13 comments
- Canopy: An End-to-End Performance Tracing And Analysis System [pdf] https://cs.brown.edu/~jcmace/papers/kaldor2017canopy.pdf 9 comments
- Blockchains from a Distributed Computing Perspective [pdf] http://cs.brown.edu/courses/csci2952-a/papers/perspective.pdf 66 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
- Programming Languages: Application and Interpretation by Shriram Krishnamurthi http://www.cs.brown.edu/~sk/Publications/Books/ProgLangs/ 7 comments
Lobsters
- Hygienic Resugaring of Compositional Desugaring https://cs.brown.edu/~sk/Publications/Papers/Published/pk-hyg-resugaring-comp-desugaring/ 2 comments plt
- Teaching Programming Languages in a Post-Linnaean Age (2008) https://cs.brown.edu/~sk/Publications/Papers/Published/sk-teach-pl-post-linnaean/paper.pdf 3 comments pdf , philosophy , plt , programming
- Confusion over many-to-one kernel threading benefit. https://cs.brown.edu/research/thmon/thmon2a.html 4 comments osdev
- What Happens When Students Switch (Functional) Languages (Experience Report) [PDF] https://cs.brown.edu/~sk/Publications/Papers/Published/lkft-switch-fun-lang/paper.pdf 3 comments programminglanguages
- What are some "standard" RL algorithms to solve POMDPs? https://cs.brown.edu/research/ai/pomdp/tutorial/index.html 14 comments reinforcementlearning
- Calculating the energy for seam carving http://cs.brown.edu/courses/cs129/results/proj3/taox/ 3 comments learnprogramming
- "NIPS 2017 Notes", David Abel https://cs.brown.edu/%7Edabel/blog/posts/misc/nips_2017.pdf 3 comments reinforcementlearning
- How good is this course for OS? http://cs.brown.edu/courses/csci1670/index.html 5 comments compsci
- [pdf] A critical view of SICP and rationale for HtDP https://cs.brown.edu/~sk/publications/papers/published/fffk-htdp-vs-sicp/paper.pdf 7 comments programming
- Programming Languages: Application and Interpretation http://cs.brown.edu/courses/cs173/2012/book/ 82 comments programming
- 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
- Programming language "paradigms" are a moribund and tedious legacy of a bygone age. [pdf] http://cs.brown.edu/~sk/publications/papers/published/sk-teach-pl-post-linnaean/paper.pdf 41 comments programming
- Code Bubbles is an IDE that allows you to lay out and edit your code visually by function. http://cs.brown.edu/~spr/codebubbles/ 14 comments java
- "A Software Crisis? 'Please, sir, may I have some more?'" http://cs.brown.edu/events/talks/notkin.html 27 comments programming
- Collide and slide a sphere against complex geometry http://cs.brown.edu/courses/cs195u/lectures/lecture6.pdf 7 comments gamedev
- 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
- 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
- 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
- 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
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
- Relationally-Parametric Polymorphic Contracts http://www.cs.brown.edu/~sk/Publications/Papers/Published/gmfk-rel-par-poly-cont/ 0 comments Functional , 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
- Validating the Unit Correctness of Spreadsheet Programs http://www.cs.brown.edu/~sk/Publications/Papers/Published/asknf-valid-unit-sprdsht/ 7 comments DSL