Search: github.com/Theo- | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

421.

Ask HN: Any interest in a decentralized notes app?

5 points

9 years ago

422.

Proof-engine A mathematical rendering engine for Rust

5 points

2 months ago

423.

Show HN: Awwation, a Prezi Clone written with HTML, SVG and Js.

5 points

14 years ago

424.

Show HN: I built a debugging MCP server that saves me ~2 programming hours a day

5 points

a year ago

425.

Show HN: My OSINT dashboard with 60+ feeds now has a pseudonymous P2P comms (github.com/BigBodyCobain)

5 points

vancecookcobxin

a month ago

426.

Show HN: Lythonic – Compose Python functions into data-flow pipelines (github.com/walnutgeek)

5 points

2 months ago

427.

Show HN: AI Code Review CLI (github.com/kodustech)

5 points

3 months ago

428.

Show HN: FPGA prime finder – discovered a 1,123-digit Proth prime (github.com/0xdeadbeefnetwork)

5 points

4 months ago

429.

Show HN: Open-Source Visual Wiki Your Coding Agent Writes for You (npmjs.com)

5 points

6 months ago

430.

Show HN: Agentic Design Patterns – Python Edition, from the Codex Codebase (artvandelay.github.io)

5 points

8 months ago

431.

Ring Convolution Networks – Novel neural architecture achieves 90.1% on MNIST

5 points

a year ago

432.

Show HN: Connecting MLflow Hosted Models and Label Studio for Auto Labelling

5 points

2 years ago

433.

Ask HN: Where can I find mentors for CS-adjacent things?

4 points

3 years ago

434.

Does it make sense to ask Blackberry to re-license ancient QNX sources?

4 points

2 months ago

435.

Show HN: Physics from "I am": a recursive model that works? (github.com/ktynski)

4 points

10 months ago

436.

What I learned from tinkering with programming languages in the last 34 days

4 points

15 days ago

437.

Show HN: Tine – Drive Wayland Around with Agents (github.com/smythp)

4 points

2 months ago

438.

Show HN: PromptOptimizer – Minimize LLM token complexity to save cost (github.com/vaibkumr)

4 points

3 years ago

439.

Show HN: Quantum-Enhanced Mathematical Reasoning System – Expert Verification

4 points

a year ago

440.

Show HN: TLA+ AutoRepair (with GPT-4) to fix formal specs and understand them (github.com/kerberosmansour)

4 points

kerberosmansour

3 years ago

441.

Corehash Protocol – Decentralized hashrate liquidity provision with HashFi

4 points

5 years ago

442.

New JavaScript library for high-performance filtering

4 points

8 years ago

443.

Show HN: Copy-fail-C – portable C port of CVE-2026-31431, with a checker (github.com/tgies)

4 points

a month ago

444.

Show HN: Ship of Theseus License (github.com/tilework-tech)

4 points

2 months ago

445.

Show HN: Software Design – ADRs, arch tests, patterns (github.com/QDenka)

4 points

4 months ago

446.

Show HN: ÆTHRA – Write music as code (notes, chords, emotion-driven music)

4 points

4 months ago

447.

Show HN: ProtocolSoup – Interactive Sandbox for OAuth, OIDC, SAML, Spiffe, SSF (protocolsoup.com)

4 points

5 months ago

448.

Show HN: Beads Viewer (Bv) (github.com/Dicklesworthstone)

4 points

6 months ago

449.

Show HN: MSDL – A minimal description language and editor for system diagrams (github.com/stefankober)

4 points

a year ago

450.

Show HN: Zocket – Zero-Configuration Sockets (github.com/willforce)

4 points

a year ago