Search: github.com/provrb | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

1.

Show HN: A free, fast, and modern vehicle diagnostics tool (github.com/provrb)

5 points

a year ago

2.

Show HN: Reverse Engineering OBD-II in Rust – OBDium (github.com/provrb)

4 points

a year ago

3.

Show HN: OBDium – free, open-source on-board diagnostics software. (github.com/provrb)

2 points

a year ago

4.

Programmers' Proverbs (I'd love some input) (github.com/AntJanus)

36 points

12 years ago

5.

Programmer's Proverbs (github.com/AntJanus)

6 points

12 years ago

6.

Programmers proverbs (github.com/AntJanus)

2 points

12 years ago

7.

Show HN: Is it possible to secure AI Agents? We need you (github.com/SentinelOps-CI)

1 point

9 months ago

8.

ZZ is a modern formally provable dialect of C (github.com/aep)

266 points

6 years ago

9.

Make formal verification and provably correct software practical and mainstream (github.com/magmide)

204 points

4 years ago

10.

A Provably Secure Proof-Of-Stake Blockchain Protocol (github.com/input-output-hk)

93 points

9 years ago

11.

Launch HN: Spruce (YC W21) – OSS for User Owned and Provably Authentic Data

63 points

5 years ago

12.

Show HN: A Provably Zero Trust VPN (github.com/vpdotnet)

10 points

10 months ago

13.

Show HN: Daily collider game with provable speedruns (anybody.gg)

5 points

2 years ago

14.

Show HN: Dress – A parameter-free O(E) graph equation that provably exceeds 1-WL (github.com/velicast)

2 points

3 months ago

15.

Show HN: CGK – Provably Preventing Overcommit in Distributed Capacity Markets (distributed-markets-overcommit.github.io)

2 points

4 months ago

16.

Dappicom: Provable Play of NES (github.com/tonk-gg)

2 points

2 years ago

17.

Show HN: Provably Authentic Search Engine Results Comparisons

2 points

5 years ago

18.

Trustless, provable event ordering in p2p network (e.g. for smart contracts) (github.com/levy)

2 points

8 years ago

19.

A simple cryptosystem that provides provable plausibly deniable encryption (github.com/ESultanik)

1 point

12 years ago

20.

Display proverbs and anything on macOS lockscreen (github.com/HenokB)

1 point

7 months ago

21.

Aura-State: Formally Verified LLM State Machine Compiler

23 points

3 months ago

22.

Why “negative vectors” can't delete data in FAISS – but weighted kernels can (github.com/nikitph)

21 points

6 months ago

23.

Show HN: RAGLite – A Python package for the unhobbling of RAG (github.com/superlinear-ai)

19 points

a year ago

24.

Show HN: Decentralized Database (github.com/dbpunk-labs)

12 points

3 years ago

25.

Ask HN: Dealing with Fraudulent CVEs?

6 points

2 years ago

26.

Show HN: Open2FA – a CLI 2FA tool with optional secure remote capabilities (github.com/cc-d)

6 points

2 years ago

27.

Show HN: Backproto – network backpressure routing applied to AI agent payments (backproto.io)

5 points

3 months ago

28.

Show HN: Twoway, a Go package for HPKE encrypted request-response flows (github.com/confidentsecurity)

5 points

8 months ago

29.

I asked an AI to create "Unhackable Code". It gave me this. I'm scared

3 points

5 months ago

30.

Show HN: Provepy – A Python decorator that proves your code using Lean and LLMs

3 points

2 months ago