HN
Paper
Show
Ask
Jobs
Top
Today
Last 7 days
Last months
This year
Statistics
Show
Ask
Jobs
Top stories
Today
Last 7 days
Last months
This year
Statistics
Stories by
triska
Debugging Trait Errors as Logic Programs
1 points
triska
2023-10-22T13:45:45Z
arxiv.org
Constrained.pl: Prolog predicates using constraints to make them more flexible
2 points
triska
2023-09-29T16:32:51Z
github.com
Scryer Playground – Run Scryer Prolog on the Browser
5 points
triska
2023-09-10T18:40:54Z
play.scryer.pl
Basic WebAssembly Support in Scryer Prolog
5 points
triska
2023-09-09T04:22:45Z
github.com
Scryer-Prolog 0.9.2
5 points
triska
2023-08-28T16:42:07Z
github.com
Release v1.1.0 of PostgreSQL-Prolog
4 points
triska
2023-08-20T18:55:18Z
github.com
Load Balancing in WASM Libraries
3 points
triska
2023-07-19T05:02:39Z
guregu.bearblog.dev
The First Annual Scryer Prolog Meetup
3 points
triska
2023-05-24T19:15:46Z
github.com
Strategies for ensuring correctness in dynamically typed languages?
1 points
triska
2023-05-22T22:07:57Z
old.reddit.com
Automatic Differentiation in Prolog
2 points
triska
2023-05-18T15:59:27Z
arxiv.org
Examples of parser generators or compiler-compilers in Prolog?
1 points
triska
2023-05-15T19:06:17Z
old.reddit.com
The Land of Logic Programming
4 points
triska
2023-05-14T18:18:36Z
twitter.com
Good Languages for Writing Compilers In?
9 points
triska
2023-05-12T18:47:01Z
old.reddit.com
Speculations about Transformers and Compositionality
3 points
triska
2023-04-16T22:06:23Z
dstrohmaier.com
Prolog Programming for the Java Platform
2 points
triska
2023-03-12T12:20:40Z
github.com
Web development with Tau Prolog [pdf]
3 points
triska
2023-03-09T20:30:20Z
biblioteca.sistedes.es
Raylib bindings to Scryer Prolog using library(FFI)
2 points
triska
2023-03-02T22:42:33Z
github.com
Trealla Prolog Templates for Spin
2 points
triska
2023-03-02T20:15:33Z
github.com
Best Free Prolog Courses to Take in 2023
2 points
triska
2023-02-18T18:25:40Z
www.classcentral.com
A Prolog assisted search for new simple Lie algebras
8 points
triska
2023-01-22T23:01:06Z
arxiv.org
1
2
3
4
5
6