Search: github.com/eth-sri | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

1.

Show HN: ToolFuzz – Automated Testing for Agent Tools (github.com/eth-sri)

1 point

a year ago

2.

LMQL: A query language for programming (large) language models (github.com/eth-sri)

108 points

3 years ago

3.

Show HN: Fine-grained stylistic control of LLMs using model arithmetic (github.com/eth-sri)

85 points

2 years ago

4.

ILF: AI-Based Fuzzer for Ethereum Smart Contracts (github.com/eth-sri)

5 points

7 years ago

5.

Silq: High-level strong static typed programming language for quantum computing (github.com/eth-sri)

4 points

6 years ago

6.

ERAN: ETH Robustness Analyzer for Deep Neural Networks (github.com/eth-sri)

1 point

a year ago

7.

Debin: Predicting Debug Information in Stripped Binaries (github.com/eth-sri)

1 point

7 years ago

8.

A macOS tool to convert SVG to Apple Keynote documents (github.com/eth-siplab)

1 point

4 years ago

9.

Ask HN: Recommendations for Peer to Peer Frameworks?

276 points

8 years ago

10.

Show HN: Tracking Merged PRs by OpenAI's Codex and GitHub's Copilot (github.com/aavetis)

6 points

a year ago

11.

Show HN: Content Reviewer for Websites (typos, grammar, etc.) (github.com/pulkitsharma07)

2 points

a year ago

12.

Show HN: SRTD – Live-reloading SQL templates for Supabase migrations (github.com/t1mmen)

1 point

a year ago