Search: github.com/PRDeving | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

1.

Cryptography Library in C++

github.com/PRDeving

7 years ago

2 points

2.

Proving Ground: Tools for Automated Mathematics; HoTT

github.com/siddhartha-gadgil

4 years ago

2 points

3.

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

3 months ago

15 points

4.

Show HN: Computer-Aided Software Design

7 years ago

2 points

5.

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

3 months ago

4 points

6.

Theorem proving VS testing (with a simple example)

github.com/MaiaVictor

8 years ago

1 points

7.

ProofOfThought: LLM-based reasoning using Z3 theorem proving

github.com/DebarghaG

9 months ago

326 points

8.

Tensorflow Deepmath: Experiments towards neural network theorem proving

github.com/tensorflow

10 years ago

142 points

9.

Proving false in Coq using an implementation bug

github.com/clarus

11 years ago

125 points

10.

Proving that 1 and 1 = 2 in Rust

gist.github.com

6 years ago

31 points

11.

Trival PHP string concatenation benchmarks, proving time better spent elsewhere.

github.com/magnetikonline

12 years ago

8 points

12.

Show HN: Agent-to-code JIT compiler for Z3-theorem-proving agents

github.com/stanford-mast

7 months ago

6 points

13.

Show HN: Lapisla – A Theorem Proving Platform for Openness and Reusability

github.com/lapisla-prover

a year ago

6 points

14.

Programming and Proving in Agda [pdf]

github.com/jespercockx

4 years ago

4 points

15.

LLMs as Copilots for Theorem Proving in Lean

github.com/lean-dojo

3 years ago

3 points

16.

Proving with Coq the 5th Busy Beaver number, BB(5)=47,176,870

github.com/ccz181078

2 years ago

3 points

17.

Show HN: An Automated Theorem Proving library inspired by a book by Harrison

github.com/aetilley

3 years ago

3 points

18.

Proving leftpad correct two-dozen different ways

github.com/hwayne

2 years ago

2 points

19.

ProtEnc – Proving Protocols with Typestates in C++

github.com/nitnelave

7 years ago

2 points

20.

Benchmark of ZKVM and Proving Schemes

2 years ago

1 points

21.

Proving Differential Privacy with Shadow Execution

github.com/cmla-psu

7 years ago

1 points

22.

Is it possible to refute absolute truth without proving one absolute truth?

github.com/raganwald

11 years ago

1 points

23.

Tools for finding Busy Beaver Turing Machines and Proving others as non-halting

github.com/sligocki

6 months ago

1 points

24.

Train CIFAR10 to 94% in under 10 seconds on a single A100

github.com/tysam-code

3 years ago

151 points

25.

Show HN: Deta Surf – An open source and local-first AI notebook

github.com/deta

8 months ago

143 points

26.

Show HN: Talos – Open-source WASM interpreter for Lean

github.com/cajal-technologies

5 days ago

106 points

27.

Show HN: Gemini web client in 100 lines of C

github.com/ir33k

3 years ago

91 points

28.

Show HN: Dish: A lightweight HTTP and TCP socket monitoring tool written in Go

github.com/thevxn

a year ago

39 points

29.

Show HN: Fastest search engine in the world

9 years ago

38 points

30.

Show HN: Sostactic – polynomial inequalities using sums-of-squares in Lean

github.com/mmaaz-git

2 months ago

14 points