Search: github.com/neelsomani | Heykuki News

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)

43 points

5 months ago

2.

Show HN: I built a website to summarize Tech Twitter each day (todayontechtwitter.com)

11 points

a year ago

3.

Show HN: A tool to scrape senators' stock transactions for your own analysis (github.com/neelsomani)

350 points

6 years ago

4.

Show HN: Cuq – Formal Verification of Rust GPU Kernels (github.com/neelsomani)

94 points

7 months ago

5.

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

16 points

5 months ago

6.

Show HN: Do Models Represent Epistemic Stance? (github.com/neelsomani)

3 points

5 months ago

7.

Show HN: KV Marketplace – share LLM attention caches across GPUs like memcached (github.com/neelsomani)

2 points

7 months ago

8.

Show HN: Web2mcp – Auto-generate an MCP for any web app (github.com/neelsomani)

2 points

9 months ago

9.

GPT-Erdos – GPT 5.2 attempts to solve Erdos problems, reviewed by mathematicians (github.com/neelsomani)

1 point

4 months ago