Hacker News new | past | comments | ask | show | jobs | submit | carapace's favorites login
1. ᐊᐣᑕᔚᐣᐦᐃ ᐁᐏᒋᑭᐍ ᐅᑕᐱᓇᒪᐣ ᓂᒪᒪ ᐅᑎᔑᑭᔑᐍᐏᐣ ᒷᔦ ᐃᐡᑿᓭᐠ (cbc.ca)
95 points by adamrmcd 8 months ago | 59 comments
2. Show HN: Monocle – bidirectional code generation library
148 points by lucasluitjes 7 months ago | 39 comments
3. Loopy Pipe Network Converts back-and-forth flow into one-way flow (aps.org)
103 points by sohkamyung on March 22, 2021 | 22 comments
4. Differential Datalog (github.com/vmware)
231 points by maximilianroos on March 19, 2021 | 62 comments
5. Logic Puzzles with Prolog (2017) (metalevel.at)
138 points by YeGoblynQueenne on Nov 19, 2019 | 26 comments
6. Arb: Efficient Arbitrary-Precision Midpoint-Radius Interval Arithmetic (2016) (arxiv.org)
78 points by helltone on Feb 7, 2021 | 42 comments
7. The Social Life of Forests (nytimes.com)
105 points by 0DHm2CxO7Lb3 on Dec 7, 2020 | 21 comments
8. 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
9. Binary Decision Diagrams (2010) (stanford.edu)
162 points by bra-ket on Dec 8, 2020 | 89 comments
10. 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
11. In Search of Types (2014) [pdf] (kent.ac.uk)
31 points by luu on Jan 26, 2020 | 2 comments
12. Hyperdimensional Computing (github.com/hyperdimensionalcomputing)
73 points by scottlocklin on Nov 28, 2020 | 32 comments
13. Automatic Differentiation Using Constraint Handling Rules in Prolog (2017) (arxiv.org)
3 points by carapace on Feb 19, 2020
14. Web Prolog and the Programmable Prolog Web [pdf] (github.com/web-prolog)
125 points by triska on June 11, 2018 | 41 comments
15. 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
16. Swish: SWI Prolog Notebook (swi-prolog.org)
147 points by xfer on Oct 29, 2019 | 53 comments
17. The Power of Prolog (metalevel.at)
480 points by tosh on May 21, 2018 | 158 comments
18. A Grimoire of Functions (fredrikj.net)
142 points by akalin on July 22, 2019 | 21 comments
19. Learn TLA+ (2018) (learntla.com)
387 points by brodo on April 14, 2019 | 92 comments
20. Learn TLA+ (2018) (learntla.com)
310 points by Twirrim on Feb 22, 2020 | 58 comments
21. Building the Mathematical Library of the Future (quantamagazine.org)
146 points by misotaur on Nov 11, 2020 | 45 comments
22. Learning to prove theorems via interacting with proof assistants (acolyer.org)
126 points by pgunt on Aug 24, 2019 | 30 comments
23. It's Time for a New Old Language – Guy Steele [video] (youtube.com)
152 points by zengid on Oct 14, 2017 | 45 comments
24. The Prolog Story (2010) (kylecordes.com)
131 points by peter_d_sherman on Oct 6, 2018 | 29 comments
25. The GENTLE Compiler Construction System (compilertools.net)
43 points by i_don_t_know on Aug 3, 2018 | 2 comments
26. Prolog and Logic Programming Historical Sources Archive (softwarepreservation.org)
129 points by homarp on March 22, 2020 | 33 comments
27. Prolog Under the Hood: An Honest Look (1992) (amzi.com)
60 points by networked on Nov 4, 2018 | 57 comments
28. Prolog Control in Six Slides (t3x.org)
82 points by nils-m-holm on Aug 2, 2019 | 19 comments
29. Adventure in Prolog Tutorial (2016) (amzi.com)
131 points by AlexeyBrin on Aug 25, 2019 | 36 comments
30. Logic Programming and Compiler Writing (1980) [pdf] (sovietov.com)
95 points by weatherlight on Aug 2, 2018 | 8 comments

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

Search: