Search: github.com/provrb | Heykuki News

HK

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

a year ago

5 points

2.

Show HN: Reverse Engineering OBD-II in Rust – OBDium

github.com/provrb

a year ago

4 points

3.

Show HN: OBDium – free, open-source on-board diagnostics software.

github.com/provrb

a year ago

2 points

4.

Programmers' Proverbs (I'd love some input)

github.com/AntJanus

12 years ago

36 points

5.

Programmer's Proverbs

github.com/AntJanus

12 years ago

6 points

6.

Programmers proverbs

github.com/AntJanus

12 years ago

2 points

7.

Show HN: Is it possible to secure AI Agents? We need you

github.com/SentinelOps-CI

10 months ago

1 points

8.

ZZ is a modern formally provable dialect of C

6 years ago

266 points

9.

Make formal verification and provably correct software practical and mainstream

github.com/magmide

4 years ago

204 points

10.

A Provably Secure Proof-Of-Stake Blockchain Protocol

github.com/input-output-hk

10 years ago

93 points

11.

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

5 years ago

63 points

12.

Show HN: A Provably Zero Trust VPN

github.com/vpdotnet

10 months ago

10 points

13.

Show HN: Daily collider game with provable speedruns

2 years ago

5 points

14.

AutoMegaKernel: Compile an LLM into one provably-correct CUDA megakernel

github.com/RightNow-AI

14 days ago

4 points

15.

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

github.com/velicast

4 months ago

2 points

16.

Show HN: CGK – Provably Preventing Overcommit in Distributed Capacity Markets

distributed-markets-overcommit.github.io

4 months ago

2 points

17.

Dappicom: Provable Play of NES

github.com/tonk-gg

2 years ago

2 points

18.

Show HN: Provably Authentic Search Engine Results Comparisons

5 years ago

2 points

19.

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

github.com/levy

8 years ago

2 points

20.

A simple cryptosystem that provides provable plausibly deniable encryption

github.com/ESultanik

12 years ago

1 points

21.

Display proverbs and anything on macOS lockscreen

github.com/HenokB

7 months ago

1 points

22.

Aura-State: Formally Verified LLM State Machine Compiler

4 months ago

23 points

23.

Why “negative vectors” can't delete data in FAISS – but weighted kernels can

github.com/nikitph

6 months ago

21 points

24.

Show HN: RAGLite – A Python package for the unhobbling of RAG

github.com/superlinear-ai

2 years ago

19 points

25.

Show HN: Decentralized Database

github.com/dbpunk-labs

4 years ago

12 points

26.

Ask HN: Dealing with Fraudulent CVEs?

2 years ago

6 points

27.

Show HN: Open2FA – a CLI 2FA tool with optional secure remote capabilities

github.com/cc-d

2 years ago

6 points

28.

Show HN: Backproto – network backpressure routing applied to AI agent payments

3 months ago

5 points

29.

Show HN: Twoway, a Go package for HPKE encrypted request-response flows

github.com/confidentsecurity

8 months ago

5 points

30.

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

6 months ago

3 points