Search: github.com/Lapin0t | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

1.

Will we continue scientific research? Alexander Grothendieck (1972) (github.com/Lapin0t)

4 points

2 years ago

2.

A formalization of μμ͂ and classical realizability (2023) (github.com/Lapin0t)

2 points

082349872349872

2 years ago

3.

1995 DOS game opensourced, needs hacker love (github.com/LaPingvino)

63 points

15 years ago

4.

I got the idea to create a new line editor (github.com/LaPingvino)

3 points

8 years ago

5.

One off tool for pasting infohashes directly on commandline (gist.github.com)

1 point

8 years ago