from Hacker News

aarroyoc

joined 10/28/18, 8:11 PM has 1706 karma

• Native compilation of Prolog predicates with Cranelift [pdf]

  by aarroyoc on 11/20/24, 10:51 PM, with 5 comments

• Bootloader Unlock Wall of Shame

  by aarroyoc on 10/28/24, 12:08 PM, with 15 comments

• An Executable Specification of Oncology Dose-Escalation Protocols with Prolog

  by aarroyoc on 2/14/24, 9:25 PM, with 0 comments

• Appreciating Clpz_t/2

  by aarroyoc on 2/7/24, 8:04 PM, with 0 comments

• Picat 3.6 Released

  by aarroyoc on 1/14/24, 6:45 PM, with 0 comments

• Niklaus Wirth has died

  by aarroyoc on 1/3/24, 6:50 PM, with 403 comments

• Towards a Logical Definition of Emergence [video]

  by aarroyoc on 11/14/23, 9:58 PM, with 13 comments

• Scryer Prolog Meetup 2023 Notes

  by aarroyoc on 11/14/23, 6:21 PM, with 0 comments

• Rationalizing the Cost in the Cloud

  by aarroyoc on 10/4/23, 3:45 PM, with 0 comments

• Programmation Par Contraintes [pdf]

  by aarroyoc on 10/3/23, 9:14 PM, with 0 comments

• Ibertex (Spanish Videotext)

  by aarroyoc on 9/17/23, 3:02 PM, with 0 comments

• Can We Lose Technology?

  by aarroyoc on 7/22/23, 1:37 PM, with 0 comments

• Kotlin DSL Is Now the Default for New Gradle Builds

  by aarroyoc on 4/14/23, 2:32 PM, with 0 comments

• International Pascal Congress

  by aarroyoc on 4/1/23, 10:33 AM, with 37 comments

• Embedding Functional Logic Programming in Haskell via a Compiler Plugin

  by aarroyoc on 3/14/23, 9:34 PM, with 0 comments

• Scryer Prolog

  by aarroyoc on 2/3/23, 12:54 PM, with 33 comments

• Mangle, a programming language for deductive database programming

  by aarroyoc on 11/26/22, 9:14 PM, with 46 comments

• A Datalog engine for GPUs (2013) [pdf]

  by aarroyoc on 8/29/22, 4:44 PM, with 0 comments