Search: github.com/Goalt | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

391.

Show HN: Symbolic Circuit Distillation: prove program to LLM circuit equivalence

github.com/neelsomani

6 months ago

16 points

392.

Show HN: I Hid Labubus in World Labs' AI Worlds

8 months ago

15 points

393.

Show HN: OtterLang – Pythonic scripting language that compiles to native code

github.com/jonathanmagambo

7 months ago

15 points

394.

Show HN: Ragas – Open-source library for evals and testing RAG systems

github.com/explodinggradients

2 years ago

15 points

395.

Show HN: TutaCrypt, post-quantum encryption protocols for securing emails [pdf]

2 years ago

15 points

396.

Ask HN: Programmers Who Want to Get Better at Math

2 years ago

15 points

397.

Help the Radare Project Host the Radare Summer of Code

11 years ago

15 points

398.

Ask HN: How do you run multiple VMs on Apple Silicon M1?

4 years ago

15 points

399.

Show HN: Leaping – Open-source debugging with LLMs

2 years ago

15 points

400.

Show HN: Open database of link metadata for large-scale analysis

github.com/rumca-js

6 months ago

15 points

401.

Show HN: Kexa.io – Open-Source IT Security, Compliance and AI-Powered

8 months ago

15 points

402.

Show HN: Wyvern – Real-time machine learning platform for marketplaces

github.com/Wyvern-AI

3 years ago

15 points

403.

Show HN: FP-pack – Functional pipelines in TypeScript without monads

github.com/superlucky84

6 months ago

14 points

404.

Show HN: Mist – a lightweight, self-hosted PaaS

5 months ago

14 points

405.

Show HN: gpt-graph. A simple, GPT-3 text to entity-relation graph generator

github.com/achousa

3 years ago

14 points

406.

Show HN: Constellation – An always encrypted Kubernetes engine

github.com/edgelesssys

4 years ago

14 points

407.

Show HN: Retrace – reverse debugging for production CPython applications

github.com/retracesoftware

a month ago

14 points

408.

Show HN: Julius, a New Lisp Implementation

github.com/tgflynn

2 months ago

14 points

409.

Show HN: Docker/Model-Runner – Join Us in Revitalizing the DMR Community

github.com/docker

8 months ago

14 points

410.

Show HN: An open-source reverse proxy that authenticates users

github.com/stack-auth

2 years ago

14 points

411.

Show HN: Willow Inference Server: Optimized ASR/TTS/LLM for Willow/WebRTC/REST

github.com/toverainc

3 years ago

13 points

412.

Ask HN: Designing a Parenscript alternative

16 years ago

13 points

413.

Show HN: Personal Site, and the Static Site Generator I Wrote to Build It

7 years ago

13 points

414.

Show HN: "Unsealed", My First 'Finished' Rails app, an MTG Sealed Deck Generator

unsealed.herokuapp.com

14 years ago

13 points

415.

Show HN: Ustps (UDP Speedy Transmission Protocol Secure) and USSH

github.com/x1colegal

15 days ago

13 points

416.

Show HN: Podsumer – A Self Hosted Podcatcher

github.com/joshwbrick

3 years ago

13 points

417.

Show HN: Open-Source Data Anonymization for Developers

docs.neosync.dev

2 years ago

13 points

418.

I Built a Browser Flight Simulator Using Three.js and CesiumJS

4 months ago

13 points

419.

Show HN: Automated, hosted UI tests with AI test discovery (octomind.dev)

3 years ago

13 points

420.

Show HN: iq – jq for images (using rust, LALRPOP)

github.com/michaelgiba

4 years ago

13 points