Search: github.com/mgth | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

901.

Show HN: LLaMA Nuts and Bolts, A holistic way of understanding how LLMs run

github.com/adalkiran

2 years ago

3 points

902.

Show HN: Linkitall – create dependency-graphs of ideas

github.com/charstorm

3 years ago

3 points

903.

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

4 years ago

3 points

904.

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

7 years ago

3 points

905.

Open data; Open source; but no Open tests

9 years ago

3 points

906.

Show HN: MuninnDB – ACT-R decay and Hebbian memory for AI agents

github.com/scrypster

4 months ago

2 points

907.

Show HN: CSL-Core – Formally Verified Neuro-Symbolic Safety Engine for AI

github.com/Chimera-Protocol

4 months ago

2 points

908.

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

4 months ago

2 points

909.

Helping promote the Lax programming language

5 months ago

2 points

910.

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

2 months ago

2 points

911.

Show HN: Musefs – organize and tag music without touching the original files

github.com/Sohex

13 days ago

2 points

912.

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

4 months ago

2 points

913.

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

2 months ago

2 points

914.

Show HN: NeoMud – A multiplayer dungeon game with AI agents that QA and playtest

github.com/terrymaster

4 months ago

2 points

915.

Show HN: SkillFortify, a formal verification for AI agent skills

github.com/varun369

4 months ago

2 points

916.

Show HN: Nucleus - AI prompt framework

github.com/michaelwhitford

6 months ago

2 points

917.

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

6 months ago

2 points

918.

Show HN: TimeSeal – Cryptographic time-locked vaults with Dead Man's Switch

github.com/Teycir

6 months ago

2 points

919.

ClipEgg: We Confused Copying with Hoarding

7 months ago

2 points

920.

Show HN: SideNote – Markdown Note Extension on Browser Sidepanel

github.com/IHaBiS02

10 months ago

2 points

921.

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

jponline.github.io

a year ago

2 points

922.

Show HN: FFI Between Gambit Scheme and CPython

github.com/gambit

4 years ago

2 points

923.

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

6 years ago

2 points

924.

Show HN: Red Grid MGRS – Open-Source DAGR-Class GPS Navigator for iPhone

github.com/RedGridTactical

3 months ago

redgridtactical

2 points

925.

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

4 months ago

2 points

926.

Show HN: Qgate – Classical trajectory filtering for noisy quantum circuits

github.com/ranbuch

4 months ago

2 points

927.

Show HN: Local Emulator for Google Cloud Workflows

github.com/lemonberrylabs

4 months ago

2 points

928.

Show HN: SkillFortify, Formal verification for AI agents (auto-discovers)

github.com/varun369

4 months ago

2 points

929.

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

6 months ago

2 points

930.

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

7 months ago

2 points