Search: github.com/eels | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

331.

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

github.com/neelsomani

6 months ago

16 points

332.

Show HN: Gothem stack – An Htmx and templ template

github.com/grindlemire

2 years ago

16 points

333.

Tell HN: Cursor stuck with outdated VSCode Marketplace, CVEs unresolved

a year ago

16 points

334.

Show HN: I Made Bagel Font

a year ago

15 points

335.

MetaGenesis Core – offline verification for computational claims

metagenesis-core.dev

3 months ago

15 points

336.

Show HN: Peanut – A Modern Money App

9 months ago

15 points

337.

Ask HN: Writing code with diff-readability in mind?

11 years ago

15 points

338.

Show HN:`npx continues` – resume same session Claude, Gemini, Codex when limited

github.com/yigitkonur

4 months ago

15 points

339.

Ask HN: Why did K8s win against Docker Swarm?

2 years ago

15 points

340.

Ask HN: Programmers Who Want to Get Better at Math

2 years ago

15 points

341.

GitHub flooded with malware repos spoofing real projects–no response from GitHub

a year ago

15 points

342.

Show HN: I built Wool, a lightweight distributed Python runtime

github.com/wool-labs

3 months ago

15 points

343.

Show HN: Thread-Parallel Decompression and Random Access to Gzip Files (Pragzip)

github.com/mxmlnkn

4 years ago

15 points

344.

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

4 years ago

15 points

345.

Show HN: Daf·thunk – open-source Editor for Prototyping Workflows on Cloudflare

a year ago

15 points

346.

Approzium: Passwordless Database Authentication

6 years ago

15 points

347.

Show HN: Hollow – A Customizable Digital Workspace

a year ago

14 points

348.

Show HN: A stateful UI runtime for reactive web apps in Go

github.com/doors-dev

2 months ago

14 points

349.

Show HN: Enter your domain and my open-source agent will hack it

github.com/usestrix

10 months ago

14 points

350.

Show HN: Zudoku – Open-Source Documentation Framework for APIs

github.com/zuplo

2 years ago

14 points

351.

Show HN: Ddrescue-helper.sh – A bash script for GNU ddrescue

github.com/c-o-pr

2 years ago

14 points

352.

Show HN: Playback – Interactive Programming and Print Debugging Reimagined

3 years ago

14 points

353.

Building DropTh.at, an OpenResty web events server

github.com/cagerton

13 years ago

14 points

354.

Show HN: Paseo – Open-source coding agent interface (desktop, mobile, CLI)

github.com/getpaseo

3 months ago

14 points

355.

Show HN: Robust LLM Extractor for HTML/Markdown in TypeScript

github.com/lightfeed

a year ago

14 points

356.

GitHub Recovery Tokens Are Broken

3 years ago

14 points

357.

Show HN: Shared – Triptych for data exchange and persistence

github.com/pyrustic

4 years ago

14 points

358.

Ask HN: Yahoo Pipes Replacement?

11 years ago

13 points

359.

Show HN: XTrace – Encrypted vector DB (search embeddings without exposing them)

github.com/XTraceAI

2 months ago

13 points

360.

Show HN: I forced Claude to play Tetris in Emacs

2 months ago

13 points