Search: github.com/coq | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

271.

FlubuCore – a .net cross platform build and deployment automation system

8 years ago

6 points

272.

Some ios kernel analysis tool write by C

9 years ago

6 points

273.

Announcing Flink-HTM – Anomaly Detection for Apache Flink

10 years ago

6 points

274.

Ask HN: Anyone to implement striptease code coverage tool?

11 years ago

5 points

275.

Show HN: Vibe coding creates a mess, but it can be solved faster

a year ago

5 points

276.

Show HN: I'm learning Go and built a scraper. How can I improve it?

a year ago

5 points

277.

Ask HN: Where's that wiki/notes/knowledge management project?

6 years ago

5 points

278.

Show HN: Costanza – an autonomous AI agent that can't be turned off

2 months ago

5 points

279.

Ask HN: GPT-5.3-Codex being silently routed to GPT-5.2?

4 months ago

5 points

280.

Show HN: Cadet, a jRuby wrapper for Neo4j (including batch insert mode support)

12 years ago

5 points

281.

Show HN: I built Comrade – the security-focused AI agent

2 months ago

5 points

282.

Show HN: Codemaxxed – 350M+ LOC and a GitHub cease and desist

github.com/jshchnz

2 months ago

5 points

283.

Ask HN: SoTA of Context Building Methods

3 months ago

5 points

284.

Show HN: Compose2nix – NixOS and Docker Compose made easy

github.com/aksiksi

2 years ago

5 points

285.

Show HN: Extreme Mutation Testing to Optimize LLM Agent-Based Mutation Testing

2 years ago

5 points

286.

Show HN: I open-sourced CoverLetterGPT.xyz – 900 users, feat. on indiehackers

coverlettergpt.xyz

3 years ago

5 points

287.

Show HN: CodePrompt – a UI for loading code repos into GPT prompts

3 years ago

5 points

288.

Show HN: Ipfrs – A "Thinking" IPFS in Rust with Built-In Vector Search

github.com/cool-japan

5 months ago

5 points

289.

Show HN: New eval from SWE-bench team evalutes LMs based on goals not tickets

8 months ago

5 points

290.

Show HN: Adaptive-classifier – text classification with continuous learning

a year ago

5 points

291.

Show HN: Web RAG to generate perplexity like answers from your docs [in browser]

docs.akiradocs.ai

a year ago

5 points

292.

CoffeeScript 0.2.1: Significant Whitespace, Splats, Existence, Object Compre...

16 years ago

5 points

293.

Show HN: coinmarketcap-api

11 years ago

5 points

294.

Ask HN: Are you an iOS developer using the Touch Visualizer?

12 years ago

5 points

295.

See HN comments that link to specific sites

6 days ago

5 points

296.

Show HN: Osscar – Measuring open-source growth beyond GitHub stars

2 months ago

5 points

297.

Show HN: Twoway, a Go package for HPKE encrypted request-response flows

github.com/confidentsecurity

8 months ago

5 points

298.

Show HN: Agentic Design Patterns – Python Edition, from the Codex Codebase

artvandelay.github.io

9 months ago

5 points

299.

Show HN: Open-Source Framework for Real-Time AI Video Avatars

github.com/videosdk-community

10 months ago

5 points

300.

Show HN: Use Apple Container with Gemini CLI

github.com/BandarLabs

a year ago

5 points