Search: github.com/pryv | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

181.

Show HN: Web Tool to Create a Universal Database MCP Server (centralmind.ai)

7 points

a year ago

182.

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

4 points

2 months ago

183.

Show HN: Ggml.js – Serverless AI Inference on Browser with Web Assembly (rahuldshetty.github.io)

4 points

3 years ago

184.

CMSless for Startups (Node.js)

4 points

9 years ago

185.

Show HN: Reconquer Engine – A Full-Stack JavaScript Mmorpg Engine and Game (github.com/ReconquerOnline)

3 points

a year ago

186.

Show HN: Biggles, a coding assistant you can talk to (jpallen.net)

3 points

3 years ago

187.

Show HN: GPT-reviewer – Simple AI code reviewer for GH Actions (github.com/vayqerlukashakkarainen)

3 points

justanotherunit

10 months ago

188.

VT.ai – Multi-Modal LLM Chat Application (github.com/vinhnx)

2 points

2 years ago

189.

Show HN: ChatProjects Open-source WordPress plugin for document RAG and chat (github.com/chatprojects-com)

2 points

4 months ago

190.

Show HN: Tokuin – CLI load tester and token estimator for LLM APIs (github.com/nooscraft)

2 points

7 months ago

191.

Show HN: Wollebol a Simple Dependency Visualizer (thelaboflieven.info)

2 points

9 months ago

192.

Show HN: Stateless Go GraphQL Federation Gateway, 1.58x Faster Than ApolloRouter (github.com/n9te9)

1 point

3 months ago

193.

Show HN: Anonymize LLM traffic to dodge API fingerprinting and rate-limiting (github.com/xinxin7)

1 point

3 months ago

194.

Show HN: VPNBypass – macOS menu bar app to route domains around your VPN

1 point

5 months ago

195.

Show HN: A Prompt Octopus in VSCode (promptoctopus.com)

1 point

a year ago

196.

Show HN: A new provisioning tool built with mgmt (purpleidea.com)

1 point

2 years ago

197.

Ask HN: WebSocket server transforming channel subscriptions to gRPC streams

1 point

3 years ago

198.

Show HN: Tpm – A package manager for Terraform providers (github.com/Madh93)

1 point

3 years ago

199.

Simplified Cloud User Access

1 point

7 years ago

200.

1 point

10 years ago

201.

The sorry state of Python OAuth providers (pydanny.github.com)

25 points

14 years ago

202.

GitHub supports open source provisions in National Defense Authorization Act (github.com/blog)

9 points

9 years ago

203.

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

1 point

8 years ago

204.

Amazon Provides DIY Echo Plans for Raspberry Pi (github.com/amzn)

461 points

10 years ago

205.

Rclone – Sync files and directories to many cloud storage providers (github.com/rclone)

448 points

peter_d_sherman

6 years ago

206.

Asterinas: OS kernel written in Rust and providing Linux-compatible ABI (github.com/asterinas)

364 points

2 years ago

207.

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

326 points

8 months ago

208.

New OS aims to provide (some) compatibility with macOS (github.com/ravynsoft)

315 points

7 months ago

209.

The Z3 Theorem Prover released under MIT license (github.com/Z3Prover)

304 points

11 years ago

210.

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

266 points

6 years ago