triska

Joined 3/11/2018, 8:01:16 PM has 3933 karma

Homepage:

https://www.metalevel.at

You are welcome, and you are welcome!

Posts

Recreational programming: Tacit programming in Prolog
by triska on 6/27/2025, 4:11:27 PM with 4 comments
A C embedding API for Scryer Prolog
by triska on 6/8/2025, 7:30:51 PM with 0 comments
The Third Annual Scryer Prolog Meetup
by triska on 5/8/2025, 5:28:16 AM with 0 comments
Pkg.pl: An experimental package manager for Scryer Prolog
by triska on 4/27/2025, 9:52:55 PM with 0 comments
Comparison of Implementations of Dif/2
by triska on 4/17/2025, 8:23:15 PM with 0 comments
Add Prolog Query Subscription Support
by triska on 2/26/2025, 6:08:28 PM with 0 comments
The Semantics of Testing. Also, Quads
by triska on 2/18/2025, 4:42:15 PM with 0 comments
Scryer Prolog NPM package (experimental)
by triska on 2/16/2025, 1:04:02 PM with 3 comments
Clojure Bindings for Scryer Prolog
by triska on 2/2/2025, 8:17:51 PM with 0 comments
Pure regex implementation using rational trees and if_/3
by triska on 1/7/2025, 9:02:35 PM with 0 comments
A Card Game Using Scryer Prolog
by triska on 1/3/2025, 5:10:24 PM with 0 comments
Dose Escalation Designs in Universal Context of Titration for Oncology
by triska on 12/25/2024, 11:24:06 AM with 0 comments
Unveiling the Mechanisms of DAI: A Logic-Based Approach to Stablecoin Analysis
by triska on 12/23/2024, 6:25:11 PM with 0 comments
Scryer Prolog Solutions to Advent of Code 2024
by triska on 12/17/2024, 8:47:01 PM with 0 comments
Embedded Scryer Prolog powering video game AI, slides from Scryer Meetup talk
by triska on 12/16/2024, 5:34:13 PM with 0 comments
2025 Goals for Scryer Prolog
by triska on 12/15/2024, 8:43:30 AM with 0 comments
Enhancing Mathematical Reasoning in LLMs with Background Operators
by triska on 12/7/2024, 9:23:20 AM with 0 comments
Native compilation of Prolog predicates: Scryer Prolog JIT compiler [video]
by triska on 11/24/2024, 9:56:06 AM with 0 comments