| 1. | | Curl on 100 Operating Systems (haxx.se) |
| 308 points by LaSombra on Nov 15, 2023 | 93 comments |
|
| 2. | | A standalone zero-dependency Lisp for Linux (github.com/lone-lang) |
| 191 points by keepamovin on Nov 3, 2023 | 89 comments |
|
| 3. | | Langcc: A Next-Generation Compiler Compiler (github.com/jzimmerman) |
| 177 points by mpweiher on Sept 23, 2022 | 58 comments |
|
| 4. | | ᐊᐣᑕᔚᐣᐦᐃ ᐁᐏᒋᑭᐍ ᐅᑕᐱᓇᒪᐣ ᓂᒪᒪ ᐅᑎᔑᑭᔑᐍᐏᐣ ᒷᔦ ᐃᐡᑿᓭᐠ (cbc.ca) |
| 95 points by adamrmcd on March 25, 2022 | 59 comments |
|
| 5. | | Show HN: Monocle – bidirectional code generation library |
| 148 points by lucasluitjes on April 12, 2022 | 39 comments |
|
| 6. | | Loopy Pipe Network Converts back-and-forth flow into one-way flow (aps.org) |
| 103 points by sohkamyung on March 22, 2021 | 22 comments |
|
| 7. | | Differential Datalog (github.com/vmware) |
| 231 points by maximilianroos on March 19, 2021 | 62 comments |
|
| 8. | | Logic Puzzles with Prolog (2017) (metalevel.at) |
| 138 points by YeGoblynQueenne on Nov 19, 2019 | 26 comments |
|
| 9. | | Arb: Efficient Arbitrary-Precision Midpoint-Radius Interval Arithmetic (2016) (arxiv.org) |
| 78 points by helltone on Feb 7, 2021 | 42 comments |
|
| 10. | | The Social Life of Forests (nytimes.com) |
| 105 points by 0DHm2CxO7Lb3 on Dec 7, 2020 | 21 comments |
|
| 11. | | Show HN: NN-512 – Generate standalone C code for neural nets (nn-512.com) |
| 111 points by 37ef_ced3 on Dec 3, 2020 | 28 comments |
|
| 12. | | Binary Decision Diagrams (2010) (stanford.edu) |
| 162 points by bra-ket on Dec 8, 2020 | 89 comments |
|
| 13. | | AMA: Explaining my 750 line compiler+runtime designed to GPU self-host APL (youtube.com) |
| 335 points by arcfide on March 5, 2017 | 155 comments |
|
| 14. | | In Search of Types (2014) [pdf] (kent.ac.uk) |
| 31 points by luu on Jan 26, 2020 | 2 comments |
|
| 15. | | Hyperdimensional Computing (github.com/hyperdimensionalcomputing) |
| 73 points by scottlocklin on Nov 28, 2020 | 32 comments |
|
| 16. | | Automatic Differentiation Using Constraint Handling Rules in Prolog (2017) (arxiv.org) |
| 3 points by carapace on Feb 19, 2020 |
|
| 17. | | Web Prolog and the Programmable Prolog Web [pdf] (github.com/web-prolog) |
| 125 points by triska on June 11, 2018 | 41 comments |
|
| 18. | | Prolog.c: a simple Prolog interpreter written in 200 LOC of C++ (2000) (cam.ac.uk) |
| 109 points by adamnemecek on July 30, 2016 | 19 comments |
|
| 19. | | Swish: SWI Prolog Notebook (swi-prolog.org) |
| 147 points by xfer on Oct 29, 2019 | 53 comments |
|
| 20. | | The Power of Prolog (metalevel.at) |
| 480 points by tosh on May 21, 2018 | 158 comments |
|
| 21. | | A Grimoire of Functions (fredrikj.net) |
| 142 points by akalin on July 22, 2019 | 21 comments |
|
| 22. | | Learn TLA+ (2018) (learntla.com) |
| 387 points by brodo on April 14, 2019 | 92 comments |
|
| 23. | | Learn TLA+ (2018) (learntla.com) |
| 310 points by Twirrim on Feb 22, 2020 | 58 comments |
|
| 24. | | Building the Mathematical Library of the Future (quantamagazine.org) |
| 146 points by misotaur on Nov 11, 2020 | 45 comments |
|
| 25. | | Learning to prove theorems via interacting with proof assistants (acolyer.org) |
| 126 points by pgunt on Aug 24, 2019 | 30 comments |
|
| 26. | | It's Time for a New Old Language – Guy Steele [video] (youtube.com) |
| 152 points by zengid on Oct 14, 2017 | 45 comments |
|
| 27. | | The Prolog Story (2010) (kylecordes.com) |
| 131 points by peter_d_sherman on Oct 6, 2018 | 29 comments |
|
| 28. | | The GENTLE Compiler Construction System (compilertools.net) |
| 43 points by i_don_t_know on Aug 3, 2018 | 2 comments |
|
| 29. | | Prolog and Logic Programming Historical Sources Archive (softwarepreservation.org) |
| 129 points by homarp on March 22, 2020 | 33 comments |
|
| 30. | | Prolog Under the Hood: An Honest Look (1992) (amzi.com) |
| 60 points by networked on Nov 4, 2018 | 57 comments |
|
|
| More |
