Search: github.com/coq | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

211.

Show HN: Coroot – AI powered Root Cause Analysis using eBPF-based telemetry

a year ago

8 points

212.

Show HN: Interactive Bash tutorial that runs in the browser

a year ago

8 points

213.

Show HN: Help improve language coverage in Common Crawl

a year ago

8 points

214.

Show HN: C++ library for embedded and IoT projects (ESP32)

github.com/open-control-systems

a year ago

8 points

215.

Show HN: Coze – cryptographic JSON messaging specification

github.com/Cyphrme

3 years ago

8 points

216.

NHS Covid-19 Track and Trace App Source Code (England and Wales)

6 years ago

8 points

217.

Ask HN: Infinite Byte Streams AaS?

7 years ago

8 points

218.

Complete Removal of Intel Me Possible on Certain Intel HEDT/Server Platforms

7 years ago

8 points

219.

Show HN: Cook for Mom

8 years ago

8 points

220.

Ask HN: Review CoffeeScript 0.3

16 years ago

8 points

221.

AI coding agents accidentally introduced vulnerable dependencies

3 months ago

7 points

222.

Ask HN: MacBook M1 development workflow?

4 years ago

7 points

223.

Ask HN: Whose using web based development environments?

5 years ago

7 points

224.

Show HN: Time Series of CDC's Covid-19 Vaccine Breakthrough Case Reporting

5 years ago

7 points

225.

Show HN: I built a firewall for agents because prompt engineering isn't security

github.com/cordum-io

5 months ago

7 points

226.

Show HN: I am creating a campaign to mitigate Covid-19 crisis in Spain

6 years ago

7 points

227.

Show HN: Write the best headline for your content with this simple app

13 years ago

7 points

228.

Show HN: Continue for JetBrains - how we made it IDE-agnostic

plugins.jetbrains.com

3 years ago

7 points

229.

Tell HN: GitHub Please Reset Your Password

8 years ago

7 points

230.

Ask HN: Why are some projects defaulting to Docker for public use?

9 years ago

7 points

231.

TLS – Cert + DHT = DH-RPC

8 years ago

7 points

232.

Ask HN: starter books for learning about grammars, parsers and compilers?

13 years ago

michaelsbradley

7 points

233.

Show HN: Linear RNN/Reservoir hybrid generative model, one C file (no deps.)

raw.githubusercontent.com

2 months ago

7 points

234.

Show HN: Deepcon – Get the most accurate context for coding agents

8 months ago

7 points

235.

Show HN: Filling PDF forms with AI using client-side tool calling

copilot.simplepdf.com

2 months ago

7 points

236.

Show HN: Open-agent-SDK – Claude Code's internals, extracted and open-sourced

github.com/codeany-ai

3 months ago

7 points

237.

Show HN: Creating flowing particle animations out of images (JS and WebGL)

particular-drift.netlify.app

a year ago

7 points

238.

Show HN: depot.ai – easily embed ML / AI models in your Dockerfile

3 years ago

7 points

239.

Show HN: Proton – A GitHub app that auto-fixes your PRs

a year ago

7 points

240.

Show HN: Commentate – Join a live discussion with your favourite philosophers

3 years ago

7 points