| 1. | | Spring-bouncing: an early review of Aeris Swopper (2021) (no-kill-switch.ghost.io) |
| 1 point by aarroyoc 2 days ago | past | discuss |
|
| 2. | | Scryer Prolog Meetup 2025 (hsd-pbsa.de) |
| 41 points by aarroyoc 4 months ago | past | 1 comment |
|
| 3. | | GraalVM's LLVM Back End (praj.in) |
| 2 points by aarroyoc 4 months ago | past | 1 comment |
|
| 4. | | Shavian Alphabet (wikipedia.org) |
| 2 points by aarroyoc 5 months ago | past |
|
| 5. | | Native compilation of Prolog predicates with Cranelift [pdf] (adrianistan.eu) |
| 43 points by aarroyoc on Nov 20, 2024 | past | 5 comments |
|
| 6. | | Bootloader Unlock Wall of Shame (github.com/melontini) |
| 27 points by aarroyoc on Oct 28, 2024 | past | 15 comments |
|
| 7. | | An Executable Specification of Oncology Dose-Escalation Protocols with Prolog (arxiv.org) |
| 4 points by aarroyoc on Feb 14, 2024 | past |
|
| 8. | | Appreciating Clpz_t/2 (github.com/mthom) |
| 2 points by aarroyoc on Feb 7, 2024 | past |
|
| 9. | | Picat 3.6 Released (picat-lang.org) |
| 4 points by aarroyoc on Jan 14, 2024 | past |
|
| 10. | | Niklaus Wirth has died (twitter.com/bertrand_meyer) |
| 1902 points by aarroyoc on Jan 3, 2024 | past | 403 comments |
|
| 11. | | Towards a Logical Definition of Emergence [video] (youtube.com) |
| 24 points by aarroyoc on Nov 14, 2023 | past | 13 comments |
|
| 12. | | Scryer Prolog Meetup 2023 Notes (adrianistan.eu) |
| 2 points by aarroyoc on Nov 14, 2023 | past |
|
| 13. | | Rationalizing the Cost in the Cloud (telefonica.com) |
| 1 point by aarroyoc on Oct 4, 2023 | past |
|
| 14. | | Programmation Par Contraintes [pdf] (wpmucdn.com) |
| 1 point by aarroyoc on Oct 3, 2023 | past |
|
| 15. | | Ibertex (Spanish Videotext) (youtube.com) |
| 1 point by aarroyoc on Sept 17, 2023 | past |
|
| 16. | | Can We Lose Technology? (adrianistan.eu) |
| 3 points by aarroyoc on July 22, 2023 | past |
|
| 17. | | Kotlin DSL Is Now the Default for New Gradle Builds (gradle.org) |
| 2 points by aarroyoc on April 14, 2023 | past |
|
| 18. | | International Pascal Congress (pascalcongress.com) |
| 90 points by aarroyoc on April 1, 2023 | past | 37 comments |
|
| 19. | | Embedding Functional Logic Programming in Haskell via a Compiler Plugin (youtube.com) |
| 3 points by aarroyoc on March 14, 2023 | past |
|
| 20. | | Scryer Prolog (scryer.pl) |
| 109 points by aarroyoc on Feb 3, 2023 | past | 33 comments |
|
| 21. | | Mangle, a programming language for deductive database programming (github.com/google) |
| 187 points by aarroyoc on Nov 26, 2022 | past | 46 comments |
|
| 22. | | A Datalog engine for GPUs (2013) [pdf] (up.pt) |
| 2 points by aarroyoc on Aug 29, 2022 | past |
|
| 23. | | Comeau C/C++ (wikipedia.org) |
| 2 points by aarroyoc on July 27, 2022 | past |
|
| 24. | | 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 |
|
| 25. | | A Tour of Prolog (youtube.com) |
| 6 points by aarroyoc on April 4, 2022 | past |
|
| 26. | | PrologHub (prologhub.com) |
| 3 points by aarroyoc on Dec 17, 2021 | past |
|
| 27. | | The joy of concurrent logic programming (call-with-current-continuation.org) |
| 99 points by aarroyoc on Nov 7, 2021 | past | 23 comments |
|
| 28. | | 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 |
|
| 29. | | GitHub Copilot is not infringing copyright (juliareda.eu) |
| 347 points by aarroyoc on July 5, 2021 | past | 542 comments |
|
| 30. | | Prolog Heritage (prolog-heritage.org) |
| 3 points by aarroyoc on June 14, 2021 | past |
|
|
| More |
