Search: github.com/pirapira | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

1.

Coq to Rust Program Extraction (github.com/pirapira)

99 points

10 years ago

2.

Bamboo: a language for morphing smart contracts (github.com/pirapira)

4 points

8 years ago

3.

Bamboo: a language for morphing smart contracts (github.com/pirapira)

2 points

8 years ago

4.

Vault-conductor: SSH agent serving keys from Bitwarden Secrets (github.com/pirafrank)

1 point

4 months ago

5.

Neural Paraphrase Generation (CODE+DATA) (github.com/iamaaditya)

1 point

9 years ago

6.

Show HN: Semi-Supervised Learning Using Noisy Student for Image Captioning (github.com/csalt-research)

1 point

5 years ago

7.

Blastar Paraphrase PHP LAMP Script Alpha 0.00001 (github.com/orionblastar)

1 point

13 years ago

8.

Show HN: Faster LLM evaluation with Bayesian optimization (github.com/rentruewang)

131 points

2 years ago

9.

Show HN: 70 days, 800 stars. If AI bugs are not random but math inevitable? (github.com/onestardao)

5 points

9 months ago

10.

Show HN: Built a textual watermarking tool to catch internal message leakers (github.com/adrian-kong)

2 points

a year ago

11.

Show HN: VerbatimRAG – RAG that returns only exact text from documents

2 points

10 months ago

12.

Analyzing OpenClaw's 3-layer defense against prompt injection

1 point

3 months ago

13.

Show HN: I turned Naval Ravikant into an AI agent (naval-nia.com)

1 point

6 months ago