Search: github.com/Theo- | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

391.

Show HN: Copy-fail-C – portable C port of CVE-2026-31431, with a checker

github.com/tgies

2 months ago

4 points

392.

Show HN: Ship of Theseus License

github.com/tilework-tech

3 months ago

4 points

393.

Show HN: Software Design – ADRs, arch tests, patterns

github.com/QDenka

4 months ago

4 points

394.

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

5 months ago

4 points

395.

Show HN: ProtocolSoup – Interactive Sandbox for OAuth, OIDC, SAML, Spiffe, SSF

protocolsoup.com

5 months ago

4 points

396.

Show HN: Beads Viewer (Bv)

github.com/Dicklesworthstone

7 months ago

4 points

397.

Show HN: MSDL – A minimal description language and editor for system diagrams

github.com/stefankober

a year ago

4 points

398.

Show HN: Zocket – Zero-Configuration Sockets

github.com/willforce

a year ago

4 points

399.

Show HN: RoundTable – An AI chatbot starter kit for Ruby on Rails

github.com/ryangavin

a year ago

4 points

400.

Show HN: Lambda Core – Minimal Lambda Calculus in Every Language

github.com/kserrec

a year ago

4 points

401.

Show HN: I made an Neuroscience-Inspired Memory Layer for LLM Applications

github.com/harishsg993010

a year ago

4 points

402.

CMSless for Startups (Node.js)

9 years ago

4 points

403.

Show HN: A reasoning model that infers over whole tasks in 1ms in latent space

github.com/OrderOneAI

a year ago

3 points

404.

Ask HN: Suggesting better employee-supporting AI Chatbot to a mid sized corpo

3 years ago

3 points

405.

Ask HN: Help finding a smart file organizer that uses a local LLM

a year ago

3 points

406.

Show HN: BlockDL – A FOSS neural net sketchpad with shape checking and live code

a year ago

3 points

407.

Mozilla ignores call to limit misuse of it's lifelike open-source TTS

7 years ago

3 points

408.

Ask HN: Topics for an introductory distributed systems course?

7 years ago

3 points

409.

Risk Management and Hedging in a Polymarket Dual-Side Arbitrage Bot

3 months ago

3 points

410.

Show HN: Powering React with Python (WASM)

a year ago

3 points

411.

Tell HN: You are looking at the Internet through a keyhole

3 years ago

3 points

412.

Ramaze needs YOU

15 years ago

3 points

413.

Ask HN: Favorite Go testing libraries/tools?

11 years ago

3 points

414.

Ask HN: How can you trust your hardware?

11 days ago

3 points

415.

Show HN: LeetCode EasyRepeat – Anki for LeetCode

github.com/yc1838

23 days ago

3 points

416.

Ask HN: How to incentivize 10k P2P nodes without Sybil attacks?

2 months ago

3 points

417.

Show HN: Provepy – A Python decorator that proves your code using Lean and LLMs

2 months ago

3 points

418.

Show HN: QKD eavesdropper detector using Krylov complexity-open source Python

github.com/quantumspiritresearch-crypto

3 months ago

3 points

419.

Diffusion LLM may make most of the AI engineering stack obsolete

3 months ago

3 points

420.

Show HN: CBrowser – Simulate how a confused first-timer experiences your website

github.com/alexandriashai

4 months ago

3 points