Search: github.com/satisfice | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

31.

Show HN: Ü Programming Language (github.com/Panzerschrek)

4 points

7 months ago

32.

Show HN: CoSig – WebAuthn co-signing for MCP tool calls (github.com/skyforest)

4 points

3 months ago

33.

Show HN: OQP – A verification protocol for AI agents

4 points

2 months ago

34.

Show HN: Polyglot Web Assembler done using AI (github.com/Srid68)

4 points

8 months ago

35.

Show HN: I built PdfDing – A selfhosted PDF manager and viewer (github.com/mrmn2)

4 points

a year ago

36.

Show HN: Attorch – PyTorch's nn module written in Python using OpenAI's Triton (github.com/BobMcDear)

4 points

2 years ago

37.

Show HN: Hackamaps – A global hackathon map I build after hitting Lovable Limits

3 points

a month ago

38.

Show HN: gtrash – A Trash CLI manager: safe alternative to rm command (github.com/umlx5h)

3 points

2 years ago

39.

Show HN: FeedFlow – a minimalistic and opinionated RSS Reader (feedflow.dev)

3 points

3 years ago

40.

Show HN: Kadō, an open source habit tracker app for iOS (github.com/scastiel)

3 points

a month ago

41.

Show HN: Psuedocode Expander (github.com/Explosion-Scratch)

3 points

a year ago

42.

Show HN: Language Server MCP Server Written in Go (github.com/isaacphi)

3 points

a year ago

43.

Show HN: Doot is a fast, simple and intuitive dotfiles manager (github.com/pol-rivero)

3 points

a year ago

44.

Show HN: A Hacker News-like web system written in Go, works without JavaScript (github.com/oodzchen)

3 points

a year ago

45.

Show HN: I built a Reddit MCP server for faster and better research in Claude (github.com/GridfireAI)

3 points

a year ago

46.

Show HN: Venom, a lean-and-mean virtual stack machine (github.com/overclockworked64)

3 points

3 years ago

47.

Show HN: Shapow – Nginx module to block bots with PoW (github.com/markozajc)

2 points

3 months ago

48.

Show HN: OmoiOS–190K lines of Python to stop babysitting AI agents (Apache 2.0) (github.com/kivo360)

2 points

3 months ago

49.

Show HN: We put ZK attribute proofs inside x402 payment headers

2 points

a month ago

50.

Show HN: Fetch – A minimalistic and super fast macOS app launcher (github.com/hackerbirds)

2 points

5 months ago

51.

Ask HN: EBay switched to Marko templates from Dust?

2 points

11 years ago

52.

Show HN: Kadō, an open source habit tracker app for iOS (github.com/scastiel)

2 points

a month ago

53.

Show HN: Automate Claude in a work->review loop with cook (github.com/rjcorwin)

2 points

3 months ago

54.

Show HN: Multi-agent deliberation plugin for Claude Code (github.com/BayramAnnakov)

2 points

4 months ago

55.

Show HN: ProofLoop – Autonomous long-running agents with verifiable completion (github.com/exiw-ai)

2 points

5 months ago

56.

Show HN: Tacocopter – My Custom Flight Controller Programmed in Rust (github.com/njfdev)

2 points

6 months ago

57.

Show HN: Boneless (Display up to 4 websites, in a minimalist way)

2 points

7 years ago

58.

Show HN: Replacing NotNull and Preconditions with fluent Java assertions

1 point

4 months ago

59.

Show HN: Argus-seal – Forensic-ready log integrity using Merkle Trees (github.com/gamer-null)

1 point

4 months ago

60.

Show HN: Hacker News Dark Mode Bookmarklet (github.com/gorgonian)

1 point

a month ago