Search: github.com/tromp | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

1.

The number of legal chess positions estimated at 4.5x10^44 – proof games wanted

github.com/tromp

5 years ago

133 points

2.

Cuckoo: a memory-bound graph-theoretic proof-of-work system

github.com/tromp

10 years ago

56 points

3.

A memory-bound graph-theoretic proof-of-work system

github.com/tromp

8 years ago

6 points

4.

Binary Lambda Calculus

gist.github.com

a year ago

5 points

5.

The number of legal chess positions is roughly 4e44

github.com/tromp

5 years ago

5 points

6.

Help improve the estimated number of legal chess positions

github.com/tromp

5 years ago

3 points

7.

Binary Lambda Calculus

gist.github.com

a year ago

3 points

8.

Binary Lambda Calculus

gist.github.com

a year ago

2 points

9.

Chess Position Ranking

github.com/tromp

4 years ago

2 points

10.

Accurately estimating the number of legal chess positions

github.com/tromp

3 years ago

1 points

11.

Cuckoo cycle, a memory access heavy proof of work

github.com/tromp

12 years ago

1 points

12.

Chess Position Ranking

github.com/tromp

3 years ago

1 points

13.

Cuckoo Cycle – A graph-theoretic ASIC resistant proof-of-work algorithm

github.com/tromp

8 years ago

1 points

14.

Can a simple functional sieve be fast? Optimizing Tromp's algorithm on HVM

gist.github.com

2 years ago

3 points

15.

"TL;DR" on Recent Transformers Papers

5 years ago

4 points

16.

Show HN: AFS – filesystem-native memory layer for AI agents

4 months ago

2 points

17.

Show HN: Agents-docs-kits – reusable "docs kits" for AI agents

github.com/thompson0012

4 months ago

2 points

18.

Show HN: Agents-docs-kits – reusable "docs kits" for AI agents

4 months ago

1 points

19.

Trump2cash – A stock trading bot powered by Trump tweets

github.com/maxbbraun

9 years ago

380 points

20.

Mega Man for TempleOS

github.com/tramplersheikhs

9 years ago

327 points

21.

LGPL violation/Missing references to Ethereumj project

github.com/tronprotocol

8 years ago

210 points

22.

Implementations of various type systems in OCaml

github.com/tomprimozic

12 years ago

113 points

23.

Grow Your Own Type System

github.com/tomprimozic

11 years ago

105 points

24.

Voicemail for Hackers

github.com/titanous

16 years ago

92 points

25.

Tropy: An Open-Source App to Organize Your Research Photos

github.com/tropy

4 years ago

66 points

26.

Game Boy emulator for TempleOS

github.com/tramplersheikhs

9 years ago

66 points

27.

Play the trombone in your web browser

github.com/bignimbus

5 years ago

64 points

28.

Show HN: Simple refined types implementation that can prevent Heartbleed

github.com/tomprimozic

12 years ago

56 points

29.

Collection of data from Donald Trump's 2016 presidential campaign

github.com/brandtg

10 years ago

18 points

30.

Run Skype safely in a Docker container

github.com/tomparys

12 years ago

12 points