Search: github.com/Axinom | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

61.

Toward a new mathematical theory of computation.

5 points

17 years ago

62.

Show HN: Physics from "I am": a recursive model that works? (github.com/ktynski)

4 points

10 months ago

63.

Show HN: We made a VS Code extension to recreate a debugger experience from logs (marketplace.visualstudio.com)

3 points

a year ago

64.

Show HN: Linkitall – create dependency-graphs of ideas (github.com/charstorm)

3 points

3 years ago

65.

Proton/electron mass ratio pure geometry – 10⁻¹³% error, zero free parameters

2 points

5 months ago

66.

Show HN:I built a deterministic 10k-node VRP solver on a $100 phone

2 points

a month ago

67.

Show HN: Formally Verified a Millennium Prize Problem in Coq Yang-Mills Mass Gap (github.com/Shariq81)

2 points

3 months ago

68.

Show HN: I wrote a toy proof assistent (github.com/chrisd1977)

2 points

2 years ago

69.

Show HN: An autopoietic agent forge for emergent, consensus-based AI ecosystems (github.com/jzkool)

1 point

hiddenarchitect

4 months ago

70.

Ask HN: Which learning style is better? Mastery Learning or Spiral approach?

1 point

7 years ago

71.

Show HN: I built a dependency graph for the tree of human science (github.com/slepybear)

1 point

3 months ago

72.

Show HN: Cursor Agent Factory – 5-layer architecture for AI agent systems (github.com/gitwalter)

1 point

4 months ago

73.

Show HN: 32KB deductive engine that catches LLM hallucinations

1 point

4 months ago

74.

Show HN: A verified foundation of mathematics in Coq (Theory of Systems)

1 point

4 months ago

75.

GitHub – nushell/nushell: A new type of shell (github.com/nushell)

763 points

5 years ago

76.

The Art of Command Line (2015) (github.com/jlevy)

597 points

7 years ago

77.

Youtube-dl: Command-line program to download videos (github.com/rg3)

581 points

8 years ago

78.

Docker-OSX: Run macOS VM in a Docker (github.com/sickcodes)

458 points

3 years ago

79.

Pi-hole: Network-wide ad blocking (github.com/pi-hole)

438 points

3 years ago

80.

A pure JavaScript implementation of Git for Node and browsers (github.com/isomorphic-git)

381 points

8 years ago

81.

Learning operating system development using Linux kernel and Raspberry Pi (github.com/s-matyukevich)

368 points

8 years ago

82.

Fermented Chili “Open Sauce” – My most starred repo has no code in it (github.com/aweijnitz)

367 points

4 years ago

83.

Libui: a portable GUI library for C (github.com/andlabs)

356 points

8 years ago

84.

Wireguard-docs: Setup, usage, configuration, and a full example (github.com/pirate)

323 points

7 years ago

85.

OSSU: Path to a free, self-taught education in computer science (github.com/ossu)

322 points

5 years ago

86.

Osx-kvm: Run macOS on QEMU/KVM (github.com/kholia)

299 points

8 years ago

87.

SpiderFoot: OSINT collection and reconnaissance tool (github.com/smicallef)

272 points

6 years ago

88.

A curated list of books on Software Architecture (github.com/mhadidg)

262 points

5 years ago

89.

Yuzu: Nintendo Switch Emulator (github.com/yuzu-emu)

227 points

4 years ago

90.

PS4-5.05-Kernel-Exploit: A fully implemented kernel exploit for the PS4 (github.com/Cryptogenic)

181 points

8 years ago