Search: github.com/namisan | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

1.

MT-DNN: Multi-Task Deep Neural Networks for Natural Language Understanding (github.com/namisan)

3 points

7 years ago

2.

Show HN: SkyClaw -Self-healing LLM agent runtime in Rust with task checkpointing (github.com/nagisanzenin)

4 points

3 months ago

3.

Procmux – a TUI for managing multiple terminal sessions/scripts (github.com/napisani)

3 points

4 years ago

4.

Show HN: Claude Code agents with nested parallelismm 3x faster (github.com/nagisanzenin)

1 point

3 months ago

5.

Nōdo – Call Node.js from Ruby (github.com/mtgrosser)

8 points

a year ago

6.

Show HN: LLM Verified with Monte Carlo Tree Search (github.com/namin)

102 points

3 years ago

7.

Show HN: My city makes me smoke 40 cigarettes per day (air.nmn.gl)

20 points

2 years ago

8.

Ask HN: Current state of Android USB tethering?

9 points

6 months ago

9.

Show HN: AI memory and project management (open source)

5 points

a year ago

10.

Show HN: An MCP server that lets AI compose music on a hardware synth (namirsab.dev)

3 points

2 months ago

11.

Show HN: Synced lyrics database with a free, easy-to-use API (lrclib.net)

2 points

2 years ago

12.

Show HN: Chrome Extension – Navigate to Founders LinkedIn Page from CrunchBase (chrome.google.com)

1 point

4 years ago

13.

Step-by-step development of a Scheme-to-x86 compiler (github.com/namin)

108 points

9 years ago

14.

Technical Analysis of Starlink Terminal GPS Spoofing/Jamming Detection in Iran (github.com/narimangharib)

31 points

5 months ago

15.

Show HN: Tiny Hoare logic verifier using SMT (github.com/namin)

12 points

a year ago

16.

Show HN: Ease your dev life with these general naming rules (github.com/kettanaito)

5 points

5 years ago

17.

A Very Small SAT Solver (From Haskell) Now in Dafny, Proved Correct with LLMs (github.com/namin)

4 points

4 months ago

18.

Show HN: Holey: Staged execution from Python to SMT for synthesis (github.com/namin)

4 points

5 months ago

19.

Typo fixed = license removal ? (github.com/nmaisonneuve)

4 points

thibaut_barrere

16 years ago

20.

Small Go Library that Adds Vue.js Reactivity (github.com/nasan016)

3 points

3 years ago

21.

Converse with book – Built with GPT-3 (github.com/namuan)

3 points

3 years ago

22.

A demo of various animation in latest PlayGames app (github.com/naman14)

2 points

11 years ago

23.

Generate JavaScript from DSL code to enable backend/frontend validation sharing (github.com/namin)

2 points

13 years ago

24.

inc: step-by-step development of a Scheme-to-x86 compiler (github.com/namin)

2 points

5 years ago

25.

Comprehensive language-agnostic guidelines on variables naming (github.com/kettanaito)

2 points

5 years ago

26.

Naming Convention Transfer (github.com/TroyTae)

2 points

6 years ago

27.

Sympl - The no bullshit HTML5/CSS framework. (github.com/namanyayg)

1 point

14 years ago

28.

Converse with a Book [pdf] (github.com/namuan)

1 point

3 years ago

29.

Explorations of multi-stage logic programming in miniKanren (github.com/namin)

1 point

5 years ago

30.

Name Convention Project (github.com/naming-convention)

1 point

7 years ago