Search: github.com/Theo- | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

361.

Show HN: A geometric analysis of Chopin's Prelude No. 4 using 3D topology (github.com/jimishol)

50 points

4 months ago

362.

Show HN: Mochi.js: bun-native high-fidelity browser automation library (mochijs.com)

47 points

a month ago

363.

Show HN: Davia – Open source visual, editable wiki from your codebase (github.com/davialabs)

47 points

7 months ago

364.

Show HN: Visions – User defined data type systems (github.com/dylan-profiler)

45 points

ersatz_username

4 years ago

365.

Show HN: Web Apps for Python Devs with Auto-Generated UI (davia.ai)

36 points

a year ago

366.

Show HN: Open-source tool to generate a video from any Wikipedia page (github.com/aileftech)

35 points

4 years ago

367.

Show HN: AdaShape-3D modeler for intuitive 3D printing parts / Windows 11 (adashape.com)

32 points

2 months ago

368.

Show HN: Voice Composer – Browser-based pitch detection to MIDI/strudel/tidal (dioptre.github.io)

32 points

5 months ago

369.

Show HN: A shell-native cd-compatible directory jumper using power-law frecency (github.com/jghub)

26 points

3 months ago

370.

Aura-State: Formally Verified LLM State Machine Compiler

23 points

3 months ago

371.

Show HN: Qoord, a simple quantum circuit simulator (github.com/scottmckuen)

23 points

2 years ago

372.

Ask HN: Password Gorilla last commit 3 years – give up on open source pwd mgr?

20 points

10 years ago

373.

Show HN: Open Notes – Community Notes-style context for Discord (opennotes.ai)

20 points

4 months ago

374.

Show HN: I'm writing a book – Cloudflare for Speed and Security (kerkour.com)

20 points

sylvain_kerkour

3 years ago

375.

Show HN: I made an open-source Rust program for memory-efficient genomics (github.com/logannye)

17 points

7 months ago

376.

Ask HN: Anyone interested in an offline version of Stack Overflow?

16 points

4 years ago

377.

Ask HN: Programmers Who Want to Get Better at Math

15 points

2 years ago

378.

Ask HN: What Are Your FOSS Philanthropy Hypotheticals?

14 points

16 years ago

379.

Show HN: Sostactic – polynomial inequalities using sums-of-squares in Lean (github.com/mmaaz-git)

14 points

2 months ago

380.

Show HN: SpongeCake – open-source SDK for OpenAI computer use agents (github.com/aditya-nadkarni)

13 points

a year ago

381.

Show HN: Learning to (Learn at Test Time)

13 points

2 years ago

382.

Show HN: WFGY – A reasoning engine that repairs LLM logic without retraining (github.com/onestardao)

11 points

a year ago

383.

Show HN: LLM Aided Transcription Improvement (github.com/Dicklesworthstone)

11 points

2 years ago

384.

Ask HN: What's the prerequisite to become an exploit developer?

10 points

9 years ago

385.

Show HN: Inception: Automatic Rust Trait Implementation by Induction (github.com/nicksenger)

10 points

9 months ago

386.

Show HN: Logos of Aether – Rebuilding Physics Without Zero or Empty Space (github.com/chrisnchips42-blip)

10 points

5 months ago

387.

Show HN: An open-source Operator that can use computers (github.com/aditya-nadkarni)

9 points

a year ago

388.

Terraform requires a DAG. AWS allows cycles. Here's how I map the difference.

9 points

4 months ago

389.

Show HN: The Thiele Machine – Coq-Verified Computational Model Beyond Turing (github.com/sethirus)

9 points

5 months ago

390.

Show HN: Forensic evidence of iOS mesh networking bypassing Airplane Mode (github.com/JGoyd)

8 points

5 months ago