Search: github.com/eiz | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

901.

Show HN: An Automated Theorem Proving library inspired by a book by Harrison (github.com/aetilley)

3 points

3 years ago

902.

Show HN: Unidata – Providing Easy Access to Human-Friendly Web3 Data (unidata.app)

3 points

4 years ago

903.

Links for Highly Ambitious People

3 points

6 years ago

904.

Askbot: open source Q&A forum in Python and Django

3 points

16 years ago

905.

Ask HN: Lisp – Best TDD/Testing Framework?

3 points

8 years ago

906.

3 points

jasonrichardsmi

8 years ago

907.

Open data; Open source; but no Open tests

3 points

9 years ago

908.

Hacker News API doesn't obey RFC 4627

2 points

12 years ago

909.

Is anyone else drowning in terminal tabs running AI coding agents?

2 points

3 months ago

910.

Ask HN: What real world open source Node.js applications?

2 points

10 years ago

911.

Show HN: MuninnDB – ACT-R decay and Hebbian memory for AI agents (github.com/scrypster)

2 points

3 months ago

912.

Show HN: Open-source EU AI Act compliance layer for AI agents (8/2026 deadline)

2 points

3 months ago

913.

Ask HN: Simple collaborative CSS editing tool?

2 points

6 years ago

914.

Show HN: Continuity-auth – Respect-weighted rate limits for the open web

2 points

12 days ago

915.

Show HN: I built a 2nd-order PyTorch optimizer for LLMs that runs on 16GB GPUs

2 points

a month ago

916.

Show HN: A new, improved, and open-source clipboard history Chrome extension (chromewebstore.google.com)

2 points

2 years ago

917.

Ask HN: HSL 0.1 – The Human Source License. Please help refining

2 points

2 months ago

918.

Show HN: Todo or else, a CLI for enforcing Todo deadlines (github.com/jbreckmckye)

2 points

3 months ago

919.

Show HN: Spendtrace, Feature-level AWS cost attribution (found a 17× gap)) (github.com/Joshyi-Abini)

2 points

3 months ago

920.

Show HN: Node.js Beyond LeetCode

2 points

9 months ago

921.

Show HN: Meld RDP – A Fast, Portable Remote Desktop Manager (.rdp) (github.com/meld-cp)

2 points

a year ago

922.

Show HN: NotesAnkify – Convert PDF Notes to Anki Flashcards Automatically(No AI) (notesankify.com)

2 points

a year ago

923.

Ask HN: What's the best way to make a RC car drive around a permitter?

2 points

2 years ago

924.

Ask HN: What is this weird (Flex layout) C++ code?

2 points

3 years ago

925.

Show HN: Stripe for localization that abuses Git as back end (github.com/inlang)

2 points

3 years ago

926.

Show HN: Life4.py – visualizes John Conway's Game of Life in a command terminal (github.com/jazzfan2)

2 points

2 months ago

927.

Show HN: Lightless Labs Refinery – multi-model consensus and synthesis (github.com/Lightless-Labs)

2 points

2 months ago

928.

Show HN: Qwack – Collaborative steering for AI agents built on OpenCode (qwack.ai)

2 points

3 months ago

929.

Show HN: Aegis.rs, the first open source Rust-based LLM security proxy (github.com/ParzivalHack)

2 points

4 months ago

930.

Show HN: Verify-before-release x402 gateway for AI agent transactions

2 points

4 months ago