| 31. | | Exploring Zork (2012) (filfre.net) |
| 83 points by pmoriarty on Aug 18, 2019 | 22 comments |
|
| 32. | | Rust implementation of projects from “Modern Compiler Implementation in ML” (github.com/antoyo) |
| 56 points by adamnemecek on July 12, 2019 | 1 comment |
|
| 33. | | Hostyoself: Server in a browser – host from your computer, your phone, etc. (github.com/schollz) |
| 315 points by panphora on July 12, 2019 | 81 comments |
|
| 34. | | My First Fifteen Compilers (sigplan.org) |
| 388 points by azhenley on July 11, 2019 | 77 comments |
|
| 35. | | Show HN: Fast, Easy System Diagrams (architype.io) |
| 59 points by flamingcow on July 12, 2019 | 11 comments |
|
| 36. | | Open-Sourcing Inform 7 (emshort.com) |
| 193 points by sp332 on July 12, 2019 | 54 comments |
|
| 37. | | Sieve of Eratosthenes in APL (aplwiki.com) |
| 2 points by logicprog on June 26, 2019 |
|
| 38. | | The Obsessively Complete Infocom Catalog (eblong.com) |
| 82 points by homarp on June 15, 2019 | 21 comments |
|
| 39. | | Beta: Tool for a Linguist (github.com/koskenni) |
| 59 points by anewhnaccount2 on May 24, 2019 | 7 comments |
|
| 40. | | Knit, Chisel, Hack: Building Programs in Guile Scheme (2016) [video] (youtube.com) |
| 47 points by tosh on May 18, 2019 | 5 comments |
|
| 41. | | Basic Disassembly with Libopcodes (yossarian.net) |
| 18 points by pplonski86 on May 19, 2019 | 2 comments |
|
| 42. | | The struggles of an open source maintainer (antirez.com) |
| 719 points by ngaut on May 17, 2019 | 216 comments |
|
| 43. | | Demystifying Database Systems: An Introduction to Transaction Isolation Levels (fauna.com) |
| 202 points by freels on May 3, 2019 | 22 comments |
|
| 44. | | Nation's only Civil War pensioner collects $73 a month from VA (2017) (floridatoday.com) |
| 146 points by gscott on March 23, 2019 | 34 comments |
|
| 45. | | Ghidra, NSA's reverse-engineering tool (nsa.gov) |
| 1283 points by twodayslate on March 5, 2019 | 405 comments |
|
| 46. | | ArchiveBox: Open-source self-hosted web archive (github.com/pirate) |
| 381 points by based2 on March 9, 2019 | 59 comments |
|
| 47. | | CVC4: the smt solver (nyu.edu) |
| 1 point by luu on June 20, 2014 |
|
| 48. | | Launch HN: Synthetic Minds (YC S18) – Program Synthesis to Protect Dapps |
| 99 points by saurabh20n on July 11, 2018 | 42 comments |
|
| 49. | | What every compiler writer should know about programmers (2015) [pdf] (tuwien.ac.at) |
| 88 points by mpweiher on April 14, 2019 | 62 comments |
|
| 50. | | Vampire: First-Order Theorem Proving [pdf] (chalmers.se) |
| 68 points by tosh on April 14, 2019 | 19 comments |
|
| 51. | | Show HN: Programmatically Generate Diagrams for GitHub Readmes (github.com/schachte) |
| 220 points by rschachte on April 14, 2019 | 18 comments |
|
| 52. | | Thomas Kuhn Wasn't So Bad (scientificamerican.com) |
| 143 points by pseudolus on April 14, 2019 | 58 comments |
|
| 53. | | Historic Tale Construction Kit – Bayeux (htck.github.io) |
| 102 points by paulb81 on July 9, 2018 | 11 comments |
|
| 54. | | I would like to share 500 Data Structure and Algorithms problems |
| 126 points by kevin996 on March 25, 2018 | 9 comments |
|
| 55. | | Data structures and algorithms interview questions and their solutions (quora.com) |
| 397 points by adamnemecek on April 16, 2017 | 103 comments |
|
| 56. | | 'Memtransistor' Forms Foundational Circuit Element to Neuromorphic Computing (ieee.org) |
| 110 points by charlysl on Feb 25, 2018 | 29 comments |
|
| 57. | | The Q Language (kx.com) |
| 249 points by callinyouin on Dec 12, 2017 | 150 comments |
|
| 58. | | A Proposal for the Dartmouth Summer Research Project on AI annotated (fermatslibrary.com) |
| 9 points by slbenfica on Dec 5, 2017 |
|
| 59. | | A Guide to Parsing: Algorithms and Terminology (tomassetti.me) |
| 151 points by ingve on Sept 27, 2017 | 9 comments |
|
| 60. | | Gophersat: A SAT solver written in Go (github.com/crillab) |
| 133 points by sacado2 on Sept 28, 2017 | 36 comments |
|
|
| More |
