aarroyoc

Posts

• Native compilation of Prolog predicates with Cranelift [pdf]

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

• Bootloader Unlock Wall of Shame

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

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

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

• Appreciating Clpz_t/2

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

• Picat 3.6 Released

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

• Niklaus Wirth has died

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

• Towards a Logical Definition of Emergence [video]

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

• Scryer Prolog Meetup 2023 Notes

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

• Rationalizing the Cost in the Cloud

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

• Programmation Par Contraintes [pdf]

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

• Ibertex (Spanish Videotext)

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