Search: github.com/dkter | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

211.

TalentClaw – deterministic staffing workflows for OpenClaw (github.com/mrrkrieg)

1 point

3 months ago

212.

Deterministic State Machine for Economic Invariant Testing (Research Blueprint) (github.com/ArturGrandi)

1 point

4 months ago

213.

Show HN: API-pilot – deterministic API key resolution with runtime validation (github.com/Avichay1977)

1 point

4 months ago

214.

Show HN: Deterministic event logs with explicit gap markers (NDJSON proof) (github.com/yupme-bot)

1 point

4 months ago

215.

Show HN: Kernx – A deterministic Java 25 runtime (66k req/s, <1ms latency) (github.com/Kernx-io)

1 point

4 months ago

216.

Show HN: Ctxbin – A deterministic CLI for reliable AI agent handoffs (github.com/superlucky84)

1 point

4 months ago

217.

Bina – a deterministic static analysis CI gate for Python (no AI, no heuristics) (github.com/Bonyad-Labs)

1 point

4 months ago

218.

Open-source tool to obfuscate Postgres data with deterministic rules (github.com/Ofsen)

1 point

4 months ago

219.

Infinite Deterministic Data (github.com/jgddesigns)

1 point

5 months ago

220.

Deterministic full-stack system generation from natural language (with proofs) (github.com/devmatrix-ai)

1 point

5 months ago

221.

Show HN: Deterministic analysis of musical tension, novelty, and fatigue (github.com/le-director)

1 point

6 months ago

222.

Show HN: CIX – deterministic indexing for stable LLM sessions (10-second PoC) (github.com/VikingFlow)

1 point

6 months ago

223.

Show HN: A seeded, deterministic chaos simulation runtime for async Rust (github.com/ZA1815)

1 point

6 months ago

224.

Sample Forge – Research tool for deterministic inference in LLM's (github.com/manfrom83)

1 point

nowittyusername

8 months ago

225.

MadSim: Deterministic Simulator for Distributed Systems (github.com/madsim-rs)

1 point

2 years ago

226.

Deterministic IP Addressing for WSL2 (github.com/ocroz)

1 point

4 years ago

227.

Show HN: I-AM, esoteric language to determine what is real (github.com/davidnunez)

1 point

6 years ago

228.

Generates a password for a websites's account, in a 'deterministic' way (github.com/nrox)

1 point

11 years ago

229.

uCA: easily sign algorithmically-determined Subject Alt Names with OpenSSL (github.com/gonkulator)

1 point

11 years ago

230.

Binary deterministic build of NixOS Linux distribution (preview) (github.com/NixOS)

1 point

12 years ago

231.

Determine handedness of a UIPinchGestureRecognizer (github.com/mdznr)

1 point

13 years ago

232.

Moodmatch, determine contents mood in Python (github.com/richardasaurus)

1 point

13 years ago

233.

Gate – deterministic PII redaction for AI agent tool output (Rust) (github.com/GaaraZhu)

1 point

2 days ago

234.

GateGraph – deterministic governance for AI agents (github.com/humancoreai)

1 point

19 days ago

235.

0.12949 This is not randomness this is Determinism HST (github.com/sel8888)

1 point

a month ago

236.

USB-Vault v1.0.0 – Deterministic Password Generator (github.com/emilianosolazzi)

1 point

emilianosolazzi

a month ago

237.

Show HN: Verifying AWS Costs Deterministically with Z3 SMT Solver (WASM) (github.com/KLOUCEO)

1 point

a month ago

238.

Show HN: deterministic oracle for hardware designs with replayable proofs (suprastructure.net)

1 point

a month ago

239.

Afterchain – Deterministic inheritance protocol for digital assets (github.com/Afterchain)

1 point

2 months ago

240.

MicroSafe-RL – Deterministic $1.18 \mu s$ safety layer for Edge AI on MCUs (github.com/Kretski)

1 point

2 months ago