Search: github.com/agda | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

871.

Steam bans the worlds first interactive animated feature film because NFT's 0_0

11 points

5 years ago

872.

Ask HN: Why do people need more than git to manage dotfiles?

10 points

2 years ago

873.

Need collaborators for ADHD management system called Poppins

10 points

crawfordcomeaux

13 years ago

874.

Show HN: I built a dream interpreter in JavaScript, no AI, no server, just logic (github.com/Dino-Nuggies45)

10 points

a year ago

875.

Show HN: Poker over SSH (github.com/theOGognf)

10 points

2 years ago

876.

Show HN: Open Passkey – open-source passkey auth with free "backendless" host (github.com/locke-inc)

10 points

2 months ago

877.

Show HN: Claude.md templates based on Boris Cherny's advice (github.com/abhishekray07)

10 points

4 months ago

878.

Show HN: Rekapu – Learn while procrastinating. Answer flashcard to unblock sites (github.com/k-tkachov)

10 points

6 months ago

879.

Show HN: Pomerium Agentic Access Gateway – dynamic auth for AI agents

10 points

a year ago

880.

Show HN: Skeet – A local-friendly command-line copilot that works with any LLM (github.com/knowsuchagency)

10 points

a year ago

881.

Show HN: ColiVara – State of the Art RAG API with Vision Models (github.com/tjmlabs)

10 points

2 years ago

882.

Show HN: A silly JavaScript-free web browser in the browser

10 points

4 years ago

883.

Ask HN: Why did anti-FOSS move by GrapheneOS not receive more attention?

9 points

throwaway_graph

3 years ago

884.

Show HN: I'm 35 and couldn't finish reading articles anymore, so I built this (parsely.obasic.app)

9 points

5 months ago

885.

Ask HN: Should I ditch Wordpress for Ghost?

9 points

11 years ago

886.

Ask HN: What can I do to fight internet censorship in Spain as a non-EU citizen?

9 points

10 months ago

887.

Show HN: Catnip – Run Claude Code from Your iPhone Using GitHub Codespaces (github.com/wandb)

9 points

5 months ago

888.

Show HN: The biggest achievement of my life so far (github.com/adityaprasad-sudo)

9 points

ambitious_potat

4 months ago

889.

Show HN: Checkpoint 401 – forward auth server in TypeScript / Deno (github.com/crowdwave)

9 points

2 years ago

890.

Show HN: ReJot – Database replication framework aimed at developers (github.com/rejot-dev)

9 points

a year ago

891.

I'm tired of LLM skill slop, so I built mine with regression tests

9 points

5 days ago

892.

I've maintained an open source task manager for 8 years

9 points

5 months ago

893.

Show HN: Open-Source Gateway to Stop Tool-Abusing Prompt Injections (archestra.ai)

9 points

8 months ago

894.

Show HN: GX CLI – Automatically stack large PRs to ship faster (github.com/maxium-ai)

9 points

a year ago

895.

Show HN: lambdaprompt – build, compose and call templated LLM prompts (github.com/approximatelabs)

9 points

3 years ago

896.

Show HN: Rotel – Fast and Efficient OpenTelemetry Collection in Rust (rotel.dev)

9 points

10 months ago

897.

Show HN: Notation – Bridging infrastructure and runtime code (github.com/notation-dev)

9 points

2 years ago

898.

Docker container to tweet at your ISP when your speed drops below threshold

8 points

9 years ago

899.

Ask HN: Using HTTP GET with request body

8 points

7 years ago

900.

Ask HN: Are you colour blind? Please help validate daltonize algorithm in Ruby

8 points

13 years ago