HN Explorer

aarroyoc

↗ HN profile [ 79.9 ms ] full profile
Karma
0
Created
()
Submissions
0
  1. Spring-bouncing: an early review of Aeris Swopper (2021) (no-kill-switch.ghost.io)
    1 points 0
  2. Scryer Prolog Meetup 2025 (hsd-pbsa.de)
    41 points 2
  3. 7 points 1
  4. GraalVM's LLVM Back End (praj.in)
    2 points 1
  5. Shavian Alphabet (en.wikipedia.org)
    2 points 0
  6. Native compilation of Prolog predicates with Cranelift [pdf] (files.adrianistan.eu)
    42 points 5
  7. Bootloader Unlock Wall of Shame (github.com)
    27 points 16
  8. An Executable Specification of Oncology Dose-Escalation Protocols with Prolog (arxiv.org)
    4 points 0
  9. Appreciating Clpz_t/2 (github.com)
    2 points 0
  10. Picat 3.6 Released (picat-lang.org)
    4 points 0
  11. Niklaus Wirth has died (twitter.com)
    1902 points 411
  12. Towards a Logical Definition of Emergence [video] (youtube.com)
    24 points 13
  13. Scryer Prolog Meetup 2023 Notes (blog.adrianistan.eu)
    2 points 0
  14. Rationalizing the Cost in the Cloud (engineering.telefonica.com)
    1 points 0
  15. Programmation Par Contraintes [pdf] (bpb-us-w2.wpmucdn.com)
    1 points 0
  16. Ibertex (Spanish Videotext) (youtube.com)
    1 points 0
  17. Can We Lose Technology? (blog.adrianistan.eu)
    3 points 0
  18. Kotlin DSL Is Now the Default for New Gradle Builds (blog.gradle.org)
    2 points 0
  19. International Pascal Congress (pascalcongress.com)
    90 points 37
  20. Embedding Functional Logic Programming in Haskell via a Compiler Plugin (youtube.com)
    3 points 0
  21. Scryer Prolog (scryer.pl)
    109 points 34
  22. Mangle, a programming language for deductive database programming (github.com)
    187 points 47
  23. A Datalog engine for GPUs (2013) [pdf] (dcc.fc.up.pt)
    2 points 0
  24. Comeau C/C++ (en.wikipedia.org)
    2 points 0
  25. MicroFLENG – concurrent logic programming for CP/M, C64 and the “uxn” VM (call-with-current-continuation.org)
    47 points 4