Search: github.com/tromp | Heykuki News

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)

133 points

5 years ago

2.

Cuckoo: a memory-bound graph-theoretic proof-of-work system (github.com/tromp)

56 points

10 years ago

3.

A memory-bound graph-theoretic proof-of-work system (github.com/tromp)

6 points

8 years ago

4.

Binary Lambda Calculus (gist.github.com)

5 points

a year ago

5.

The number of legal chess positions is roughly 4e44 (github.com/tromp)

5 points

5 years ago

6.

Help improve the estimated number of legal chess positions (github.com/tromp)

3 points

5 years ago

7.

Binary Lambda Calculus (gist.github.com)

3 points

a year ago

8.

Binary Lambda Calculus (gist.github.com)

2 points

a year ago

9.

Chess Position Ranking (github.com/tromp)

2 points

4 years ago

10.

Accurately estimating the number of legal chess positions (github.com/tromp)

1 point

3 years ago

11.

Cuckoo cycle, a memory access heavy proof of work (github.com/tromp)

1 point

12 years ago

12.

Chess Position Ranking (github.com/tromp)

1 point

3 years ago

13.

Cuckoo Cycle – A graph-theoretic ASIC resistant proof-of-work algorithm (github.com/tromp)

1 point

8 years ago

14.

Can a simple functional sieve be fast? Optimizing Tromp's algorithm on HVM (gist.github.com)

3 points

2 years ago

15.

"TL;DR" on Recent Transformers Papers

4 points

5 years ago

16.

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

2 points

4 months ago

17.

Show HN: Agents-docs-kits – reusable "docs kits" for AI agents (github.com/thompson0012)

2 points

4 months ago

18.

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

1 point

4 months ago

19.

Trump2cash – A stock trading bot powered by Trump tweets (github.com/maxbbraun)

380 points

9 years ago

20.

Mega Man for TempleOS (github.com/tramplersheikhs)

327 points

9 years ago

21.

LGPL violation/Missing references to Ethereumj project (github.com/tronprotocol)

210 points

8 years ago

22.

Implementations of various type systems in OCaml (github.com/tomprimozic)

113 points

12 years ago

23.

Grow Your Own Type System (github.com/tomprimozic)

105 points

11 years ago

24.

Voicemail for Hackers (github.com/titanous)

92 points

16 years ago

25.

Tropy: An Open-Source App to Organize Your Research Photos (github.com/tropy)

66 points

4 years ago

26.

Game Boy emulator for TempleOS (github.com/tramplersheikhs)

66 points

9 years ago

27.

Play the trombone in your web browser (github.com/bignimbus)

64 points

5 years ago

28.

Show HN: Simple refined types implementation that can prevent Heartbleed (github.com/tomprimozic)

56 points

12 years ago

29.

Collection of data from Donald Trump's 2016 presidential campaign (github.com/brandtg)

18 points

9 years ago

30.

Run Skype safely in a Docker container (github.com/tomparys)

12 points

12 years ago