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

HK

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

a year ago

1 points

2.

LMQL: A query language for programming (large) language models

github.com/eth-sri

3 years ago

108 points

3.

Show HN: Fine-grained stylistic control of LLMs using model arithmetic

github.com/eth-sri

3 years ago

85 points

4.

ILF: AI-Based Fuzzer for Ethereum Smart Contracts

github.com/eth-sri

7 years ago

5 points

5.

Silq: High-level strong static typed programming language for quantum computing

github.com/eth-sri

6 years ago

4 points

6.

ERAN: ETH Robustness Analyzer for Deep Neural Networks

github.com/eth-sri

a year ago

1 points

7.

Debin: Predicting Debug Information in Stripped Binaries

github.com/eth-sri

7 years ago

1 points

8.

A macOS tool to convert SVG to Apple Keynote documents

github.com/eth-siplab

4 years ago

1 points

9.

Ask HN: Recommendations for Peer to Peer Frameworks?

8 years ago

276 points

10.

Show HN: Tracking Merged PRs by OpenAI's Codex and GitHub's Copilot

github.com/aavetis

a year ago

6 points

11.

Show HN: Content Reviewer for Websites (typos, grammar, etc.)

github.com/pulkitsharma07

a year ago

2 points

12.

Show HN: SRTD – Live-reloading SQL templates for Supabase migrations

github.com/t1mmen

a year ago

1 points