Search: github.com/namisan | Heykuki News

HK

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

7 years ago

3 points

2.

Show HN: SkyClaw -Self-healing LLM agent runtime in Rust with task checkpointing

github.com/nagisanzenin

4 months ago

4 points

3.

Procmux – a TUI for managing multiple terminal sessions/scripts

github.com/napisani

4 years ago

3 points

4.

Show HN: Claude Code agents with nested parallelismm 3x faster

github.com/nagisanzenin

4 months ago

1 points

5.

Nōdo – Call Node.js from Ruby

github.com/mtgrosser

a year ago

8 points

6.

Show HN: LLM Verified with Monte Carlo Tree Search

github.com/namin

3 years ago

102 points

7.

Show HN: My city makes me smoke 40 cigarettes per day

2 years ago

20 points

8.

Ask HN: Current state of Android USB tethering?

7 months ago

9 points

9.

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

a year ago

5 points

10.

Show HN: An MCP server that lets AI compose music on a hardware synth

2 months ago

3 points

11.

Show HN: Synced lyrics database with a free, easy-to-use API

2 years ago

2 points

12.

Show HN: Chrome Extension – Navigate to Founders LinkedIn Page from CrunchBase

chrome.google.com

4 years ago

1 points

13.

Step-by-step development of a Scheme-to-x86 compiler

github.com/namin

9 years ago

108 points

14.

Technical Analysis of Starlink Terminal GPS Spoofing/Jamming Detection in Iran

github.com/narimangharib

5 months ago

31 points

15.

Show HN: Tiny Hoare logic verifier using SMT

github.com/namin

a year ago

12 points

16.

Show HN: Ease your dev life with these general naming rules

github.com/kettanaito

5 years ago

5 points

17.

A Very Small SAT Solver (From Haskell) Now in Dafny, Proved Correct with LLMs

github.com/namin

5 months ago

4 points

18.

Show HN: Holey: Staged execution from Python to SMT for synthesis

github.com/namin

5 months ago

4 points

19.

Typo fixed = license removal ?

github.com/nmaisonneuve

16 years ago

thibaut_barrere

4 points

20.

Small Go Library that Adds Vue.js Reactivity

github.com/nasan016

3 years ago

3 points

21.

Converse with book – Built with GPT-3

github.com/namuan

3 years ago

3 points

22.

A demo of various animation in latest PlayGames app

github.com/naman14

11 years ago

2 points

23.

Generate JavaScript from DSL code to enable backend/frontend validation sharing

github.com/namin

13 years ago

2 points

24.

inc: step-by-step development of a Scheme-to-x86 compiler

github.com/namin

5 years ago

2 points

25.

Comprehensive language-agnostic guidelines on variables naming

github.com/kettanaito

5 years ago

2 points

26.

Naming Convention Transfer

github.com/TroyTae

6 years ago

2 points

27.

Sympl - The no bullshit HTML5/CSS framework.

github.com/namanyayg

14 years ago

1 points

28.

Converse with a Book [pdf]

github.com/namuan

3 years ago

1 points

29.

Explorations of multi-stage logic programming in miniKanren

github.com/namin

5 years ago

1 points

30.

Name Convention Project

github.com/naming-convention

7 years ago

1 points