Search: github.com/z24 | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

541.

ProofOfThought: LLM-based reasoning using Z3 theorem proving

github.com/DebarghaG

9 months ago

326 points

542.

Launch HN: Jitsu (YC S20) – Open-Source Segment Alternative

5 years ago

265 points

543.

Show HN: HelixDB – Open-source vector-graph database for AI applications (Rust)

github.com/HelixDB

a year ago

237 points

544.

Show HN: Sameshi – a ~1200 Elo chess engine that fits within 2KB

github.com/datavorous

4 months ago

230 points

545.

Show HN: Coi – A language that compiles to WASM, beats React/Vue

5 months ago

225 points

546.

LivePortrait: A fast, controllable portrait animation model

github.com/KwaiVGI

2 years ago

203 points

547.

Show HN: Run TRELLIS.2 Image-to-3D generation natively on Apple Silicon

github.com/shivampkumar

2 months ago

202 points

548.

Show HN: The C3 programming language (C alternative language)

github.com/c3lang

a year ago

175 points

549.

Show HN: Yet another memory system for LLMs

github.com/trvon

10 months ago

165 points

550.

Launch HN: Chonkie (YC X25) – Open-Source Library for Advanced Chunking

a year ago

151 points

551.

Launch HN: Mito (YC S20) – Edit a spreadsheet, generate Python

4 years ago

140 points

552.

Show HN: Browser-based knitting (pattern) software

github.com/alefore

2 years ago

135 points

553.

Show HN: RowboatX – open-source Claude Code for everyday automations

github.com/rowboatlabs

7 months ago

131 points

554.

Show HN: Phage Explorer

phage-explorer.org

5 months ago

127 points

555.

Show HN: Data Diff – compare tables of any size across databases

4 years ago

127 points

556.

Launch HN: Artie (YC S23) – Real time data replication to data warehouses

3 years ago

123 points

557.

Show HN: AI Peer Reviewer – Multiagent system for scientific manuscript analysis

github.com/robertjakob

a year ago

108 points

558.

Show HN: Infisical – open-source secrets manager for developers

3 years ago

103 points

559.

Launch HN: Pyroscope (YC W21) – Continuous profiling software

5 years ago

102 points

560.

Show HN: Veil – Dark mode PDFs without destroying images, runs in the browser

veil.simoneamico.com

3 months ago

100 points

561.

I traced $2B in nonprofit grants for Meta and Age Verification lobbying

3 months ago

99 points

562.

Show HN: VOOG – Moog-style polyphonic synthesizer in Python with tkinter GUI

github.com/gpasquero

4 months ago

96 points

563.

Show HN: machine0 – Persistent NixOS VMs You Control from the CLI

9 days ago

96 points

564.

Launch HN: Keep (YC W23) – AIOps and alert management

github.com/keephq

2 years ago

94 points

565.

Show HN: My first programming project – userscripts to change forum UIs

github.com/wkrouse

2 years ago

89 points

566.

Ask HN: How do you maintain your daily log?

4 years ago

88 points

567.

Show HN: CodeRLM – Tree-sitter-backed code indexing for LLM agents

github.com/JaredStewart

4 months ago

81 points

568.

Show HN: Semgrep App

5 years ago

79 points

569.

Show HN: Morgan – PyPI Mirror for Restricted/Offline Environments

github.com/ido50

4 years ago

77 points

570.

Show HN: ChatCBT – AI-powered cognitive behavioral therapist for Obsidian

github.com/clairefro

3 years ago

69 points