Search: github.com/uprun | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

61.

Show HN: Symbolic Circuit Distillation: prove program to LLM circuit equivalence (github.com/neelsomani)

16 points

5 months ago

62.

Show HN: OpenGraviton – Run 500B+ parameter models on a consumer Mac Mini (opengraviton.github.io)

13 points

3 months ago

63.

C3 (a C-like programming language) hits 0.6.6

8 points

a year ago

64.

Show HN: Sparse Matrix-Vector Multiplication that works at 30–90% sparsity (github.com/vlejd)

7 points

6 months ago

65.

Show HN: depot.ai – easily embed ML / AI models in your Dockerfile

7 points

3 years ago

66.

The Token Tax You Didn't Know You Were Paying

5 points

3 months ago

67.

Show HN: FPGA prime finder – discovered a 1,123-digit Proth prime (github.com/0xdeadbeefnetwork)

5 points

3 months ago

68.

Show HN: Single-agent long-horizon reasoning within one LLM run (huggingface.co)

4 points

10 months ago

69.

Ask HN: Use Docker, Foreman, or Vagrant for installing our FOSS project?

4 points

12 years ago

70.

Show HN: Instruct LLMs to do what you want in Ruby (github.com/instruct-rb)

4 points

a year ago

71.

Show HN: LocalPics – A zero-dependency local media viewer written in Go (github.com/tuxx)

3 points

a year ago

72.

Bzfs 1.13.0 – 1‑second (even sub‑second) ZFS replication across fleets

3 points

8 months ago

73.

Show HN: Hmem v2 – Persistent hierarchical memory for AI agents (MCP) (github.com/Bumblebiber)

2 points

3 months ago

74.

Show HN: Sentience – Semantic Visual Grounding for AI Agents (WASM and ONNX)

2 points

5 months ago

75.

Show HN: PyNear – exact and approximate KNN, faster than Faiss

2 points

2 months ago

76.

Show HN: Cruxible Core – Deterministic decision engine with receipts for agents (github.com/cruxible-ai)

2 points

3 months ago

77.

Show HN: RunbookAI – Hypothesis-driven incident investigation agent(open source) (userunbook.ai)

2 points

3 months ago

78.

Show HN: Kore – local AI memory layer with Ebbinghaus forgetting curve (github.com/auriti-web-design)

2 points

4 months ago

79.

Show HN: Dream – An LLM memory architecture using adaptive TTL to control cost

2 points

7 months ago

80.

Show HN: wt a tool to help quickly manage git worktrees

2 points

9 months ago

81.

Show HN: Experiment with Electronic Design Automation (EDA) in the Browser (colab.research.google.com)

2 points

9 months ago

82.

Show HN: Creating a Binary Puzzle Game (taengo.vercel.app)

2 points

10 months ago

83.

Show HN: Skyline – A Go Library for Efficient Multi-Dimensional Skyline Queries (github.com/gkoos)

2 points

10 months ago

84.

Show HN: One, cross domain auto-researching knowledge graph Claude orchestrator (github.com/bcd532)

1 point

3 months ago

85.

Show HN: Devclean – All-in-one disk cleanup CLI for developers (npmjs.com)

1 point

mozharovskyarik

3 months ago

86.

Show HN: I just shipped the canonical neuro-symbolic control demo (github.com/anulum)

1 point

4 months ago

87.

Show HN: A tool to keep dotfiles and system configs in sync with a Git repo (github.com/senotrusov)

1 point

4 months ago

88.

Thoughts on Database Tooling and UX

1 point

4 months ago

89.

Show HN: BMP – Fast, Exact Learned Sparse Retrieval for RAG (github.com/pisa-engine)

1 point

a year ago

90.

Show HN: Chatfile – AI in a Textfile (github.com/TedSinger)

1 point

a year ago