Search: github.com/RedPRL | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

1.

Redtt a proof assistant for cartesian cubical type theory (github.com/RedPRL)

2 points

5 years ago

2.

Show HN: Core – open source memory graph for LLMs – shareable, user owned (github.com/RedPlanetHQ)

112 points

a year ago

3.

Show HN: C.O.R.E – Opensource, user owned, shareable memory for Claude, Cursor (github.com/RedPlanetHQ)

20 points

a year ago

4.

Show HN: Core – open-source memory graph for AI agents (88.24% SOTA on LoCoMo) (blog.heysol.ai)

4 points

9 months ago

5.

Ask HN: Can you take your AI's memory with you?

3 points

10 months ago

6.

Show HN: Core – open-source AI butler that clears your backlog without you (getcore.me)

3 points

a month ago

7.

Ask HN: How do you keep AI assistants consistent with your personal preferences?

1 point

9 months ago

8.

Open-source Twitter-scale Mastodon implementation in 10k LOC (github.com/redplanetlabs)

33 points

3 years ago

9.

Specter (github.com/redplanetlabs)

2 points

5 years ago

10.

Rama Demo Gallery (Beyond the Mastodon Impl) (github.com/redplanetlabs)

1 point

3 years ago

11.

Redpiler: Multipass Redstone Compiler (github.com/MCHPR)

2 points

8 months ago

12.

Postgres Logical Redplication Slot Invalidations in 16.9 and 17.5

1 point

10 months ago

13.

Breload: automatic browser refresh whenever you save your project files [Linux] (github.com/pdfcrowd)

2 points

15 years ago