Search: github.com/Theo- | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

481.

Show HN: Helices Create a New Model of Deterministic Computation [pdf]

lambdalord.github.io

a year ago

2 points

482.

Show HN: AGI Lite for Free,Semantic AI boost with WFGY(stability ×3.6, open SDK

github.com/onestardao

a year ago

2 points

483.

Show HN: We increased profits +42% for ecommerce with OSS data pipelines

github.com/Snowboard-Software

2 years ago

2 points

484.

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

4 years ago

2 points

485.

Release of open source Android anti-censorship library

6 years ago

2 points

486.

QNial7 Array Language Announcement

9 years ago

2 points

487.

A (WIP) "correct" implementation of regular expressions in Python using FSAs

github.com/cyphar

12 years ago

2 points

488.

Show HN: A Claude Code skill that scopes problems like Peter Naur

github.com/spinchange

a month ago

2 points

489.

Show HN: Springdrift – A persistent runtime for long-lived LLM agents

github.com/seamus-brady

2 months ago

2 points

490.

Show HN: A tool to make AI show evidence inline

github.com/dvelton

3 months ago

2 points

491.

Show HN: Anitag2vec – Tag set embedding for ranking recommendations

github.com/michael-0acf4

3 months ago

2 points

492.

Show HN: Tarvos – Coding agents that work infinitely

github.com/Photon48

3 months ago

2 points

493.

AITutor – vimtutor, but for AI-assisted coding

3 months ago

2 points

494.

Show HN: AlphaEvolve inspired evolution harness for Pokemon

github.com/papercomputeco

4 months ago

2 points

495.

Show HN: Aft, a Python toolkit to study agent behavior

github.com/technoyoda

4 months ago

2 points

496.

Show HN: Mqvpn – Open-source multipath QUIC VPN

github.com/mp0rta

4 months ago

2 points

497.

Show HN: Formally Verified a Millennium Prize Problem in Coq Yang-Mills Mass Gap

github.com/Shariq81

4 months ago

2 points

498.

Show HN: Consciousness Gateway – AI routing with consciousness-first alignment

github.com/Move37LLC

4 months ago

2 points

499.

Show HN: System to have Claude compose and perform a techno track end-to-end

github.com/hughes7370

5 months ago

2 points

500.

Show HN: Cuttlefish – 40ns causal consistency using algebra instead of consensus

github.com/abokhalill

5 months ago

2 points

501.

Show HN: A private, PQ-secure, infinitely scalable blockchain[fully open-source]

github.com/nerv-bit

5 months ago

2 points

502.

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

5 months ago

2 points

503.

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

6 months ago

2 points

504.

Show HN: Transferrable reasoning primitives extracted from 34 domains

github.com/dvdarkin

6 months ago

2 points

505.

Show HN: Elliptica – Make Art with Elliptic Boundary Value Problems

github.com/afolkest

6 months ago

2 points

506.

Show HN: Why I'm building a graphical, simple Proof Assistant for kids

6 months ago

2 points

507.

Show HN: Library to help find memory leaks for C#

github.com/curiosity-ai

7 months ago

2 points

508.

Show HN: RIMC – An Alpha-Drift Framework for Finite-Speed Learning Markets

github.com/rimc-lab

7 months ago

2 points

509.

Bio-Mimetic Legislative Engine

7 months ago

2 points

510.

Show HN: Linguistic RL – A 7B model discovers Occam's Razor through reflection

github.com/DRawson5570

8 months ago

2 points