| 1. | | Native compilation of Prolog predicates with Cranelift [pdf] (adrianistan.eu) |
| 43 points by aarroyoc 8 months ago | past | 5 comments |
|
| 2. | | Bootloader Unlock Wall of Shame (github.com/melontini) |
| 27 points by aarroyoc 9 months ago | past | 15 comments |
|
| 3. | | An Executable Specification of Oncology Dose-Escalation Protocols with Prolog (arxiv.org) |
| 4 points by aarroyoc on Feb 14, 2024 | past |
|
| 4. | | Appreciating Clpz_t/2 (github.com/mthom) |
| 2 points by aarroyoc on Feb 7, 2024 | past |
|
| 5. | | Picat 3.6 Released (picat-lang.org) |
| 4 points by aarroyoc on Jan 14, 2024 | past |
|
| 6. | | Niklaus Wirth has died (twitter.com/bertrand_meyer) |
| 1902 points by aarroyoc on Jan 3, 2024 | past | 403 comments |
|
| 7. | | Towards a Logical Definition of Emergence [video] (youtube.com) |
| 24 points by aarroyoc on Nov 14, 2023 | past | 13 comments |
|
| 8. | | Scryer Prolog Meetup 2023 Notes (adrianistan.eu) |
| 2 points by aarroyoc on Nov 14, 2023 | past |
|
| 9. | | Rationalizing the Cost in the Cloud (telefonica.com) |
| 1 point by aarroyoc on Oct 4, 2023 | past |
|
| 10. | | Programmation Par Contraintes [pdf] (wpmucdn.com) |
| 1 point by aarroyoc on Oct 3, 2023 | past |
|
| 11. | | Ibertex (Spanish Videotext) (youtube.com) |
| 1 point by aarroyoc on Sept 17, 2023 | past |
|
| 12. | | Can We Lose Technology? (adrianistan.eu) |
| 3 points by aarroyoc on July 22, 2023 | past |
|
| 13. | | Kotlin DSL Is Now the Default for New Gradle Builds (gradle.org) |
| 2 points by aarroyoc on April 14, 2023 | past |
|
| 14. | | International Pascal Congress (pascalcongress.com) |
| 90 points by aarroyoc on April 1, 2023 | past | 37 comments |
|
| 15. | | Embedding Functional Logic Programming in Haskell via a Compiler Plugin (youtube.com) |
| 3 points by aarroyoc on March 14, 2023 | past |
|
| 16. | | Scryer Prolog (scryer.pl) |
| 109 points by aarroyoc on Feb 3, 2023 | past | 33 comments |
|
| 17. | | Mangle, a programming language for deductive database programming (github.com/google) |
| 187 points by aarroyoc on Nov 26, 2022 | past | 46 comments |
|
| 18. | | A Datalog engine for GPUs (2013) [pdf] (up.pt) |
| 2 points by aarroyoc on Aug 29, 2022 | past |
|
| 19. | | Comeau C/C++ (wikipedia.org) |
| 2 points by aarroyoc on July 27, 2022 | past |
|
| 20. | | MicroFLENG – concurrent logic programming for CP/M, C64 and the “uxn” VM (call-with-current-continuation.org) |
| 47 points by aarroyoc on May 25, 2022 | past | 4 comments |
|
| 21. | | A Tour of Prolog (youtube.com) |
| 6 points by aarroyoc on April 4, 2022 | past |
|
| 22. | | PrologHub (prologhub.com) |
| 3 points by aarroyoc on Dec 17, 2021 | past |
|
| 23. | | The joy of concurrent logic programming (call-with-current-continuation.org) |
| 99 points by aarroyoc on Nov 7, 2021 | past | 23 comments |
|
| 24. | | Haiku has hired an existing contributor to work on Haiku full-time (haiku-os.org) |
| 284 points by aarroyoc on Aug 25, 2021 | past | 105 comments |
|
| 25. | | GitHub Copilot is not infringing copyright (juliareda.eu) |
| 347 points by aarroyoc on July 5, 2021 | past | 542 comments |
|
| 26. | | Prolog Heritage (prolog-heritage.org) |
| 3 points by aarroyoc on June 14, 2021 | past |
|
| 27. | | INNengine (innengine.com) |
| 1 point by aarroyoc on Dec 17, 2020 | past |
|
| 28. | | Show HN: Mapaquiz, Play and Learn with Maps (mapaquiz.com) |
| 1 point by aarroyoc on Nov 1, 2020 | past |
|
| 29. | | RadarCOVID: Source code of Spanish official app released (github.com/radarcovid) |
| 3 points by aarroyoc on Sept 9, 2020 | past |
|
| 30. | | Diario: Malware Detector. Privacy Protector (elevenpaths.com) |
| 2 points by aarroyoc on Aug 25, 2020 | past |
|
|
| More |
