Search: github.com/namin | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

1.

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

102 points

3 years ago

2.

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

108 points

9 years ago

3.

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

12 points

a year ago

4.

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

5 points

5 years ago

5.

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

4 points

4 months ago

6.

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

4 points

5 months ago

7.

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

2 points

13 years ago

8.

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

2 points

5 years ago

9.

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

2 points

5 years ago

10.

Naming Convention Transfer (github.com/TroyTae)

2 points

6 years ago

11.

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

1 point

5 years ago

12.

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

1 point

7 years ago

13.

Collapsing Towers of Interpreters (In Scheme) (github.com/namin)

1 point

7 years ago

14.

The Namingless Programming Language (github.com/akalenuk)

108 points

2 years ago

15.

When “naming things” is done right (github.com/gruhn)

17 points

7 years ago

16.

Show HN: The Namingless Programming Language (github.com/akalenuk)

6 points

2 years ago

17.

Show HN: Simple Naming Scheme for Developers (github.com/wtcross)

4 points

11 years ago

18.

Naming things is hard. These names are pretty good though (github.com/gruhn)

3 points

7 years ago

19.

When “naming things” is done right (github.com/gruhn)

2 points

7 years ago

20.

Help give PHP functions a naming convention (github.com/mattbearman)

1 point

15 years ago

21.

Show HN: Sequelize Naming Strategy for TypeORM (github.com/relevantfruit)

1 point

6 years ago

22.

A Simple Naming Scheme for All the Things (github.com/wtcross)

1 point

11 years ago

23.

Updated Version of the Simple Naming Scheme (github.com/wtcross)

1 point

11 years ago

24.

A Simple Naming Sheme for Developers (github.com/wtcross)

1 point

11 years ago

25.

Show HN: Codeman – a blunt launcher forcing you to pick a Codex permission level (codeman.elderberry.games)

1 point

4 months ago

26.

The Problem of Naming (github.com/learn-awesome)

3 points

a year ago

27.

Show HN: PipelinePlus – plug-and-play MediatR pipeline behaviors for .NET (github.com/ilkanozbek)

2 points

9 months ago

28.

Nvidia releases Alias-Free GAN code and pre-trained models, naming it StyleGAN3 (github.com/NVlabs)

243 points

5 years ago

29.

Petnames: A humane approach to secure, decentralized naming (2018) (github.com/cwebber)

52 points

4 years ago

30.

Consider your naming schemes - a cautionary tale

21 points

15 years ago