Search: github.com/formml | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

421.

Show HN: OxiLean – Pure Rust Interactive Theorem Prover (Zero C Deps, WASM)

2 points

3 months ago

422.

Show HN: Formualizer – Arrow-backed spreadsheet engine, 320 functions,PyO3+WASM (github.com/psu3d0)

2 points

3 months ago

423.

Show HN: Pi-Foundry – multi user self hosted AI assistant (github.com/PAndreew)

2 points

4 months ago

424.

Show HN: Bazinga – Enforced engineering practices for AI coding (github.com/mehdic)

2 points

5 months ago

425.

Show HN: Helices Create a New Model of Deterministic Computation [pdf] (lambdalord.github.io)

2 points

a year ago

426.

New release of XLSX-Renderer, part of XToolset package, is live

2 points

5 years ago

427.

AbsCrypt [Chariot Technologies Lab Inc]

2 points

7 years ago

428.

QNial7 Array Language Announcement

2 points

9 years ago

429.

Valence and HYVE, RT Physics Attention and a "Synthetic Organism"

2 points

2 months ago

430.

Show HN: I block LLM hallucinations with a cognitive math framework(re!Think it) (github.com/RealEgor)

2 points

2 months ago

431.

Prior art and simulation results for a non-von Neumann coordination

2 points

3 months ago

432.

Show HN: Etnamute – local AI mobile developer that runs on Claude Code (github.com/bes-dev)

2 points

3 months ago

433.

Show HN: MaximusLLM – Train 262k-vocab LLMs on a single 16GB GPU (github.com/yousef-rafat)

2 points

3 months ago

434.

Show HN: Bsky-CLI – A full-featured CLI client for Bluesky (github.com/harveyrandall)

2 points

3 months ago

435.

AAP – An open standard for verifiable AI agent actions (RFC draft)

2 points

3 months ago

436.

Show HN: Lar-JEPA – A Testbed for Orchestrating Predictive World Models (github.com/snath-ai)

2 points

3 months ago

437.

Show HN: Kore – local AI memory layer with Ebbinghaus forgetting curve (github.com/auriti-web-design)

2 points

4 months ago

438.

Show HN: System architecture method using mythology and LLMs (no CS background)" (github.com/FusionAlchemist)

2 points

fusionalchemist

4 months ago

439.

Show HN: Synrix local-first memory engine (O(k) retrieval, no vectors, no cloud) (github.com/RYJOX-Technologies)

2 points

4 months ago

440.

Fractal Native – doesn't optimize your AI workflow

2 points

4 months ago

441.

Show HN: Sovereign Suite – A Recursive Logic Framework for AI Governance (github.com/holland202)

2 points

4 months ago

442.

Show HN: Standardized robot brain with hardware safety – 10 patents in 4 days

2 points

4 months ago

443.

Show HN: Small "AI slop" classifier running in a browser extension (github.com/distil-labs)

2 points

4 months ago

444.

Show HN: VPC Principle - Why AI coding fails at scale (github.com/Ji-Hua)

2 points

4 months ago

445.

Show HN: DiscoC – A hobby compiler/linker for the SuperFX (SNES) (github.com/DiscoManOfficial)

2 points

4 months ago

446.

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

2 points

4 months ago

447.

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

2 points

5 months ago

448.

Ask HN: Critical review of a spec-first economic protocol

2 points

5 months ago

449.

Show HN: Sigma Runtime – model-agnostic identity control for LLMs (github.com/sigmastratum)

2 points

5 months ago

450.

Show HN: SpreadsheetMCP – Token-efficient Excel tools for LLM agents (Rust) (github.com/PSU3D0)

2 points

5 months ago