Search: github.com/theory | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

331.

Show HN: HashTrade – Open-source LLM trading agent with episodic memory (github.com/mertozbas)

1 point

3 months ago

332.

Show HN: Replacing NotNull and Preconditions with fluent Java assertions

1 point

4 months ago

333.

Show HN: VOR – A verified runtime with 0% hallucination via observations

1 point

4 months ago

334.

Show HN: Axis – A semantics-first logic language co-designed with AI (github.com/axis-foundation)

1 point

6 months ago

335.

I made a web app that makes tweetstorming easier(details in comments)

1 point

12 years ago

336.

Ask HN: Can someone reproduce or break this frozen gravity/time/quantum bundle?

1 point

2 months ago

337.

Show HN: I got frustrated with SMILES, so I built one (github.com/sangeet01)

1 point

3 months ago

338.

Show HN: Montage – Quickly build product launch videos with coding agents (github.com/simplexlabs)

1 point

3 months ago

339.

Show HN: I treated my CV like a data product-evidence.json,MCP endpoint,llms.txt (github.com/vassiliylakhonin)

1 point

3 months ago

340.

Show HN: MSAM – Memory system for AI agents that knows when it doesn't know (github.com/jadenschwab)

1 point

3 months ago

341.

Show HN: I built a dependency graph for the tree of human science (github.com/slepybear)

1 point

3 months ago

342.

Show HN: Designing package namespacing for a new language (Coi)

1 point

4 months ago

343.

Show HN: Nonprofit Results-Based Management logic model skill for OpenClaw (clawhub.ai)

1 point

4 months ago

344.

Show HN: Kokki – A "Dual-Core" System Prompt to Reduce LLM Hallucinations

1 point

4 months ago

345.

Show HN: NavixMind – open-source Android agent that runs Python locally (github.com/alexandertaboriskiy)

1 point

4 months ago

346.

A Zero-Layer Approach to Memory Safety (1:1 IR, No Sandbox)

1 point

4 months ago

347.

Show HN: CPU-based Neural Net. Zero floats. Returns "I don't know" (github.com/probabilistic-minds-consortium)

1 point

4 months ago

348.

Show HN: Aethra Programming Language (Music in Codes)

1 point

4 months ago

349.

Show HN: MatHud – Open-source AI-assisted graphing calculator (github.com/vl3c)

1 point

4 months ago

350.

Ask HN: Claude Code users, are you experiencing reduced usage limits today?

1 point

6 months ago

351.

Show HN: Frozen Function-agnostic goldenratio calculus (pip install phi-engine) (github.com/Purrplexia)

1 point

6 months ago

352.

Show HN: Instant Calculus: frozen, function-agnostic, arbitrary-precision GPLv3 (github.com/Purrplexia)

1 point

6 months ago

353.

Show HN: Qantify – GPU-Accelerated Trading Library with Advanced Math and AutoML (github.com/Alradyin)

1 point

7 months ago

354.

Show HN: JIT compilation of NES ROMs / 6502 programs to .NET MSIL (github.com/KallDrexx)

1 point

8 months ago

355.

Show HN: Proxmox-GitOps: Recursive IaC Container Automation (+1min Demo [video] (github.com/stevius10)

1 point

8 months ago

356.

Show HN: Λ³ Bayesian Jump Event Detector – Minimal, Interpretable, Open-Source

1 point

a year ago

357.

Show HN: Spectral.js 3 (github.com/rvanwijnen)

1 point

a year ago

358.

Quantum-Enhanced Mathematical Reasoning System – Seeking Expert Verification

1 point

a year ago

359.

Show HN: Colorful Images with Uniform Grayscale Values (github.com/zainhussaini)

1 point

2 years ago

360.

Show HN: Transiter, backend web service for transit data (github.com/jamespfennell)

1 point

2 years ago