Search: github.com/deta | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

421.

Show HN: Core – open source memory graph for LLMs – shareable, user owned (github.com/RedPlanetHQ)

112 points

a year ago

422.

Quint: A specification language based on the temporal logic of actions (TLA) (github.com/informalsystems)

110 points

2 years ago

423.

Show HN: Cursor IDE now remembers your coding prefs using MCP

109 points

a year ago

424.

Show HN: AI Peer Reviewer – Multiagent system for scientific manuscript analysis (github.com/robertjakob)

108 points

a year ago

425.

Show HN: Leporello.js – interactive functional programming IDE for JavaScript (leporello.tech)

107 points

3 years ago

426.

Show HN: Zxc – Rust TLS proxy with tmux and Vim as UI, BurpSuite alternative (github.com/hail-hydrant)

106 points

a year ago

427.

Show HN: Agency – Unifying human, AI, and other computing systems, in Python (github.com/operand)

106 points

3 years ago

428.

Show HN: SwaraNotebook – a notation editor for Indian classical music (swaranotebook.com)

105 points

3 years ago

429.

Show HN: We made a tool to help developers improve OpenAPI specs (github.com/zuplo)

105 points

2 years ago

430.

Show HN: Open-source alternative to ChatGPT Agents for browsing (github.com/trymeka)

104 points

10 months ago

431.

Show HN: Globstar – Open-source static analysis toolkit

103 points

a year ago

432.

Show HN: Talk Paper Scissors (talkpaperscissors.com)

102 points

2 years ago

433.

Show HN: Brutalist Hacker News – A HN reader inspired by brutalist web design (brutalisthackernews.com)

101 points

2 years ago

434.

Show HN: Functional UI Kit – twin Figma and React component libraries (github.com/functional-ui)

101 points

2 years ago

435.

Show HN: Chrome extension to hide AI/GPT related submissions from HN (chrome.google.com)

99 points

3 years ago

436.

Show HN: Agent-desktop – Native desktop automation CLI for AI agents (github.com/lahfir)

99 points

a month ago

437.

I traced $2B in nonprofit grants for Meta and Age Verification lobbying

99 points

3 months ago

438.

Ask HN: Why and how is Hacker News so fast?

98 points

11 years ago

439.

Show HN: Interactive ECS Systems/Component Explorer for Cities: Skylines 2 (captain-of-coit.github.io)

95 points

2 years ago

440.

Aaron Swartz died 13 years ago today

95 points

5 months ago

441.

Show HN: SmallDocs – Markdown without the frustrations

92 points

2 months ago

442.

Show HN: Open-source real time data framework for LLM applications (getindexify.ai)

92 points

2 years ago

443.

Show HN: Open-Source 3D Location-Based Wireless Mesh Network (github.com/kurthildebrand)

89 points

4 years ago

444.

Launch HN: Convoy (YC W22) – Open-source cloud-native webhooks service (getconvoy.io)

88 points

4 years ago

445.

Show HN: BrowserOS – "Claude Cowork" in the browser (github.com/browseros-ai)

88 points

4 months ago

446.

Show HN: Offline sketch to image geneartor in a whiteboard (drawing.pics)

87 points

2 years ago

447.

Show HN: Shed Light on Your Go Binary Bloat with Go Size Analyzer (github.com/Zxilly)

87 points

2 years ago

448.

Show HN: Chrome Reaper (github.com/usnistgov)

86 points

2 years ago

449.

Show HN: Fine-grained stylistic control of LLMs using model arithmetic (github.com/eth-sri)

85 points

2 years ago

450.

Show HN: I made an emergency page for my family (help.delduca.org)

84 points

10 days ago