Search: github.com/agda | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

901.

Show HN: My forum project; a different philosophy than Discourse

8 points

13 years ago

902.

Ask HN: Will Google ditch Android anytime soon?

8 points

12 years ago

903.

Show HN: GPU-Based Autorouting for KiCad (github.com/bbenchoff)

8 points

7 months ago

904.

Multiple Claude Code Sessions in an Easy UI: Crystal (github.com/stravu)

8 points

a year ago

905.

Show HN: OctopusGarden – An autonomous software factory (specs in, code out) (github.com/foundatron)

8 points

3 months ago

906.

Show HN: Graph-Based Editor for LLM Workflows (github.com/PySpur-Dev)

8 points

a year ago

907.

Show HN: Kurt Vonnegut's lost board game online (playghq.com)

8 points

2 years ago

908.

Show HN: DIY Disposable Email Service Using Cloudflare (github.com/jessetinell)

8 points

3 years ago

909.

Ask HN: Are you willing to contribute to OpenAI Evals?

8 points

3 years ago

910.

Show HN: AgentPort – Open-source Security Gateway For Agents (agentport.sh)

8 points

a month ago

911.

Show HN: Self-growing neural networks via a custom Rust-to-LLVM compiler (github.com/pierridotite)

8 points

5 months ago

912.

Show HN: I made a set of tools to write kernel prototypes. (github.com/glguida)

8 points

a year ago

913.

Ask HN: Anybody enabled IOMMU on AWS metal servers?

8 points

5 years ago

914.

Show HN: Shuck – a fast shell linter written in Rust (github.com/ewhauser)

8 points

a month ago

915.

Show HN: WhiskeySour – A 10x faster drop-in replacement for BeautifulSoup

8 points

a month ago

916.

Show HN: I'm 75, Building an OSS Virtual Protest Protocol (github.com/voice-of-japan)

8 points

4 months ago

917.

Show HN: Run Claude Code autonomously inside your Docker Compose stack (OSS) (github.com/sayil)

8 points

2 months ago

918.

Show HN: Hermes – Self-hosted video downloader (github.com/TechSquidTV)

8 points

7 months ago

919.

Show HN: A self-hosted social network where your Ethereum address is your ID (github.com/epressworld)

8 points

9 months ago

920.

Show HN: Duende: Web UX for guiding Gemini as it improves your source code (github.com/alefore)

8 points

a year ago

921.

Show HN: Build a fully-fledged crypto insurance in 4h – 300K USD DSLA Hackathon

8 points

5 years ago

922.

Show HN: Agent-browser-shield – free extension to protect AI agents on the web (github.com/pixiebrix)

7 points

6 days ago

923.

Show HN: Hyprvoice – Voice-Powered Typing for Wayland/Hyprland (No X11 Hacks) (github.com/LeonardoTrapani)

7 points

8 months ago

924.

Tell HN:GitHub can remove issues at any time

7 points

a year ago

925.

Show HN: Claude skill to do your taxes (github.com/robbalian)

7 points

3 months ago

926.

Tell HN: Mattermost "upgrade" to v11 enforces 10k UI message limit

7 points

5 months ago

927.

Ask HN: Building a Non-AI tool feels surprisingly refreshing for me

7 points

a year ago

928.

Show HN: Ordinary Puzzles, a free puzzle game inspired by Picross and Sudoku (ordinarypuzzles.com)

7 points

4 years ago

929.

So I am creating a chat server

7 points

5 years ago

930.

Show HN: Linear RNN/Reservoir hybrid generative model, one C file (no deps.) (raw.githubusercontent.com)

7 points

2 months ago