Search: github.com/PRDeving | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

1.

Cryptography Library in C++ (github.com/PRDeving)

2 points

7 years ago

2.

Proving Ground: Tools for Automated Mathematics; HoTT (github.com/siddhartha-gadgil)

2 points

4 years ago

3.

Show HN: Agent Orchestrator, a local-first Harness Engineering control plane

15 points

2 months ago

4.

Show HN: Computer-Aided Software Design

2 points

7 years ago

5.

Show HN: I built a 0.07ms Python firewall to stop AI hallucinations

4 points

2 months ago

6.

Theorem proving VS testing (with a simple example) (github.com/MaiaVictor)

1 point

8 years ago

7.

ProofOfThought: LLM-based reasoning using Z3 theorem proving (github.com/DebarghaG)

326 points

8 months ago

8.

Tensorflow Deepmath: Experiments towards neural network theorem proving (github.com/tensorflow)

142 points

10 years ago

9.

Proving false in Coq using an implementation bug (github.com/clarus)

125 points

11 years ago

10.

Proving that 1 and 1 = 2 in Rust (gist.github.com)

31 points

6 years ago

11.

Trival PHP string concatenation benchmarks, proving time better spent elsewhere. (github.com/magnetikonline)

8 points

12 years ago

12.

Show HN: Agent-to-code JIT compiler for Z3-theorem-proving agents (github.com/stanford-mast)

6 points

7 months ago

13.

Show HN: Lapisla – A Theorem Proving Platform for Openness and Reusability (github.com/lapisla-prover)

6 points

a year ago

14.

Programming and Proving in Agda [pdf] (github.com/jespercockx)

4 points

4 years ago

15.

LLMs as Copilots for Theorem Proving in Lean (github.com/lean-dojo)

3 points

2 years ago

16.

Proving with Coq the 5th Busy Beaver number, BB(5)=47,176,870 (github.com/ccz181078)

3 points

2 years ago

17.

Show HN: An Automated Theorem Proving library inspired by a book by Harrison (github.com/aetilley)

3 points

3 years ago

18.

Proving leftpad correct two-dozen different ways (github.com/hwayne)

2 points

2 years ago

19.

ProtEnc – Proving Protocols with Typestates in C++ (github.com/nitnelave)

2 points

7 years ago

20.

Benchmark of ZKVM and Proving Schemes

1 point

a year ago

21.

Proving Differential Privacy with Shadow Execution (github.com/cmla-psu)

1 point

7 years ago

22.

Is it possible to refute absolute truth without proving one absolute truth? (github.com/raganwald)

1 point

11 years ago

23.

Tools for finding Busy Beaver Turing Machines and Proving others as non-halting (github.com/sligocki)

1 point

5 months ago

24.

Train CIFAR10 to 94% in under 10 seconds on a single A100 (github.com/tysam-code)

151 points

3 years ago

25.

Show HN: Deta Surf – An open source and local-first AI notebook (github.com/deta)

143 points

7 months ago

26.

Show HN: Gemini web client in 100 lines of C (github.com/ir33k)

91 points

3 years ago

27.

Show HN: Dish: A lightweight HTTP and TCP socket monitoring tool written in Go (github.com/thevxn)

39 points

a year ago

28.

Show HN: Fastest search engine in the world

38 points

9 years ago

29.

Show HN: Sostactic – polynomial inequalities using sums-of-squares in Lean (github.com/mmaaz-git)

14 points

2 months ago

30.

TrustAgentAI – Cryptographic receipts for MCP tool calls (non-repudiation layer)

6 points

kirillostrovsky

3 months ago