| 31. | | Show HN: Rewtro plays tiny videogames encoded in origami GameBoy cartridges (github.com/kesiev) |
| 117 points by kesiev on Dec 30, 2019 | 26 comments |
|
| 32. | | The Machine Stops (1909) [pdf] (uri.edu) |
| 103 points by tosh on July 17, 2019 | 17 comments |
|
| 33. | | Learn TLA+ (2018) (learntla.com) |
| 387 points by brodo on April 14, 2019 | 92 comments |
|
| 34. | | The Knot Book: Introduction to the Mathematical Theory of Knots (1994) [pdf] (math.harvard.edu) |
| 204 points by lainon on Feb 7, 2019 | 26 comments |
|
| 35. | | Programming the Z3 SMT solver (stanford.edu) |
| 251 points by pplonski86 on Feb 6, 2019 | 53 comments |
|
| 36. | | Our Software Dependency Problem (swtch.com) |
| 405 points by dmit on Jan 23, 2019 | 171 comments |
|
| 37. | | Typeful Programming (1993) [pdf] (lucacardelli.name) |
| 44 points by tpush on Jan 10, 2019 | 2 comments |
|
| 38. | | Functional, stateless JavaScript finite state machines and statecharts (xstate.js.org) |
| 226 points by michaelsbradley on Nov 19, 2018 | 40 comments |
|
| 39. | | Mathematics as thought (aeon.co) |
| 147 points by magoghm on Oct 12, 2018 | 78 comments |
|
| 40. | | Model-Based Machine Learning Book (mbmlbook.com) |
| 365 points by r0f1 on Oct 12, 2018 | 12 comments |
|
| 41. | | How did software get so reliable without proof? (1996) [pdf] (gwern.net) |
| 83 points by elcapitan on Sept 23, 2018 | 33 comments |
|
| 42. | | Forecasting: Principles and Practice (otexts.org) |
| 160 points by yarapavan on Sept 10, 2018 | 11 comments |
|
| 43. | | Leverage Points: Places to Intervene in a System (donellameadows.org) |
| 114 points by pjc50 on Aug 15, 2018 | 12 comments |
|
| 44. | | A Parable by Dijkstra (1973) (utexas.edu) |
| 296 points by fpvsoop on July 16, 2018 | 102 comments |
|
| 45. | | Software-Defined Radio for Engineers [pdf] (analog.com) |
| 352 points by app4soft on June 26, 2018 | 50 comments |
|
| 46. | | The Carrying-Cost of Code: Taking Lean Seriously (2011) (michaelfeathers.typepad.com) |
| 68 points by mpweiher on June 16, 2018 | 18 comments |
|
| 47. | | Harvard Classics Book Download (myharvardclassics.com) |
| 412 points by kqr2 on May 26, 2018 | 71 comments |
|
| 48. | | AstroNavigation – A free course (vanderbilt.edu) |
| 299 points by jweir on May 5, 2018 | 38 comments |
|
| 49. | | Exploring different microcontrollers less than $1 (jaycarlson.net) |
| 929 points by stefanpie on Nov 6, 2017 | 183 comments |
|
| 50. | | Barriers to Equality in Academia: Women in Computer Science at MIT (1983) (washington.edu) |
| 63 points by eaguyhn on Sept 1, 2017 | 33 comments |
|
| 51. | | Georgia Tech's free math textbook collective (gatech.edu) |
| 834 points by ColinWright on June 18, 2017 | 78 comments |
|
| 52. | | The BEAM Book – A Description of the Erlang RTS and the Virtual Machine BEAM (github.com/happi) |
| 336 points by weatherlight on April 7, 2017 | 14 comments |
|
| 53. | | Leslie Lamport: Video course on TLA+ (lamport.azurewebsites.net) |
| 328 points by kelvich on March 20, 2017 | 74 comments |
|
| 54. | | Causal Inference Book (hsph.harvard.edu) |
| 261 points by onuralp on March 7, 2017 | 27 comments |
|
| 55. | | Physics as a Way of Thinking (1936) [pdf] (osu.edu) |
| 181 points by 7alman on Feb 22, 2017 | 12 comments |
|
| 56. | | Ask HN: Online Security Tips for Newbie Freedom Activists? |
| 197 points by tokenadult on Jan 29, 2017 | 131 comments |
|
| 57. | | CHIP-8 in Common Lisp: The CPU (stevelosh.com) |
| 125 points by stevelosh on Dec 19, 2016 | 70 comments |
|
| 58. | | Ask HN: Have any side projects from Show HN gone big? |
| 247 points by farm_code on Dec 5, 2016 | 166 comments |
|
| 59. | | Joe Armstrong Interviews Alan Kay [video] (youtube.com) |
| 269 points by tosh on Nov 24, 2016 | 50 comments |
|
| 60. | | Show HN: Primitive for macOS (primitive.lol) |
| 798 points by fogleman on Nov 15, 2016 | 145 comments |
|
|
| More |
