HNHacker News
TopNewBestAskShowJobs

aarroyoc

1,896 karma · joined October 28, 2018

https://adrianistan.eu

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

Socials: - github.com/aarroyoc

---

submissionscomments

Spring-bouncing: an early review of Aeris Swopper (2021)

no-kill-switch.ghost.io·1 pts·aarroyoc·
0

Scryer Prolog Meetup 2025

hsd-pbsa.de·41 pts·aarroyoc·
1

GraalVM's LLVM Back End

praj.in·2 pts·aarroyoc·
1

Shavian Alphabet

en.wikipedia.org·2 pts·aarroyoc·
0

Native compilation of Prolog predicates with Cranelift [pdf]

files.adrianistan.eu·43 pts·aarroyoc·
5

Bootloader Unlock Wall of Shame

github.com·27 pts·aarroyoc·
15

An Executable Specification of Oncology Dose-Escalation Protocols with Prolog

arxiv.org·4 pts·aarroyoc·
0

Appreciating Clpz_t/2

github.com·2 pts·aarroyoc·
0

Picat 3.6 Released

picat-lang.org·4 pts·aarroyoc·
0

Niklaus Wirth has died

twitter.com·1902 pts·aarroyoc·
403

Towards a Logical Definition of Emergence [video]

youtube.com·24 pts·aarroyoc·
13

Scryer Prolog Meetup 2023 Notes

blog.adrianistan.eu·2 pts·aarroyoc·
0

Rationalizing the Cost in the Cloud

engineering.telefonica.com·1 pts·aarroyoc·
0

Programmation Par Contraintes [pdf]

bpb-us-w2.wpmucdn.com·1 pts·aarroyoc·
0

Ibertex (Spanish Videotext)

youtube.com·1 pts·aarroyoc·
0

Can We Lose Technology?

blog.adrianistan.eu·3 pts·aarroyoc·
0

Kotlin DSL Is Now the Default for New Gradle Builds

blog.gradle.org·2 pts·aarroyoc·
0

International Pascal Congress

pascalcongress.com·90 pts·aarroyoc·
37

Embedding Functional Logic Programming in Haskell via a Compiler Plugin

youtube.com·3 pts·aarroyoc·
0

Scryer Prolog

scryer.pl·109 pts·aarroyoc·
33

Mangle, a programming language for deductive database programming

github.com·187 pts·aarroyoc·
46

A Datalog engine for GPUs (2013) [pdf]

dcc.fc.up.pt·2 pts·aarroyoc·
0

Comeau C/C++

en.wikipedia.org·2 pts·aarroyoc·
0

MicroFLENG – concurrent logic programming for CP/M, C64 and the “uxn” VM

call-with-current-continuation.org·47 pts·aarroyoc·
4

A Tour of Prolog

youtube.com·6 pts·aarroyoc·
0

PrologHub

prologhub.com·3 pts·aarroyoc·
0

The joy of concurrent logic programming

call-with-current-continuation.org·99 pts·aarroyoc·
23

Haiku has hired an existing contributor to work on Haiku full-time

haiku-os.org·284 pts·aarroyoc·
105

GitHub Copilot is not infringing copyright

juliareda.eu·347 pts·aarroyoc·
542

Prolog Heritage

prolog-heritage.org·3 pts·aarroyoc·
0
Page 1 of 2Next →