Hacker News
- Cuckoo Filter: Practically Better Than Bloom (2014) [pdf] https://www.eecs.harvard.edu/~michaelm/postscripts/cuckoo-conext2014.pdf 13 comments
- Swiss German is not context-free (unlike virtually all other languages) (1985) [pdf] http://www.eecs.harvard.edu/~shieber/Biblio/Papers/shieber85.pdf 5 comments
- Why Systolic Architectures? (1982) [pdf] http://www.eecs.harvard.edu/~htk/publication/1982-kung-why-systolic-architecture.pdf 5 comments
- Evidence of the context-freeness of Natural Language (1985) [pdf] http://www.eecs.harvard.edu/~shieber/Biblio/Papers/shieber85.pdf 8 comments
- How to Read a Research Paper [pdf] http://www.eecs.harvard.edu/~michaelm/postscripts/ReadPaper.pdf 48 comments
- Swiss German is not context-free (unlike virtually all other languages) http://www.eecs.harvard.edu/~shieber/Biblio/Papers/shieber85.pdf 2 comments
- SEDA: An Architecture for Highly Concurrent Server Applications http://www.eecs.harvard.edu/~mdw/proj/seda/ 3 comments
- Hierarchical File Systems are Dead http://www.eecs.harvard.edu/~margo/papers/hotos09/ 54 comments
- Kernighan's thoughts on scripting languages -or- Why He Loves Awk http://www.eecs.harvard.edu/cs152/lectures/CS152-Lecture_14-Kernighan.pdf 3 comments
- The One True Text Editor http://www.eecs.harvard.edu/~cduan/technical/vi/index.shtml 32 comments
- Understanding Git http://www.eecs.harvard.edu/~cduan/technical/git/ 12 comments
- Harvard CS264: Peer-to-Peer Systems (great list of papers) http://www.eecs.harvard.edu/~mema/courses/cs264/cs264.html#schedule 6 comments
- Y combinator (the function) in Ruby http://www.eecs.harvard.edu/~cduan/technical/ruby/ycombinator.shtml 3 comments
- How to leverage my math - fun papers to read? http://www.eecs.harvard.edu/cs286r/courses/fall09/papers/galeshapley.pdf 5 comments math
- MIPS assembly language programming (pdf) http://www.eecs.harvard.edu/~ellard/courses/cs50-asm.pdf 30 comments programming
- Hierarchical File Systems are Dead http://www.eecs.harvard.edu/~margo/papers/hotos09/ 7 comments compsci
- Nikola: array computations embedded in Haskell that compiles to GPUs via CUDA http://www.eecs.harvard.edu/~mainland/projects/nikola/ 4 comments haskell
- Nikola: Embedding Compiled GPU Functions in Haskell :: PDF http://www.eecs.harvard.edu/~mainland/publications/mainland10nikola.pdf 3 comments haskell
- Researchers: Let users pick any password they want, unless it's ~too~ popular http://www.eecs.harvard.edu/~michaelm/postscripts/hotsec2010.pdf 53 comments programming
- Brian Kernighan: Random thoughts on scripting languages [PDF] http://www.eecs.harvard.edu/cs152/lectures/cs152-lecture_14-kernighan.pdf 84 comments programming
- Amazing collection of papers on Advanced Functional Programming at Harvard http://www.eecs.harvard.edu/~govereau/cs252r/ 12 comments programming
- Autovivication in Ruby hashes - A Use of the Y Combinator http://www.eecs.harvard.edu/~cduan/technical/ruby/ycombinator.shtml 7 comments ruby
- understanding git http://www.eecs.harvard.edu/~cduan/technical/git/ 13 comments programming
- Automatically Generating the Back End of a Compiler Using Declarative Machine Descriptions http://www.eecs.harvard.edu/dias/dissertation/dissertation.pdf 6 comments programming
- An elegant and practical use of the Y combinator for autovivifying hashes http://www.eecs.harvard.edu/~cduan/technical/ruby/ycombinator.shtml 5 comments programming
- A bit of humor for the musically inclined... [jpg] http://www.eecs.harvard.edu/%7Eshnayder/personal/pics/deathwaltz.jpg 16 comments reddit.com
Lambda the Ultimate
- The YNot Project http://www.eecs.harvard.edu/~greg/ynot/ 24 comments Functional , Implementation , Semantics , Type Theory
- Zipper as Insecticide http://www.eecs.harvard.edu/~nr/pubs/zipcfg-abstract.html 0 comments Functional , Implementation
- An Expressive Language of Signatures http://www.eecs.harvard.edu/~nr/pubs/els-abstract.html 6 comments Software Engineering
- Norman Ramsey: CS257 - Programming with Concurrency http://www.eecs.harvard.edu/~nr/cs257/ss.html 7 comments Parallel/Distributed
- Module Mania: A Type-Safe, Separately Compiled, Extensible Interpreter http://www.eecs.harvard.edu/~nr/pubs/maniaws-abstract.html 0 comments DSL , Functional , General , Implementation , Semantics , Theory , Type Theory
- From shift and reset to polarized linear logic http://www.eecs.harvard.edu/~ccshan/polar/paper.pdf 15 comments Functional , Lambda Calculus , Semantics , Type Theory
- Region Streams: Functional Macroprogramming for Sensor Networks http://www.eecs.harvard.edu/~mdw/papers/regiment-dmsn04.pdf 1 comment DSL , Functional
- Ken Shan: Shift to Control http://www.eecs.harvard.edu/~ccshan/recur/recur.pdf 20 comments Theory
- Higher-order module system of ML is actually possible in Haskell http://www.eecs.harvard.edu/~ccshan/xlate/xlate.pdf 1 comment Type Theory
- Linguistic side effects http://www.eecs.harvard.edu/~ccshan/nepls8/talk.pdf 6 comments general
- Stochastic Lambda Calculus http://www.eecs.harvard.edu/~nr/pubs/pmonad-abstract.html 0 comments LC