Search: github.com/advancedresearch | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

1.

Poi: Pragmatic point-free theorem prover assistant in Rust (github.com/advancedresearch)

71 points

6 years ago

2.

A linear solver designed to be easy to use with Rust enums (github.com/advancedresearch)

4 points

8 years ago

3.

Joker Calculus (github.com/advancedresearch)

2 points

5 years ago

4.

Path Semantics (github.com/advancedresearch)

2 points

6 years ago

5.

Answered Modal Logic CatuṣkoṭI [pdf] (github.com/advancedresearch)

1 point

5 years ago

6.

Show HN: I Built a Local-First AI Chat App with Advanced RAG

5 points

a year ago