Search: github.com/mthom | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

1.

Show HN: A Svelte/TypeScript and FastAPI Template for Async AI Chat with OpenAI (github.com/mthomason)

1 point

a year ago

2.

Scryer Prolog: A modern Prolog implementation written mostly in Rust (github.com/mthom)

272 points

5 years ago

3.

Modern Prolog Implemented in Rust (github.com/mthom)

93 points

7 years ago

4.

Recreational programming: Tacit programming in Prolog (github.com/mthom)

13 points

a year ago

5.

Scryer Prolog v0.10.0 is out (github.com/mthom)

7 points

8 months ago

6.

Scryer Prolog: The fourth iteration of rebis-dev is out (github.com/mthom)

7 points

2 years ago

7.

Basic WebAssembly Support in Scryer Prolog (github.com/mthom)

5 points

3 years ago

8.

Scryer-Prolog 0.9.2 (github.com/mthom)

5 points

3 years ago

9.

Scryer Prolog version 0.9.3 is out (github.com/mthom)

4 points

3 years ago

10.

Release v1.1.0 of PostgreSQL-Prolog (github.com/mthom)

4 points

3 years ago

11.

The Semantics of Testing. Also, Quads (github.com/mthom)

3 points

a year ago

12.

Some novel features of Scryer Shen (github.com/mthom)

3 points

2 years ago

13.

The First Annual Scryer Prolog Meetup (github.com/mthom)

3 points

3 years ago

14.

Shentong – a Haskell implementation of Shen (github.com/mthom)

2 points

michaelsbradley

11 years ago

15.

Tax Logic Evaluation with Prolog (github.com/mthom)

2 points

2 months ago

16.

The Third Annual Scryer Prolog Meetup (github.com/mthom)

2 points

a year ago

17.

Pure regex implementation using rational trees and if_/3 (github.com/mthom)

2 points

a year ago

18.

2025 Goals for Scryer Prolog (github.com/mthom)

2 points

a year ago

19.

Linguistic "Power" of Definite Clause Grammars? (github.com/mthom)

2 points

2 years ago

20.

Appreciating Clpz_t/2 (github.com/mthom)

2 points

2 years ago

21.

Scryer Prolog development milestone: The second iteration of Rebis is out (github.com/mthom)

2 points

4 years ago

22.

Using Prolog to unravel the foundations of oncology dose-escalation trial design (github.com/mthom)

2 points

4 years ago

23.

The Warren Abstract Machine in Rust (github.com/mthom)

2 points

8 years ago

24.

Embedded Scryer Prolog powering video game AI, slides from Scryer Meetup talk (github.com/mthom)

1 point

a year ago

25.

From a Python function to a relation (a short personal essay) (github.com/mthom)

1 point

2 years ago

26.

Analysing protection systems for giant particle accelerators (github.com/mthom)

1 point

2 years ago

27.

Scryer Prolog 0.9.1: Greatly improved metacall performance (github.com/mthom)

1 point

4 years ago

28.

Shentong: Haskell implementation of the Shen programming language (github.com/mthom)

1 point

10 years ago

29.

Information Theory for Machine Learning [pdf] (github.com/mtomassoli)

55 points

10 years ago

30.

Second Reality source code (demoscene) (github.com/mtuomi)

15 points

13 years ago