Search: github.com/logical42 | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

1.

Logical42/agnostic-frontend · GitHub (github.com/logical42)

2 points

14 years ago

2.

N64 emulator written in pure ES6 JavaScript (github.com/hulkholden)

3 points

3 years ago

3.

N64 Emulator in JavaScript (github.com/hulkholden)

2 points

3 years ago

4.

N64 JavaScript Emulator (github.com/hulkholden)

1 point

3 years ago

5.

Lean Book: The Hitchhiker's Guide to Logical Verification [pdf] (github.com/blanchette)

177 points

6 years ago

6.

A caffeine driven, simplistic approach to benchmarking Node.js code. (github.com/logicalparadox)

7 points

14 years ago

7.

The Hitchhiker’s Guide to Logical Verification [pdf] (github.com/blanchette)

4 points

6 years ago

8.

Show HN: Feature Store and Model Registry; Hopsworks 3.0 (github.com/logicalclocks)

3 points

4 years ago

9.

Show HN: AI-Powered Zettelkasten Using Pinecone and Claude MCP (github.com/logicalicy)

2 points

8 months ago

10.

Show HN: Advent of Code 2022 (only first eight in different langs) (github.com/logicalicy)

2 points

3 years ago

11.

Show HN: Postgres Logical Replication with Rust (github.com/seddonm1)

2 points

4 years ago

12.

Awesome-product-roadmaps: Collection of product roadmaps (github.com/logicalicy)

2 points

7 years ago

13.

Flowbetween: Tool for creating animations with a custom GUI in Rust (github.com/Logicalshift)

1 point

5 years ago

14.

Hopworks: MLOps platform with Python-centric Feature Store (github.com/logicalclocks)

1 point

4 years ago

15.

Postgres Logical Redplication Slot Invalidations in 16.9 and 17.5

1 point

10 months ago

16.

Show HN: Duplicate 3 layers in a 24B LLM, logical deduction .22→.76. No training (github.com/alainnothere)

265 points

3 months ago

17.

Show HN: Open source, logical multi-master PostgreSQL replication (github.com/pgEdge)

151 points

pgedge_postgres

8 months ago

18.

Pgcat – Enhanced PostgreSQL logical replication (github.com/kingluo)

145 points

6 years ago

19.

Wyng-backup: Fast Time Machine-like backups for logical volumes (github.com/tasket)

85 points

5 years ago

20.

Pgstream: Postgres streaming logical replication with DDL changes (github.com/xataio)

77 points

9 months ago

21.

Tamgu, a functional, imperative, logical programming language (github.com/naver)

63 points

7 years ago

22.

PDEP-13: The Pandas Logical Type System (github.com/pandas-dev)

46 points

2 years ago

23.

Generic engine to evaluate logical circuits on homomorphic encryption (github.com/virtualsecureplatform)

38 points

5 years ago

24.

PgDog is a transaction pooler logical replication manager can shard PostgreSQL (github.com/pgdogdev)

27 points

a year ago

25.

Show HN: Sangati, a logical consistency checker for data (github.com/alienfluid)

17 points

9 years ago

26.

Dotted Version Vectors: Logical Clocks for Eventually Consistent Systems (github.com/ricardobcl)

16 points

11 years ago

27.

Show HN: Microscope, logically group validation/filter regexes (github.com/clotheshorse)

9 points

12 years ago

28.

Show HN: I built a Chrome extension that detects logical fallacies using GPT-4 (twitter.com)

9 points

3 years ago

29.

Logical Replication committed in PostgreSQL (github.com/postgres)

5 points

9 years ago

30.

Show HN: Experimental Postgres-to-SQLite Sync via Logical Replication (github.com/PgOutput2Json)

4 points

a year ago