Skip to content

Top Best Ask Show New Jobs

aarroyoc | Better HN

aarroyoc

1,888 karmaJoined October 28, 2018150 submissions

https://adrianistan.eu

meet.hn/city/41.6521807,-4.728605/Valladolid

Socials: - github.com/aarroyoc

---

Recent submissions

1

Spring-bouncing: an early review of Aeris Swopper (2021) (opens in new tab)

(no-kill-switch.ghost.io)

1aarroyoc4mo ago0

2

Scryer Prolog Meetup 2025 (opens in new tab)

(hsd-pbsa.de)

41aarroyoc9mo ago1

3

GraalVM's LLVM Back End (opens in new tab)

(praj.in)

2aarroyoc9mo ago1

4

Shavian Alphabet (opens in new tab)

(en.wikipedia.org)

2aarroyoc10mo ago0

5

Native compilation of Prolog predicates with Cranelift [pdf] (opens in new tab)

(files.adrianistan.eu)PDF

43aarroyoc1y ago5

6

Bootloader Unlock Wall of Shame (opens in new tab)

(github.com)GitHub

27aarroyoc1y ago15

7

An Executable Specification of Oncology Dose-Escalation Protocols with Prolog (opens in new tab)

(arxiv.org)arXiv

4aarroyoc2y ago0

8

Appreciating Clpz_t/2 (opens in new tab)

(github.com)GitHub

2aarroyoc2y ago0

9

Picat 3.6 Released (opens in new tab)

(picat-lang.org)

4aarroyoc2y ago0