Search: github.com/coq | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

31.

Show HN: Anders CCHM/HTS Theorem Prover

github.com/groupoid

4 years ago

6 points

32.

Show HN: made giving.github.com for collaborative meaningful coding

14 years ago

43 points

33.

Show HN : Mirrorin serves raw.github.com with Content-Type

github.com/jbourassa

14 years ago

8 points

34.

Show HN: Read Github.com code on a widescreen

github.com/tmlee

13 years ago

4 points

35.

Ask HN: Does https://github.com/klauspost/compress returns 502 for you?

4 years ago

3 points

36.

Show HN: Needle: We Distilled Gemini Tool Calling into a 26M Model

github.com/cactus-compute

a month ago

776 points

37.

If you don't opt out by Apr 24 GitHub will train on your private repos

3 months ago

745 points

38.

F-Droid build servers can't build modern Android apps due to outdated CPUs

10 months ago

442 points

39.

Show HN: AutoThink – Boosts local LLM performance with adaptive reasoning

a year ago

397 points

40.

Show HN: Autotab – An AI-powered Chrome extension to create Selenium scripts

3 years ago

376 points

41.

Postgres.new: In-browser Postgres with an AI interface

2 years ago

366 points

42.

Launch HN: Opstrace (YC S19) – open-source Datadog

5 years ago

316 points

43.

Show HN: Continue – Open-source coding autopilot

github.com/continuedev

3 years ago

298 points

44.

Show HN: Moongate – Ultima Online server emulator in .NET 10 with Lua scripting

github.com/moongate-community

4 months ago

287 points

45.

Show HN: FlowTracker – Track data flowing through Java programs

github.com/coekie

2 years ago

280 points

46.

Show HN: Unforget, the note-taking app I always wanted: offline first, encrypted

unforget.computing-den.com

2 years ago

274 points

47.

Context Rot: How increasing input tokens impacts LLM performance

research.trychroma.com

a year ago

260 points

48.

Show HN: Cedille, the largest French language model, released in open source

5 years ago

240 points

49.

Show HN: Fossfox – paid opportunities for open-source devs

3 years ago

235 points

50.

Show HN: Cactus – Ollama for Smartphones

github.com/cactus-compute

a year ago

231 points

51.

Show HN: Windows 98 themed website in 1 HTML file for my post punk band

a year ago

204 points

52.

LivePortrait: A fast, controllable portrait animation model

github.com/KwaiVGI

2 years ago

203 points

53.

Show HN: Use Code Llama as Drop-In Replacement for Copilot Chat

3 years ago

187 points

54.

Launch HN: Continue (YC S23) – Create custom AI code assistants

hub.continue.dev

a year ago

178 points

55.

Launch HN: Fuzzbuzz (YC W19) – Fuzzing as a Service

7 years ago

171 points

56.

Show HN: Psychedelic animation generator; (p)art of your next trip

collidingscopes.github.io

a year ago

166 points

57.

Launch HN: Patterns (YC S21) – A much faster way to build and deploy data apps

4 years ago

149 points

58.

Show HN: Colanode, open-source and local-first Slack and Notion alternative

github.com/colanode

a year ago

147 points

59.

Show HN: Cognita – open-source RAG framework for modular applications

github.com/truefoundry

2 years ago

142 points

60.

Show HN: Coros – A Modern C++ Library for Task Parallelism

github.com/mtmucha

2 years ago

129 points