Search: github.com/formml | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

511.

Show HN: Organic Programming – A .proto is all you need (github.com/organic-programming)

1 point

3 months ago

512.

Show HN: NSENS – AI decision governance with Prolog and adversarial review (github.com/maciejjankowski)

1 point

3 months ago

513.

Show HN: Agentic Power of Attorney (APOA) – An open standard for AI agent auth (github.com/agenticpoa)

1 point

3 months ago

514.

Show HN: Mamba3-minimal – PyTorch implementation of Mamba-3 (github.com/VikramKarLex)

1 point

3 months ago

515.

Show HN: Skalp – An intent-driven hardware language with clock domains as types (github.com/girivs82)

1 point

3 months ago

516.

Show HN: I just shipped the canonical neuro-symbolic control demo (github.com/anulum)

1 point

4 months ago

517.

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

1 point

4 months ago

518.

Show HN: IQT – Why space feels panoramic and time feels fleeting (github.com/creatorrr)

1 point

4 months ago

519.

Show HN: Verification-first workflow plugin for Claude Code (github.com/doodledood)

1 point

4 months ago

520.

Show HN: brew changelog – find upstream changelogs for Homebrew packages (github.com/pavel-voronin)

1 point

4 months ago

521.

Show HN: Sigma Runtime – Maintaining 100% Fact Integrity over 120 LLM Cycles (github.com/sigmastratum)

1 point

4 months ago

522.

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

1 point

4 months ago

523.

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

1 point

4 months ago

524.

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

1 point

4 months ago

525.

Show HN: Open-source multi-agent subtitle translator (self-hosted) (github.com/subtitlesdog)

1 point

5 months ago

526.

Show HN: An open source "Cursor for Google Sheets" with conversation memory (github.com/Ai-Quill)

1 point

5 months ago

527.

Show HN: Dgdoc – Go Office Templating (github.com/dgmosdev)

1 point

5 months ago

528.

A (humble) new proposal for the FE ecosystem

1 point

5 months ago

529.

Show HN: Research repo for a time-based macroeconomic valuation model (github.com/ArturGrandi)

1 point

6 months ago

530.

Show HN: MemCloud Security Deep Dive – How Devices Safely Share RAM over LAN (github.com/vibhanshu2001)

1 point

6 months ago

531.

Show HN: Console table editor with special syntax for writing them

1 point

6 months ago

532.

Show HN: Structural Genesis – structure emerging from nothing (Ø₀) (github.com/jengbeng)

1 point

6 months ago

533.

Show HN:A minimal invariant protocol for collective state transitions (github.com/jengbeng)

1 point

6 months ago

534.

Show HN: I built a triple-agent LLM system that verifies its own work

1 point

7 months ago

535.

Show HN: Made a text-only article reader extension to reduce eye strain (chromewebstore.google.com)

1 point

8 months ago

536.

Show HN: Text only reader mode designed for eye comfort and focus (github.com/uscne)

1 point

8 months ago

537.

Show HN: A roguelike with a physics sandbox and Excel clone as minigames

1 point

8 months ago

538.

Show HN: Unstable Singularity Detector (github.com/Flamehaven)

1 point

8 months ago

539.

Show HN: Power Engineer Built an AI Agent System with No-Code (N8n and GPT) (github.com/GlitchWriter)

1 point

8 months ago

540.

Show HN: Generic streaming calculator written in Go (github.com/maxim2266)

1 point

9 months ago