Hacker Newsnew | past | comments | ask | show | jobs | submit | more butterthebuddha's favoriteslogin
31.The Sixth Stage of Grief Is Retro-Computing (2014) (medium.com/message)
147 points by cpcallen on Aug 8, 2020 | 28 comments
32.A Plea for Lean Software (1995) [pdf] (ethz.ch)
163 points by tosh on Aug 5, 2020 | 137 comments
33.Refactoring the FreeBSD Kernel with Checked C [pdf] (rochester.edu)
85 points by lelf on Aug 1, 2020 | 13 comments
34.Blue Team Rust: What Is “Memory Safety”, Really? (tiemoko.com)
191 points by ALX9 on Aug 1, 2020 | 99 comments
35.IBM Fully Homomorphic Encryption Toolkit for Linux (github.com/ibm)
152 points by 0xedb on Aug 2, 2020 | 36 comments
36.Low latency tuning guide (rigtorp.se)
294 points by ingve on Aug 2, 2020 | 98 comments
37.I translated a simple C program to x86_64 and it was slower (ecc-comp.blogspot.com)
214 points by spiffytech on April 25, 2020 | 126 comments
38.Shell Productivity Tips and Tricks (balthazar-rouberol.com)
353 points by goranmoomin on April 25, 2020 | 96 comments
39.My NixOS Desktop Flow (christine.website)
280 points by goranmoomin on April 26, 2020 | 243 comments
40.Green Threads Explained (2013) (c9x.me)
71 points by goranmoomin on April 24, 2020 | 2 comments
41.A primer on some C obfuscation tricks (github.com/colinianking)
223 points by simonpure on April 23, 2020 | 88 comments
42.The Quiet Revolution of Animal Crossing (theatlantic.com)
247 points by deegles on April 24, 2020 | 166 comments
43.Books I recommend to my software engineering students (utk.edu)
411 points by ashort11 on April 23, 2020 | 116 comments
44.Lean Book: The Hitchhiker's Guide to Logical Verification [pdf] (github.com/blanchette)
177 points by kevinbuzzard on April 6, 2020 | 19 comments
45.Userscripts Are Fun and Are Still Very Much Relevant (dutzi.party)
402 points by dutzi on April 17, 2020 | 138 comments
46.Customizing Your Shell (balthazar-rouberol.com)
61 points by chmaynard on April 17, 2020 | 50 comments
47.A book on algorithmic programming in Lisp (leanpub.com)
141 points by vseloved on April 16, 2020 | 17 comments
48.Ask HN: Resources to grok Emacs and use it well?
292 points by AnonC on April 15, 2020 | 176 comments
49.My experience with NixOS (patchgirl.io)
289 points by matsutsu on April 15, 2020 | 92 comments
50.For Donald Knuth, good coding is synonymous with beautiful expression (quantamagazine.org)
669 points by theafh on April 16, 2020 | 225 comments
51.Lessons in Managing Haskell Memory (channable.com)
122 points by ruuda on April 7, 2020 | 15 comments
52.Cofactor Explained: Clearing Elliptic Curves' dirty little secret (loup-vaillant.fr)
164 points by loup-vaillant on April 7, 2020 | 36 comments
53.How different are different diff algorithms in Git? (springer.com)
152 points by aw1621107 on March 25, 2020 | 38 comments
54.Zotero: Personal Research Assistant (zotero.org)
945 points by supdatecron on March 26, 2020 | 206 comments
55.Writing Is Thinking: Learning to Write with Confidence (stephsmith.io)
529 points by stephsmithio on Oct 6, 2019 | 83 comments
56.Notes on Technical Writing (mkaz.blog)
414 points by marcuskaz on Jan 4, 2020 | 63 comments
57.Show HN: I've been writing daily TILs for a year (github.com/jbranchaud)
819 points by jbranchaud on Feb 9, 2016 | 150 comments
58.Undervalued Engineering Skills: Writing Well (pragmaticengineer.com)
1109 points by gregdoesit on May 31, 2019 | 371 comments
59.Tell HN: C Experts Panel – Ask us anything about C
829 points by rseacord on April 14, 2020 | 962 comments
60.Darling – Run macOS software on Linux (darlinghq.org)
316 points by peter_d_sherman on March 27, 2020 | 128 comments

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: