Search: github.com/valkmit | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

31.

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

3 points

3 years ago

32.

AIHint an open standard for signed verifiable metadata readable by AI on the web

2 points

a year ago

33.

Show HN: PDR AI – Open-source startup accelerator engine for non-technical chaos (github.com/Deodat-Lawson)

2 points

3 months ago

34.

Critical Logic Bypass "Intended Behavior" Full System Access

2 points

4 months ago

35.

Show HN: Make an AI talk to your own PHP code using Tool Functions (github.com/manuelkiessling)

2 points

ManuelKiessling

3 years ago

36.

Developer Friendly Data Observability Tool

2 points

4 years ago

37.

ASk HN: How do I solve 2d bin packing problem if I can change the bin size?

1 point

13 years ago

38.

Show HN: Crash-safe job queue – lease-expiry race and fencing fix (github.com/kritibehl)

1 point

3 months ago

39.

I got 3 parallel agents to change 149 files with 17 errors instead of 500

1 point

4 months ago

40.

Show HN: MSAM – Memory system for AI agents that knows when it doesn't know (github.com/jadenschwab)

1 point

3 months ago

41.

Show HN: Secache – Sampling Eviction Cache (pkg.go.dev)

1 point

6 months ago

42.

Show HN: RankLens – Track your brand's visibility in AI answers reliably (seovendor.co)

1 point

6 months ago

43.

Show HN: Lintspec, a Solidity NatSpec Linter (github.com/beeb)

1 point

a year ago

44.

Ask HN: Advice on setting up adversarial programming challenge?

1 point

2 years ago

45.

Show HN: The Wizard's Apprentice, AI-Powered TypeScript Project Suite and CLI (github.com/keybittech)

1 point

3 years ago