Search: github.com/formml | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

421.

Show HN: Open dataset of real-world LLM performance on Apple Silicon

4 months ago

2 points

422.

Show HN: I modeled the puzzle game Railbound with Constraint Programming

github.com/Th1nhNg0

8 months ago

2 points

423.

Show HN: I'm a non-coder who turns 1-line intents into full-stack blueprints

a year ago

2 points

424.

Show HN: memory.fm – revisit your life through your music listening history

2 months ago

2 points

425.

Show HN: AI-runtime-guard – Policy enforcement layer for MCP AI agents

github.com/jimmyracheta

4 months ago

2 points

426.

Show HN: Open-source AI agent for spreadsheets

github.com/raj-khare

6 months ago

2 points

427.

C2PM(Color to Pixel Map)

6 months ago

2 points

428.

If you love physics: Alpha constant is unlocked today; prepare for goosebumps

10 months ago

2 points

429.

How to build and launch apps (using AI), fast

a year ago

2 points

430.

Ask HN: How LLMs Learn to Be "Generative"?

2 years ago

2 points

431.

Show HN: Lean-pq a typesafe PostgreSQL connector for lean

github.com/typednotes

3 months ago

2 points

432.

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

4 months ago

2 points

433.

Show HN: Formualizer – Arrow-backed spreadsheet engine, 320 functions,PyO3+WASM

github.com/psu3d0

4 months ago

2 points

434.

Show HN: Pi-Foundry – multi user self hosted AI assistant

github.com/PAndreew

5 months ago

2 points

435.

Show HN: Bazinga – Enforced engineering practices for AI coding

github.com/mehdic

5 months ago

2 points

436.

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

lambdalord.github.io

a year ago

2 points

437.

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

5 years ago

2 points

438.

AbsCrypt [Chariot Technologies Lab Inc]

7 years ago

2 points

439.

QNial7 Array Language Announcement

9 years ago

2 points

440.

Show HN: Plastron – A spreadsheet you grow into an app, in one index.html

14 days ago

2 points

441.

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

2 months ago

2 points

442.

Show HN: I block LLM hallucinations with a cognitive math framework(re!Think it)

github.com/RealEgor

3 months ago

2 points

443.

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

3 months ago

2 points

444.

Show HN: Etnamute – local AI mobile developer that runs on Claude Code

github.com/bes-dev

3 months ago

2 points

445.

Show HN: MaximusLLM – Train 262k-vocab LLMs on a single 16GB GPU

github.com/yousef-rafat

3 months ago

2 points

446.

Show HN: Bsky-CLI – A full-featured CLI client for Bluesky

github.com/harveyrandall

4 months ago

2 points

447.

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

4 months ago

2 points

448.

Show HN: Lar-JEPA – A Testbed for Orchestrating Predictive World Models

github.com/snath-ai

4 months ago

2 points

449.

Show HN: Kore – local AI memory layer with Ebbinghaus forgetting curve

github.com/auriti-web-design

4 months ago

2 points

450.

Show HN: System architecture method using mythology and LLMs (no CS background)"

github.com/FusionAlchemist

4 months ago

fusionalchemist

2 points