Search: github.com/LogIN- | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

751.

github.com/mped-oticon

4 years ago

1 points

752.

A core.logic Primer

github.com/clojure

13 years ago

1 points

753.

A Core.logic Primer

github.com/clojure

5 years ago

1 points

754.

Show HN: Hydra – Never stop coding when your AI CLI hits a rate limit

github.com/saadnvd1

2 months ago

9 points

755.

O(1) memory, no-preprocessing reachability algorithm for 2D grids

a year ago

4 points

756.

An introduction to temporal logic and how it can be used to analyze concurrency

github.com/Dicklesworthstone

2 years ago

92 points

757.

An explainer of the invisible temporal logic shaping platform behavior

github.com/Dario-Chang

2 months ago

governace-layer

2 points

758.

Show HN: YaraDB Python Client – A clean interface for my custom WAL-based DB

github.com/illusiOxd

7 months ago

2 points

759.

GitHub commit Verification logic flaw and bypass

a month ago

1 points

760.

Show HN: Supacrawler – lightweight web scraping API in Go

supacrawler.com

9 months ago

1 points

761.

Logic Solver: a boolean satisfiability solver written in JavaScript

github.com/meteor

11 years ago

1 points

762.

Show HN: Sklad – Secure, offline-first snippet manager (Rust, Tauri v2)

github.com/Rench321

5 months ago

22 points

763.

Show HN: I built a ride-hailing back end with microservices

github.com/richxcame

8 months ago

2 points

764.

Project Lean – The $10B Singularity Architecture

3 months ago

2 points

765.

Go Package: Use Controllers with Gorilla

5 years ago

2 points

766.

Show HN: Ghost – Local-first agent that runs and auto-fixes Python tests

github.com/tripathiji1312

6 months ago

1 points

767.

Show HN: Remixify – Find alternate versions of tracks in your Spotify playlists

6 months ago

1 points

768.

Show HN: GitHub trends newsletter by star growth (email, RSS, and more)

github.com/mhadidg

10 months ago

1 points

769.

Postgres Logical Redplication Slot Invalidations in 16.9 and 17.5

a year ago

1 points

770.

Where the logic hides in rails apps

gammons.github.com

14 years ago

66 points

771.

Composable Database Logic

github.com/DanielWaterworth

15 years ago

1 points

772.

Codex logging bug may write TBs to local SSDs

github.com/openai

3 days ago

505 points

773.

Show HN: Duplicate 3 layers in a 24B LLM, logical deduction .22→.76. No training

github.com/alainnothere

3 months ago

265 points

774.

Vue RFC: Expose logic-related component options via function-based APIs instead

github.com/vuejs

7 years ago

222 points

775.

SQLancer, a tool to automatically test DBMSs to find logic bugs

github.com/sqlancer

6 years ago

172 points

776.

Show HN: Open source, logical multi-master PostgreSQL replication

github.com/pgEdge

9 months ago

pgedge_postgres

151 points

777.

Pgcat – Enhanced PostgreSQL logical replication

github.com/kingluo

6 years ago

145 points

778.

Kanren – Logic Programming in Python

github.com/logpy

7 years ago

136 points

779.

A digital logic designer and circuit simulator

github.com/hneemann

5 years ago

131 points

780.

Quint: A specification language based on the temporal logic of actions (TLA)

github.com/informalsystems

3 years ago

110 points