Search: github.com/Hopding | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

91.

Show HN: Symbolic Circuit Distillation: prove program to LLM circuit equivalence

github.com/neelsomani

6 months ago

16 points

92.

Ask HN: Does the Ethereum foundation really not develop a post-Merge client?

4 years ago

RjQoLCOSwiIKfpm

15 points

93.

Show HN:`npx continues` – resume same session Claude, Gemini, Codex when limited

github.com/yigitkonur

4 months ago

15 points

94.

Show HN: I built Wool, a lightweight distributed Python runtime

github.com/wool-labs

3 months ago

15 points

95.

Show HN: Paseo – Open-source coding agent interface (desktop, mobile, CLI)

github.com/getpaseo

3 months ago

14 points

96.

Ask HN: Yahoo Pipes Replacement?

11 years ago

13 points

97.

Show HN: Open-Source macOS App for AI-Summarized Web Change Alerts

github.com/devin-liu

2 years ago

13 points

98.

DoltHub. Public Launch

7 years ago

13 points

99.

Show HN: US-BR, a fork of US-intl for brazilian / portuguese programmers

5 years ago

12 points

100.

Show HN: kiln – Git-native, decentralized secret management using age

a year ago

12 points

101.

Show HN: Hm – a task runner with a Python DSL, growing into a CI/CD system

github.com/harmont-dev

a month ago

12 points

102.

Show HN: Mozilla.ai introduces Clawbolt, an AI Assistant for the trades

github.com/mozilla-ai

4 months ago

12 points

103.

Show HN: Backbone JS Key-Value Observing

15 years ago

12 points

104.

Show HN: A competition game to write bots for the most efficient algo

github.com/kingofthegrid

a year ago

11 points

105.

Show HN: Structured Cooperation – A new way of building distributed apps & POC

github.com/gabrielshanahan

a year ago

gabrielshanahan

11 points

106.

Show HN: Cicada: A FOSS, Self-Hosted Alternative to GitHub Actions and Gitlab CI

3 years ago

11 points

107.

Show HN: I built an HTTP/2 server in C++ to learn the protocol and language

github.com/rhargreaves

6 months ago

11 points

108.

Show HN: Parabeac – Open-source design to Flutter converter

6 years ago

11 points

109.

Dev LLM stack, production LLM stack, example projects, & things you'll discover

3 years ago

10 points

110.

Show HN: Ad network for side projects has launched

5 years ago

10 points

111.

Show HN: Frontend-VisualQA — give coding agents eyes to verify their own UI work

github.com/yutori-ai

2 months ago

10 points

112.

Ask HN: How to (instantly) search by filename in Linux?

11 years ago

9 points

113.

I'm quitting my job and moving to the Bay Area. Anyone looking for an intern?

14 years ago

9 points

114.

Group changes into commits and rebase to build a better Git history

5 years ago

your_challenger

9 points

115.

Show HN: Legit, Open source Git-based Version control for AI agents

5 months ago

9 points

116.

Show HN: Sentinel – a Pingora-based reverse proxy (inspired by River)

sentinel.raskell.io

5 months ago

8 points

117.

Show HN: Termitty – Open Source Terminal Automation Framework (Selenium for SSH)

github.com/Termitty

a year ago

8 points

118.

Show HN: WhisperCat – An Audio Recorder and Transcription Tool

github.com/ddxy

a year ago

8 points

119.

Show HN: Object-Oriented HTML – Proposal for new powerful features in HTML

github.com/webqit

2 years ago

8 points

120.

Postwoman API request builder is changing name

6 years ago

8 points