Search: github.com/ctate | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

1.

Vercel Desktop: the unofficial desktop app of Vercel (github.com/ctate)

6 points

3 years ago

2.

New project: superba. Use AI to craft UI components. Open source and free (github.com/ctate)

2 points

3 years ago

3.

Use ChatGPT from your menu bar (github.com/ctate)

1 point

3 years ago

4.

Ctate/autocode: spec-driven code generator (github.com/ctate)

1 point

8 years ago

5.

Example: Generate menu bar apps using Tauri and ZappJS (github.com/zappjs)

1 point

2 years ago

6.

Ask HN: Where can I follow the changes of HN itself?

17 points

9 years ago

7.

Lisp in JavaScript

15 points

16 years ago

8.

Show HN: Color palettes generator for data visualization (aleris.github.io)

12 points

4 years ago

9.

Toward a new mathematical theory of computation.

5 points

17 years ago

10.

Show HN: Insta-infra – Single command quickstart for any tool (github.com/data-catering)

2 points

2 years ago

11.

Ask HN: has GitHub stopped hiring?

1 point

12 years ago

12.

Show HN: A non-programmer built a blockchain ecosystem using only AI

1 point

BizinikiwiBrain

3 months ago

13.

Show HN: Insta-infra – One click start any service (github.com/data-catering)

1 point

10 months ago

14.

Show HN: Data Caterer – Data generation and validation tool (github.com/data-catering)

1 point

2 years ago

15.

Category Theory ∩ Machine Learning (github.com/bgavran)

118 points

3 years ago

16.

From Unemployment to Lisp: Running GPT-2 on a Teen's Deep Learning Compiler (github.com/hikettei)

116 points

a year ago

17.

A formalization of category theory in Coq (github.com/jwiegley)

109 points

9 years ago

18.

Caterwaul: A JavaScript-to-JavaScript Compiler (github.com/spencertipping)

74 points

4 years ago

19.

Show HN: CState – open-source Hugo powered status page (github.com/cstate)

69 points

6 years ago

20.

Categories: An implementation of category theory in Coq (github.com/amintimany)

68 points

10 years ago

21.

Catenary: concatenative programming for JavaScript (github.com/sgentle)

36 points

11 years ago

22.

Show HN: SPath is a Rust lib for query JSONPath over any semi-structured data (github.com/cratesland)

35 points

a year ago

23.

Crater – Open-Source Invoicing Solution for Individuals and Businesses (github.com/crater-invoice)

13 points

4 years ago

24.

Show HN: An SQL database on top of a blockchain (github.com/pixelspark)

11 points

9 years ago

25.

Sfork: A synchronous, single-threaded interface for starting processes on Linux (github.com/catern)

10 points

5 years ago

26.

Show HN: Make Easy Async Rust (Mea), runtime-agnostic primitives (github.com/cratesland)

6 points

a year ago

27.

Agent Commerce Kit – Protocols for AI Agent Identity and Payments (github.com/catena-labs)

4 points

a year ago

28.

Catena: SQL on a blockchain (github.com/pixelspark)

4 points

9 years ago

29.

IDEs on GitHub Marketplace (github.com/marketplace)

4 points

7 years ago

30.

Notes on Category Theory and Haskell (github.com/jwbuurlage)

4 points

9 years ago