Search: github.com/mtth | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

901.

Show HN: Linkitall – create dependency-graphs of ideas (github.com/charstorm)

3 points

3 years ago

902.

Meta uses Hacker News (and more) in OPT (its version of GPT-3)

3 points

4 years ago

903.

New form of logic. Need help. Not theory, have working models

3 points

7 years ago

904.

Open data; Open source; but no Open tests

3 points

9 years ago

905.

Show HN: MuninnDB – ACT-R decay and Hebbian memory for AI agents (github.com/scrypster)

2 points

3 months ago

906.

Show HN: CSL-Core – Formally Verified Neuro-Symbolic Safety Engine for AI (github.com/Chimera-Protocol)

2 points

4 months ago

907.

Show HN: Open-source EU AI Act compliance layer for AI agents (8/2026 deadline)

2 points

4 months ago

908.

Helping promote the Lax programming language

2 points

5 months ago

909.

Show HN: I built a 2nd-order PyTorch optimizer for LLMs that runs on 16GB GPUs

2 points

a month ago

910.

Ask HN: How do solo founders find academic co-founders for STTR grants?

2 points

3 months ago

911.

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

2 points

a month ago

912.

Show HN: NeoMud – A multiplayer dungeon game with AI agents that QA and playtest (github.com/terrymaster)

2 points

3 months ago

913.

Show HN: SkillFortify, a formal verification for AI agent skills (github.com/varun369)

2 points

3 months ago

914.

Show HN: Nucleus - AI prompt framework (github.com/michaelwhitford)

2 points

5 months ago

915.

Proton/electron mass ratio pure geometry – 10⁻¹³% error, zero free parameters

2 points

5 months ago

916.

Show HN: TimeSeal – Cryptographic time-locked vaults with Dead Man's Switch (github.com/Teycir)

2 points

5 months ago

917.

ClipEgg: We Confused Copying with Hoarding

2 points

6 months ago

918.

Show HN: SideNote – Markdown Note Extension on Browser Sidepanel (github.com/IHaBiS02)

2 points

10 months ago

919.

Show HN: Looset Graph – OSS concept map tool (ClojureScript, Wikipedia demo) (jponline.github.io)

2 points

a year ago

920.

Show HN: FFI Between Gambit Scheme and CPython (github.com/gambit)

2 points

4 years ago

921.

Ask HN: How do you realise that you are not a false positive developer?

2 points

6 years ago

922.

Show HN: Red Grid MGRS – Open-Source DAGR-Class GPS Navigator for iPhone (github.com/RedGridTactical)

2 points

redgridtactical

3 months ago

923.

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

2 points

3 months ago

924.

Show HN: Qgate – Classical trajectory filtering for noisy quantum circuits (github.com/ranbuch)

2 points

3 months ago

925.

Show HN: Local Emulator for Google Cloud Workflows (github.com/lemonberrylabs)

2 points

3 months ago

926.

Show HN: SkillFortify, Formal verification for AI agents (auto-discovers) (github.com/varun369)

2 points

3 months ago

927.

Show HN: Wozz – open-source Kubernetes cost linter and cluster auditor

2 points

5 months ago

928.

Show HN: A Vaadin 24, Spring algebra calculator with dynamic variable buttons

2 points

6 months ago

929.

Turn pose photos into editable animation code

2 points

9 months ago

930.

Show HN: I Built "Vercel for Stateful AI Agents" – open-source, cost-efficient (github.com/oso95)

2 points

10 months ago