Hacker News
- Exterminate All Operating System Abstractions (1996) [pdf] http://www.cs.berkeley.edu/~brewer/cs262b/hotos-exokernel.pdf 48 comments
- Caches and Lisp: faster list processing via auto-rearranging memory (2003) [pdf] http://www.cs.berkeley.edu/~fateman/papers/cachelisp.pdf 7 comments
- Show HN: How eventual is eventual consistency? http://cs.berkeley.edu/~pbailis/projects/pbs/#demo 2 comments
- Why can I Debug some Numerical Programs that You Can’t? Why should we care? http://www.cs.berkeley.edu/~wkahan/Stnfrd50.pdf 18 comments
Lobsters
- On Optimistic Methods for Concurrency Control http://www.cs.berkeley.edu/~rxin/db-papers/OCC-Optimistic-Concurrency-Control.pdf 3 comments compsci , pdf
- Which is better, Scheme or Python? [by Prof Brian Harvey] https://www.cs.berkeley.edu/~bh/proglang.html 9 comments lisp
- Help with OID 1.3.132.1.11.2 (dhSinglePass_stdDH_sha384kdf_scheme)? http://www.cs.berkeley.edu/~jonah/bc/org/bouncycastle/crypto/agreement/kdf/ECDHKEKGenerator.html 3 comments crypto
- "Why Structure and Interpretation of Computer Programs matters", written by Brian Harvey, who used to teach a course based on that at Berkeley http://www.cs.berkeley.edu/~bh/sicp.html 23 comments compsci
- Man-in-the-Middle Attack on T-Mobile Wi-Fi Calling http://www.cs.berkeley.edu/~cthompson/t-mobile/ 18 comments netsec
- Scheme vs. Python as a learning language, professor' point of view http://www.cs.berkeley.edu/~bh/proglang.html 223 comments programming
- A new way to build round houses. Easy. Simple. Ultra-low-cost. Light weight. Super strong per kg of material. Portable. http://www.cs.berkeley.edu/~sequin/art/bridges2004/domes/dscf0095b.html 8 comments science
- Social Influences on Language Adoption (PDF) http://www.cs.berkeley.edu/~lmeyerov/projects/socioplt/papers/icse13.pdf 3 comments programming
- The original sphere eversion algorithm developed by the blind topologist Bernhard Morin http://www.cs.berkeley.edu/~sequin/sculpts/snowsculpt04/morin/visualization/visualiz.htm 7 comments math
- Matrix multiplication breakthrough: O(n^2.373) time algorithm [link goes to pdf] http://www.cs.berkeley.edu/~virgi/matrixmult.pdf 107 comments compsci
- Response to the Coburn report that the NSF has too much money http://www.cs.berkeley.edu/~pabbeel/abbeel-coburn-nsf.html 5 comments science
- MoebiusGearA.JPG http://www.cs.berkeley.edu/~sequin/cs285/proj_06/a_hoover/moebiusgeara.jpg 16 comments compsci
- Umm... yes... you can now write new GHC compiler passes in Coq (!!?) http://www.cs.berkeley.edu/~megacz/coq-in-ghc/ 16 comments haskell
- Probability and statistics cheat sheet http://www.cs.berkeley.edu/~mavam/dl/probstat.pdf 6 comments math
- Berkeley programming professor posted an interesting "quiz" for fun. I think you guys will enjoy this. http://www.cs.berkeley.edu/~lorch/personal/self-ref.html 326 comments programming
- data parallel pythoon using cuda http://www.cs.berkeley.edu/~demmel/cs267_Spr09/Lectures/CatanzaroIntroToCUDA.ppt 7 comments gpgpu
- Simply Scheme: full text published online http://www.cs.berkeley.edu/~bh/ss-toc2.html 3 comments scheme
- W. Kahan's latest lament: "We are being thrown back to the state of floating-point software as it was five decades ago (...)" - concurrency, numerical stability, inexistent debugging tools [pdf] http://www.cs.berkeley.edu/~wkahan/bascd08k.pdf 4 comments programming
- Sensational computing algorithms, a course http://www.cs.berkeley.edu/~karp/greatalgo/ 38 comments programming
- The FL Project: The Design of a Functional Language [pdf] http://www.cs.berkeley.edu/~aiken/ftp/fl.ps 14 comments programming
- Möbius Gear [pic] http://www.cs.berkeley.edu/~sequin/cs285/proj_06/a_hoover/moebiusgeara.jpg 75 comments reddit.com
- Algorithms (book draft) http://www.cs.berkeley.edu/~vazirani/algorithms.html 20 comments programming
- What is a Hacker? http://www.cs.berkeley.edu/~bh/hacker.html 13 comments programming
- Simply Scheme (free ebook) http://www.cs.berkeley.edu/~bh/simply-toc.html 7 comments programming
- What is a Logo-Like Language? http://www.cs.berkeley.edu/~bh/elogo.html 3 comments programming
- What to do (and not do) during an academic talk http://www.cs.berkeley.edu/~jrs/speaking.html 17 comments reddit.com
- Comparing Objective Caml and Standard ML http://www.cs.berkeley.edu/~adamc/mlcomp/ 4 comments programming
- Programming Language Usage Graph 2000-2006, as defined by statistics on open-source projects at SourceForge. http://www.cs.berkeley.edu/~flab/languages.html 89 comments programming
- Hints On Programming Language Design (nouveau classic from the days of yore!) http://www.cs.berkeley.edu/~necula/cs263/handouts/hoarehints.pdf 4 comments programming
- How to eliminate teenage hackers? Give teenagers more power, not less. http://www.cs.berkeley.edu/~bh/hackers.html 3 comments reddit.com
Lambda the Ultimate
- Dependent Types for Low-Level Programming http://www.cs.berkeley.edu/~necula/Papers/deputy-esop07.pdf 16 comments Theory , Type Theory
- Joe-E: A Security-Oriented Subset of Java http://www.cs.berkeley.edu/~daw/papers/joe-e-ndss10.pdf 19 comments OOP , Semantics
- Brian Harvey books available online http://www.cs.berkeley.edu/~bh/logo.html 2 comments Misc-Books
- Proof-Carrying Code (overview) http://www.cs.berkeley.edu/~necula/pcc.html 2 comments Software-Eng
- Wirth: On the Design of Programming Languages http://www.cs.berkeley.edu/~necula/cs263/handouts/PLHistoryGoodDesign.PDF 11 comments history
- Hoare's "Hints for Programming Language Design". http://www.cs.berkeley.edu/~necula/cs263/handouts/hoarehints.pdf 2 comments history