Search: github.com/coq | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

91.

Show HN: Filling PDF forms with AI using client-side tool calling (copilot.simplepdf.com)

60 points

a month ago

92.

Show HN: Benchi – A benchmarking tool written in Go (github.com/ConduitIO)

58 points

a year ago

93.

Show HN: 30k IKEA items in flat text (huggingface.co)

55 points

5 months ago

94.

Show HN: Cogitator – A Python Toolkit for Chain-of-Thought Prompting (github.com/habedi)

54 points

a year ago

95.

Show HN: Continue.dev releases local, open-source tab-autocomplete (continue.dev)

53 points

2 years ago

96.

Ask HN: I was made redundant yesterday, and I want some coding ideas

51 points

7 years ago

97.

Show HN: Configu – OSS project that puts an end to your configuration headaches (github.com/configu)

51 points

3 years ago

98.

Show HN: System Prompt Learning – LLMs Learn Problem-Solving from Experience

48 points

a year ago

99.

Show HN: Cosmic Media – Search millions of stock photos and videos

46 points

3 years ago

100.

I open sourced my startup

42 points

MikeChristensen

12 years ago

101.

Show HN: ControlFlow – open-source AI workflows (github.com/PrefectHQ)

42 points

2 years ago

102.

Audacity Forked

41 points

5 years ago

103.

GitHub Discussion about the recent feed changes becomes 3rd most upvoted ever

40 points

3 years ago

104.

Ask HN: Is Elm Dead?

40 points

4 years ago

105.

Show HN: I'm releasing a series of OS iOS/Mac apps to show how they're built

40 points

15 years ago

106.

Show HN: Codemodder – A new codemod library for Java and Python (codemodder.io)

37 points

2 years ago

107.

Asking for help: Please encourage Microsoft to add AAAA records for artefacts

36 points

4 years ago

108.

Open-Source LaMDA Model

27 points

4 years ago

109.

Tell HN: "[GitHub Security] Please reset your password"

26 points

8 years ago

110.

Show HN: CodinIT, local open-source Lovable alternative (Electron desktop app) (github.com/codinit-dev)

26 points

6 months ago

111.

Show HN: Browser-based PDF form fields detection (YOLO-based) (commonforms.simplepdf.com)

26 points

8 months ago

112.

How to verify boot firmware integrity if you prioritize neutralizing Intel ME?

25 points

2 years ago

113.

Show HN: A C# library to help you enforce a Given-When-Then structured Unit test

24 points

5 years ago

114.

Show HN: CodeBoarding – interactive map of your codebase for onboarding (github.com/CodeBoarding)

24 points

a year ago

115.

Show HN: mirrord – run your local code in the context of your cloud environment (mirrord.dev)

24 points

4 years ago

116.

Help hack the Zeo Sleep Coach data

23 points

17 years ago

117.

Show HN: Play brick breaker using webcam and hand tracking (open source) (collidingscopes.github.io)

22 points

a year ago

118.

GitHub accidentally writes clear text user passwords to logs

22 points

8 years ago

119.

Show HN: ZigFormer – An LLM implemented in pure Zig

22 points

6 months ago

120.

Ask HN: Is Ethereum's Merge one of the biggest successes in Open Source?

22 points

michaelsbradley

4 years ago