Search: github.com/bkad | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

691.

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

3 points

3 years ago

692.

Raudio: platform for hosting and streaming music

3 points

4 years ago

693.

Tell HN: Possible compromise of famous Read Aloud browser extension

3 points

Abishek_Muthian

5 years ago

694.

Show HN: Planterbox, my python venv utility

3 points

8 years ago

695.

The most feature-rich template library for JavaScript that fits in 510 bytes

3 points

9 years ago

696.

Show HN: a simple reading time estimator for a webpage

3 points

10 years ago

697.

How come Hackernews don't have Emacs reader/client?

2 points

12 years ago

698.

Helping promote the Lax programming language

2 points

5 months ago

699.

Apply HN: Natural advertising for small businesses and personal websites

2 points

10 years ago

700.

Tell HN: Recent SUSE update caused my first real dataloss in 20 years

2 points

5 years ago

701.

300 Founders, 3M LOC, 0 engineers. Here's our workflow

2 points

3 months ago

702.

Show HN: Termstage – Animated terminal SVGs from YAML, no screen recording (github.com/saikatkumardey)

2 points

3 months ago

703.

What static web site generators would you use?

2 points

18 years ago

704.

Show HN: Not_pad: local idea hub, Windows, single .exe, no install, zip (github.com/SylvaMoth)

2 points

3 months ago

705.

Show HN: GitAgent – Clone a repo, get an AI agent – Claude Code / OpenClaw (gitagent.sh)

2 points

3 months ago

706.

Ask HN: Master password to one password per site with bcrypt algorithm

2 points

14 years ago

707.

Show HN: Hallx – Hallucination risk scoring for LLM outputs (github.com/dhanushk-offl)

2 points

2 months ago

708.

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

2 points

2 months ago

709.

Show HN: RAG Doctor – CLI tool to diagnose broken RAG pipelines (ragdoctor.dev)

2 points

3 months ago

710.

Show HN: SkillFortify, a formal verification for AI agent skills (github.com/varun369)

2 points

3 months ago

711.

Show HN: ArtCraft AI crafting engine, written in Rust (github.com/storytold)

2 points

4 months ago

712.

Show HN: Sequor – dbt for API Integration (sequor.dev)

2 points

a year ago

713.

Show HN: Conventional Comments in GitHub (github.com/pullpo-io)

2 points

a year ago

714.

Show HN: Looset Graph – OSS concept map tool (ClojureScript, Wikipedia demo) (jponline.github.io)

2 points

a year ago

715.

Show HN: Weakest Link Reporter

2 points

14 years ago

716.

Show HN: byline a vim tailwind CSS editor

2 points

2 years ago

717.

Show HN: TutsWiki, Collaborative Tutorials for the Internet

2 points

6 years ago

718.

TfL Travel Alerts (play.google.com)

2 points

13 years ago

719.

Show HN: AgentShield – Stop AI agents from spending money unsupervised (agentshieldv2-dashboard-production.up.railway.app)

2 points

20 days ago

720.

Show HN: SkillFortify, Formal verification for AI agents (auto-discovers) (github.com/varun369)

2 points

3 months ago