Search: github.com/formml | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

511.

Show HN: Webcellar – JavaScript (and TypeScript) in Excel Made Simple

github.com/Acmeon

2 months ago

1 points

512.

Show HN: OneManCompany The first AI company with real corporate org structure

one-man-company.com

3 months ago

1 points

513.

New Open Source Release

3 months ago

1 points

514.

Show HN: One, cross domain auto-researching knowledge graph Claude orchestrator

github.com/bcd532

3 months ago

1 points

515.

Show HN: Another SQLite editor in browser powered by WASM and AI

sql.computelite.com

3 months ago

1 points

516.

Show HN: RedDragon, LLM-assisted IR analysis of code across languages

github.com/avishek-sen-gupta

4 months ago

1 points

517.

Show HN: ExtraSuite – pull / push for Google Drive

github.com/think41

4 months ago

1 points

518.

I modeled traffic-weighted SLOs as probability chains in PromQL

4 months ago

1 points

519.

Show HN: SLOK – SLO composition with traffic-weighted service chains in K8s

4 months ago

1 points

520.

Show HN: NHE – Eliminating Frame Drops in 4K 144Hz via Direct-to-Silicon Logic

4 months ago

1 points

521.

Show HN: Open‑Source Capital Formation OS (Postgres and AI Agents)

github.com/agio711

4 months ago

1 points

522.

Show HN: Organic Programming – A .proto is all you need

github.com/organic-programming

4 months ago

1 points

523.

Show HN: NSENS – AI decision governance with Prolog and adversarial review

github.com/maciejjankowski

4 months ago

1 points

524.

Show HN: Agentic Power of Attorney (APOA) – An open standard for AI agent auth

github.com/agenticpoa

4 months ago

1 points

525.

Show HN: Mamba3-minimal – PyTorch implementation of Mamba-3

github.com/VikramKarLex

4 months ago

1 points

526.

Show HN: Skalp – An intent-driven hardware language with clock domains as types

github.com/girivs82

4 months ago

1 points

527.

Show HN: I just shipped the canonical neuro-symbolic control demo

github.com/anulum

4 months ago

1 points

528.

Show HN: Fixing AI's Core Flaws, A protocol cuts LLM token waste by 40–70%

4 months ago

1 points

529.

Show HN: IQT – Why space feels panoramic and time feels fleeting

github.com/creatorrr

4 months ago

1 points

530.

Show HN: Verification-first workflow plugin for Claude Code

github.com/doodledood

5 months ago

1 points

531.

Show HN: brew changelog – find upstream changelogs for Homebrew packages

github.com/pavel-voronin

5 months ago

1 points

532.

Show HN: Sigma Runtime – Maintaining 100% Fact Integrity over 120 LLM Cycles

github.com/sigmastratum

5 months ago

1 points

533.

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

5 months ago

1 points

534.

Show HN: CPU-based Neural Net. Zero floats. Returns "I don't know"

github.com/probabilistic-minds-consortium

5 months ago

1 points

535.

Show HN: A verified foundation of mathematics in Coq (Theory of Systems)

5 months ago

1 points

536.

Show HN: Open-source multi-agent subtitle translator (self-hosted)

github.com/subtitlesdog

5 months ago

1 points

537.

Show HN: An open source "Cursor for Google Sheets" with conversation memory

github.com/Ai-Quill

5 months ago

1 points

538.

Show HN: Dgdoc – Go Office Templating

github.com/dgmosdev

5 months ago

1 points

539.

A (humble) new proposal for the FE ecosystem

6 months ago

1 points

540.

Show HN: Research repo for a time-based macroeconomic valuation model

github.com/ArturGrandi

6 months ago

1 points