Search: github.com/pryv | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

211.

ProofOfThought: LLM-based reasoning using Z3 theorem proving

github.com/DebarghaG

9 months ago

326 points

212.

New OS aims to provide (some) compatibility with macOS

github.com/ravynsoft

7 months ago

315 points

213.

The Z3 Theorem Prover released under MIT license

github.com/Z3Prover

11 years ago

304 points

214.

ZZ is a modern formally provable dialect of C

6 years ago

266 points

215.

Rclone: Rsync for cloud storage – CLI to sync between cloud storage providers

github.com/rclone

5 years ago

246 points

216.

Todo-or-die – Provides procedural macros that act as checked reminders

github.com/davidpdrsn

5 years ago

214 points

217.

Go proposal: new package to provide generic slice functions

github.com/golang

5 years ago

208 points

218.

Make formal verification and provably correct software practical and mainstream

github.com/magmide

4 years ago

204 points

219.

Can Facebook provide postmortems on their iOS SDK crashes?

github.com/facebook

6 years ago

204 points

220.

Show HN: Fork of Claude-code working with local and other LLM providers

github.com/dnakov

a year ago

177 points

221.

Coqui, a startup providing open speech tech for everyone

5 years ago

174 points

222.

Prove Raft Correct

github.com/uwplse

11 years ago

173 points

223.

Show HN: Provide a CSV and a target field, generate a model and code to run it

github.com/minimaxir

7 years ago

172 points

224.

Show HN: Run your own OAuth2/OpenID Connect provider

github.com/ory-am

10 years ago

161 points

225.

GitHub provides an RSS feed for all user-facing changes made on the platform

blog.github.com

8 years ago

154 points

226.

Warewulf is a stateless and diskless container OS provisioning system

github.com/warewulf

a year ago

147 points

227.

Cloudflare-sync – Tool for using Cloudflare as a dynamic DNS provider

github.com/mxplusb

7 years ago

146 points

228.

Leela Zero – Go engine with no human-provided knowledge

9 years ago

142 points

229.

Tensorflow Deepmath: Experiments towards neural network theorem proving

github.com/tensorflow

10 years ago

142 points

230.

Ory Hydra 1.9: Open-source Golang OAuth2 provider

5 years ago

137 points

231.

The Z3 Theorem Prover

github.com/Z3Prover

7 years ago

____Sash---701_

137 points

232.

Show HN: Any-LLM – Lightweight router to access any LLM Provider

github.com/mozilla-ai

a year ago

125 points

233.

Proving false in Coq using an implementation bug

github.com/clarus

11 years ago

125 points

234.

Show HN: Open-source LLM provider price comparison

github.com/arc53

2 years ago

125 points

235.

Live Captions: an application that provides live captions for the Linux desktop

github.com/abb128

4 years ago

122 points

236.

Automate the creation of YouTube Shorts by providing a topic

github.com/FujiwaraChoki

2 years ago

117 points

237.

Please stop asking me to provide feedback #8036

github.com/anthropics

8 months ago

113 points

238.

Fast UI Draw is a library that provides a higher performance Canvas interface

github.com/intel

6 years ago

105 points

239.

Kubermesh: self-hosted/healing/provisioning, partial-mesh network K8s cluster

github.com/kubermesh

9 years ago

95 points

240.

A Provably Secure Proof-Of-Stake Blockchain Protocol

github.com/input-output-hk

10 years ago

93 points