aarroyoc's submissions

1.		Spring-bouncing: an early review of Aeris Swopper (2021) (no-kill-switch.ghost.io)
		1 point by aarroyoc 68 days ago \| past
2.		Scryer Prolog Meetup 2025 (hsd-pbsa.de)
		41 points by aarroyoc 6 months ago \| past \| 1 comment
3.		GraalVM's LLVM Back End (praj.in)
		2 points by aarroyoc 6 months ago \| past \| 1 comment
4.		Shavian Alphabet (wikipedia.org)
		2 points by aarroyoc 7 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

HN For You