Search: github.com/Theo- | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

511.

Ask HN: Anyone Here Use Bazel for Front End (Vue, TypeScript) Monorepos?

2 points

4 years ago

512.

Release of open source Android anti-censorship library

2 points

6 years ago

513.

QNial7 Array Language Announcement

2 points

9 years ago

514.

A (WIP) "correct" implementation of regular expressions in Python using FSAs (github.com/cyphar)

2 points

12 years ago

515.

Show HN: A Claude Code skill that scopes problems like Peter Naur (github.com/spinchange)

2 points

8 days ago

516.

Show HN: Springdrift – A persistent runtime for long-lived LLM agents (github.com/seamus-brady)

2 points

2 months ago

517.

Show HN: A tool to make AI show evidence inline (github.com/dvelton)

2 points

2 months ago

518.

Show HN: Anitag2vec – Tag set embedding for ranking recommendations (github.com/michael-0acf4)

2 points

2 months ago

519.

Show HN: Tarvos – Coding agents that work infinitely (github.com/Photon48)

2 points

3 months ago

520.

AITutor – vimtutor, but for AI-assisted coding

2 points

3 months ago

521.

Show HN: AlphaEvolve inspired evolution harness for Pokemon (github.com/papercomputeco)

2 points

3 months ago

522.

Show HN: Aft, a Python toolkit to study agent behavior (github.com/technoyoda)

2 points

3 months ago

523.

Show HN: Mqvpn – Open-source multipath QUIC VPN (github.com/mp0rta)

2 points

3 months ago

524.

Show HN: Formally Verified a Millennium Prize Problem in Coq Yang-Mills Mass Gap (github.com/Shariq81)

2 points

4 months ago

525.

Show HN: Consciousness Gateway – AI routing with consciousness-first alignment (github.com/Move37LLC)

2 points

4 months ago

526.

Show HN: System to have Claude compose and perform a techno track end-to-end (github.com/hughes7370)

2 points

4 months ago

527.

Show HN: Cuttlefish – 40ns causal consistency using algebra instead of consensus (github.com/abokhalill)

2 points

4 months ago

528.

Show HN: A private, PQ-secure, infinitely scalable blockchain[fully open-source] (github.com/nerv-bit)

2 points

4 months ago

529.

NASA ID Sy1174304 – O(1) Strategic Proposal: Alzheimer's and Longevity

2 points

5 months ago

530.

Show HN: A 134-Modality AGI Core Built in Python (Velocity_Nova_Prime)

2 points

5 months ago

531.

Show HN: Transferrable reasoning primitives extracted from 34 domains (github.com/dvdarkin)

2 points

5 months ago

532.

Show HN: Elliptica – Make Art with Elliptic Boundary Value Problems (github.com/afolkest)

2 points

5 months ago

533.

Show HN: Why I'm building a graphical, simple Proof Assistant for kids (substack.com)

2 points

6 months ago

534.

Show HN: Library to help find memory leaks for C# (github.com/curiosity-ai)

2 points

6 months ago

535.

Show HN: RIMC – An Alpha-Drift Framework for Finite-Speed Learning Markets (github.com/rimc-lab)

2 points

6 months ago

536.

Bio-Mimetic Legislative Engine

2 points

6 months ago

537.

Show HN: Linguistic RL – A 7B model discovers Occam's Razor through reflection (github.com/DRawson5570)

2 points

7 months ago

538.

Show HN: An ETL engine with hard memory guarantees (github.com/logannye)

2 points

7 months ago

539.

Show HN: Polymathic Resource List – 150 Tools and 90 Books (github.com/PolymvthicPunks)

2 points

PolymvthicPunks

8 months ago

540.

Show HN: Umbilic Torus Model of 12‑Tone Harmony (Now, Live TCP Note Tracking) (github.com/jimishol)

2 points

9 months ago