Search: github.com/namin | Heykuki News

HK

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

3 years ago

102 points

2.

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

github.com/namin

9 years ago

108 points

3.

Show HN: Tiny Hoare logic verifier using SMT

github.com/namin

a year ago

12 points

4.

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

github.com/kettanaito

5 years ago

5 points

5.

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

github.com/namin

5 months ago

4 points

6.

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

github.com/namin

5 months ago

4 points

7.

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

github.com/namin

13 years ago

2 points

8.

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

github.com/namin

5 years ago

2 points

9.

Comprehensive language-agnostic guidelines on variables naming

github.com/kettanaito

5 years ago

2 points

10.

Naming Convention Transfer

github.com/TroyTae

6 years ago

2 points

11.

Explorations of multi-stage logic programming in miniKanren

github.com/namin

5 years ago

1 points

12.

Name Convention Project

github.com/naming-convention

7 years ago

1 points

13.

Collapsing Towers of Interpreters (In Scheme)

github.com/namin

7 years ago

1 points

14.

The Namingless Programming Language

github.com/akalenuk

2 years ago

108 points

15.

When “naming things” is done right

github.com/gruhn

7 years ago

17 points

16.

Show HN: The Namingless Programming Language

github.com/akalenuk

2 years ago

6 points

17.

Show HN: Simple Naming Scheme for Developers

github.com/wtcross

11 years ago

4 points

18.

Naming things is hard. These names are pretty good though

github.com/gruhn

7 years ago

3 points

19.

When “naming things” is done right

github.com/gruhn

7 years ago

2 points

20.

Help give PHP functions a naming convention

github.com/mattbearman

15 years ago

1 points

21.

Show HN: Sequelize Naming Strategy for TypeORM

github.com/relevantfruit

6 years ago

1 points

22.

A Simple Naming Scheme for All the Things

github.com/wtcross

11 years ago

1 points

23.

Updated Version of the Simple Naming Scheme

github.com/wtcross

11 years ago

1 points

24.

A Simple Naming Sheme for Developers

github.com/wtcross

11 years ago

1 points

25.

Show HN: Codeman – a blunt launcher forcing you to pick a Codex permission level

codeman.elderberry.games

4 months ago

1 points

26.

The Problem of Naming

github.com/learn-awesome

2 years ago

3 points

27.

Show HN: PipelinePlus – plug-and-play MediatR pipeline behaviors for .NET

github.com/ilkanozbek

9 months ago

2 points

28.

Nvidia releases Alias-Free GAN code and pre-trained models, naming it StyleGAN3

github.com/NVlabs

5 years ago

243 points

29.

Petnames: A humane approach to secure, decentralized naming (2018)

github.com/cwebber

4 years ago

52 points

30.

Consider your naming schemes - a cautionary tale

15 years ago

21 points