Search: github.com/aletheia | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

1.

Show HN: S P A C E – End-to-end encrypted, blockchain-backed, digital storage

5 points

7 years ago

2.

Show HN: Convey – Quality Public Dialogue

2 points

5 years ago

3.

Aletheia – deterministic COBOL verification for mainframe migrations (github.com/Aletheia-Verification)

5 points

2 months ago

4.

Broccoli: Brotli-compressed static file embedding in Go (github.com/aletheia-icu)

3 points

6 years ago

5.

Show HN: AWS IoT Browser Simulator (MQTT and WebSocket) (github.com/aletheia)

3 points

9 years ago

6.

Show HN: The Aletheia Protocol – A blueprint for a web without exploitation (github.com/Esrbwt1)

2 points

a year ago

7.

Outbrain has open-sourced Aletheia – A general purpose Data Delivery Framework (github.com/outbrain)

2 points

12 years ago

8.

Aletheia Epistemology Compiler (github.com/amazedsaint)

1 point

9 months ago

9.

Show HN: A Digital Diary w/ CLI & GUI (github.com/AletheiaWareLLC)

1 point

5 years ago

10.

DeepMind Aletheia [pdf] (github.com/google-deepmind)

5 points

4 months ago

11.

Prompts and responses from DeepMind's Aletheia on research level math problems (github.com/google-deepmind)

1 point

4 months ago

12.

BlackTape – open-source music discovery built on MusicBrainz and Discogs

8 points

3 months ago

13.

Show HN: Chronos a Drag-and-Drop Scheduler

1 point

2 months ago

14.

Show HN: Deglaze Me – A Chrome extension to strip the sycophancy from ChatGPT (github.com/althea-tfyqa)

6 points

a year ago

15.

Shell SSH interaction made simple (github.com/alethes)

2 points

12 years ago

16.

Meteor pagination problem solved (github.com/alethes)

2 points

12 years ago

17.

Zog – A Terminal-Native CLI for Zoho Mail, Calendar, Contacts, WorkDrive (github.com/Alethi-Consulting)

2 points

2 months ago

18.

Show HN: An external governance system for large AI-generated codebases coherent (github.com/altheahfy)

1 point

4 months ago

19.

The JavaScript bidirectional map implementation (github.com/alethes)

1 point

12 years ago

20.

Meteor Pagination solved (github.com/alethes)

1 point

12 years ago

21.

Ruby Api to HAProxy (github.com/althea)

1 point

14 years ago

22.

Show HN: Lambda Core – Minimal Lambda Calculus in Every Language (github.com/kserrec)

4 points

a year ago

23.

Show HN: Lambda Core – Minimal Lambda Calculus in Every Language (github.com/kserrec)

2 points

a year ago