Hacker News
- Berkeley Logo http://www.cs.berkeley.edu/~bh/logo.html 31 comments
- What is a Hacker? (1985) http://www.cs.berkeley.edu/~bh/hacker.html 29 comments
- An Interview with the Old Man of Floating-Point (1998) http://www.cs.berkeley.edu/~wkahan/ieee754status/754story.html 17 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
- Bring me Cakes and Ale http://www.cs.berkeley.edu/~lorch/humor/cakes.html 3 comments
- Simply Scheme (now a free ebook from UC Berkeley) http://www.cs.berkeley.edu/~bh/simply-toc.html 2 comments
- Which is better, Scheme or Python? [by Prof Brian Harvey] https://www.cs.berkeley.edu/~bh/proglang.html 9 comments lisp
- 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
- 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
- A Certified Type-Preserving Compiler from Lambda Calculus to Assembly Language http://www.cs.berkeley.edu/~adamc/papers/CtpcPLDI07/ 14 comments Functional , Implementation , Lambda Calculus , Meta-Programming , Semantics , Type Theory
- Software Fault Prevention by Language Choice http://www.cs.berkeley.edu/~fateman/papers/software.pdf 13 comments critiques
- How Java's Floating Point Hurts Everyone Everywhere http://www.cs.berkeley.edu/~wkahan/JAVAhurt.pdf 8 comments implementation
- 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
- Abstract Interpretation (good lecture notes) http://www.cs.berkeley.edu/~necula/cs263/lectures/lecture11.pdf 0 comments theory
- Hoare's "Hints for Programming Language Design". http://www.cs.berkeley.edu/~necula/cs263/handouts/hoarehints.pdf 2 comments history