.. _links: Links ====== Essays I've Liked ----------------- - `A Mathematician's Apology - G.H. Hardy [PDF] `__ - `All I really need to know - David Stern `__ - `What I learned building a parallel processor company from scratch - Andreas Olofsson `__ - `Principles of Effective Research - Michael Nielsen `__ - `Avoiding Classic Mistakes [In Software Engineering] - Steve McConnell `__ - `Infinite Monkeys - Wisdom of Hacker News `__ - `Reflections on my CS PhD Application Process - Bodun Hu `__ - `Lessons from my PhD - Austin Henley `__ - `How To Do Great Work - Paul Graham `__ - `Work Hard - Terence Tao `__ - `Turd Sandwiches and Purpose In Life - AvE [video] `__ - `The TANDBERG Way - Olve Maudal `__ - `The Bitter Lesson `_ Papers I've Liked ----------------- - `Compiler Validation via Equivalence Modulo Inputs `__ Interesting approach to testing a program for faults. To summarize: For a set of inputs 'I' to a program 'P', 'P' can be divided into executed and unexecuted code ("dead code"). Re-ordering/manipulation on the dead code should cause no variance to the outputs for the inputs. This technique "EMI" allows one to have many versions of a program (in this case, a compiler) and test for miscompilations. Programming/Hacking ------------------- - `Hacker How To - Eric Raymond `__ - `Architecture of Open Source Projects - Various Authors `__ - `Linus Torvalds' linked list argument for good taste, explained `__ - `Programming rants hosted on Felix Winkleman's (of chicken scheme fame) Website `__ - `Continuations for Curmudgeons `__ - `Video Lan (VLC) Hacker's Guide `__ - `Fast IO on Unixes by the way of 'yes' command `__ - `Greppability is an underrated code metric `__ - `Concise Electronics for Geeks `__ Blogs ----- - `Josh Haberman `__ - `John Regehr `__ - `Jannis Harder `__ - `Max Bernstein `__ - `Evan Martin `__ - `Nirav Patel (of Framework) `__ - `Riya Bisht `__ Books ----- - `PLAI - Shriram Krishnamurthy `__ - `Write yourself a scheme in Haskell - Jonathan Tang `__ - `OS: Three easy pieces `__ - `OS Design - Xinu Approach `__ Other Compilations of Books or Links ------------------------------------ - `List of compiler books `__ - `Resources for Amateur Compiler Writers `__ - `Freely Available CS Textbooks `__ - `Online Math Textbooks `__ - `Operating Systems `__ Courses ------- - `SENG475 - Advanced CPP `__ Misc ---- - `Simple Strength Fitness `__ - `Nearlyfreespeech hosting `__