| 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 |
