Search: github.com/neelsomani | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

1.

Show HN: A website that auctions itself daily

thedailyauction.com

5 months ago

43 points

2.

Show HN: I built a website to summarize Tech Twitter each day

todayontechtwitter.com

a year ago

11 points

3.

Show HN: A tool to scrape senators' stock transactions for your own analysis

github.com/neelsomani

6 years ago

350 points

4.

Show HN: Cuq – Formal Verification of Rust GPU Kernels

github.com/neelsomani

8 months ago

94 points

5.

Show HN: Symbolic Circuit Distillation: prove program to LLM circuit equivalence

github.com/neelsomani

6 months ago

16 points

6.

Show HN: Do Models Represent Epistemic Stance?

github.com/neelsomani

6 months ago

3 points

7.

Show HN: KV Marketplace – share LLM attention caches across GPUs like memcached

github.com/neelsomani

7 months ago

2 points

8.

Show HN: Web2mcp – Auto-generate an MCP for any web app

github.com/neelsomani

10 months ago

2 points

9.

GPT-Erdos – GPT 5.2 attempts to solve Erdos problems, reviewed by mathematicians

github.com/neelsomani

5 months ago

1 points