Search: github.com/coq | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

241.

Ask HN: Open-source mixpanel?

10 years ago

6 points

242.

Show HN: ContextVM – Running MCP over Nostr

4 months ago

6 points

243.

Show HN: Use Natural Language to Run Terminal Commands (Ghost in the Shell)

github.com/codingmoh

a year ago

6 points

244.

Is Google coral getting abandoned

3 years ago

6 points

245.

Ask HN: Assistance with Rebuilding Life in Amsterdam

6 years ago

6 points

246.

Show HN: Cadet, a jRuby wrapper for Neo4j

github.com/karabijavad

12 years ago

6 points

247.

Widely-distributed MailChimp Subscribe Form breaks jQuery AJAX functionality

13 years ago

6 points

248.

TCNs as Alternative to Transformers?

22 days ago

6 points

249.

Show HN: Prompt-injection firewall for OpenClaw agents

github.com/ContextFort-AI

5 months ago

6 points

250.

Ask HN: Are there any reliable benchmarks for Machine Learning Model Serving?

2 years ago

6 points

251.

Show HN: Boilerworks – don't pay tokens to re-solve auth and CI on every project

3 months ago

6 points

252.

Ask HN: Is Codex login down for all workspace (non-personal) users?

5 months ago

6 points

253.

Open-Source, Language-Agnostic Mutation Testing Tool Using LLM Agents

2 years ago

6 points

254.

Show HN: CycleQuest – Indoor Cycling game with steering

2 years ago

6 points

255.

Ask HN: Please help me by reviewing KBNF

3 years ago

6 points

256.

Show HN: Rust chat client (with GUI) and server on Mac and FreeBSD using WebSockets

10 years ago

6 points

257.

A GPT-5.4 bug led to OpenAI banning goblins and raccoons

2 months ago

6 points

258.

Show HN: Herd – A Go sidecar to stop stateful processes Puppeteer/LLMs from OOM

3 months ago

6 points

259.

Show HN: Cognee – Turn RAG and GraphRAG into custom dynamic semantic memory

github.com/topoteretes

a year ago

6 points

260.

Show HN: Open-source Canadian COVID-19 bot

6 years ago

6 points

261.

Show HN: Comntr, a browser extension to leave comments on any website

7 years ago

6 points

262.

Ask HN: What are your most recommended GitHub repos to learn from?

7 years ago

6 points

263.

Coursewa.re is now open source

13 years ago

6 points

264.

Show HN: ADBC for COBOL – modern database access meets 1959

3 months ago

6 points

265.

Show HN: Vizier – A physical design advisor for DuckDB

3 months ago

6 points

266.

Show HN: Operon – Reliable Agents Using Biological Motifs and Category Theory

github.com/coredipper

6 months ago

6 points

267.

Show HN: Devplan – Generate specs and coding prompts with deep context

10 months ago

6 points

268.

Show HN: ClipboardShield – A Clipboard Firewall for Windows (FOSS)

github.com/CoinFabrik

a year ago

6 points

269.

Source code for COVIDSafe app is now available on GitHub

6 years ago

6 points

270.

Show HN: Lilit.dev - Java code intelligence on GitHub

7 years ago

6 points