Rudolf Dupszki versus Yixin

Permalink: 2017-07-23 by Kai Sun in Blog tags: AI yixin gomoku

This article is a summary of the 2-game match between Yixin and Rudolf Dupszki in Gomoku World Championship 2017. The final result of Yixin is 2 win.

more…

Lin Shu-Hsuan versus Yixin

Permalink: 2017-07-16 by Kai Sun in Blog tags: AI yixin renju

This article is a summary of the 4-game match between Yixin and Lin Shu-Hsuan. The final result of Yixin is 3 win and 1 loss.

more…

Yixin in the Final of the Russian Championship 2017

Permalink: 2017-06-14 by Kai Sun in Blog tags: AI yixin gomoku

This article is a summary of 3 games between Yixin and Nikonov Konstantin, and 1 game between Yixin and Makarov Pavel. The final result of Yixin is 4 win.

more…

Epifanov Dmitry versus Yixin

Permalink: 2016-05-19 by Kai Sun in Blog tags: AI yixin renju

This article is a summary of the 8-game match between Yixin and Epifanov Dmitry. The final result of Yixin is 2 win, 2 draw, and 4 loss.

more…

Towards Deep Yixin

Permalink: 2014-09-07 by Kai Sun in Blog tags: yixin multi-thread

Recently, I have been struggling with varieties of multi-threading bugs, trying to enable Yixin to take advantage of multi-core processors. Although there is still some space to improve the speedup, the result is good to some extent, because what I would like now is just making Deep Yixin run without …

more…

Implementing Elegant Quines in C with Preprocessing

A quine is a computer program which takes no input and produces a copy of its own source code as its only output. This article introduces an approach to implement elegant quine in C with preprocessing.

more…

Calculating All Feasible Solutions of Integer Linear Programming with PuLP and SCIP

Permalink: 2014-07-29 by Kai Sun in Blog tags: SCIP PuLP ILP LP

In this article, PuLP and SCIP are combined together to solve a general problem: given an integer linear programming problem, calculate all feasible solutions efficiently if the number of feasible solutions is not infinite.

more…

Gomoku/Renju Resouces -- An Overview

Permalink: 2014-07-07 by Kai Sun in Blog tags: gomoku renju resource

(Last update: 2017-6-23)

I often recieve emails that ask for gomoku/renju resources, especially for AI design, so I write this article to summarize good resources I know. This page will be maintained and updated in the future. If you find any mistake in this page such as broken links …

more…

Moving my blog from GAE to Github Pages

Permalink: 2014-07-01 by Kai Sun in Blog tags: pelican

Due to the resource limitation of GAE for free users as well as maintainance of the blog system Micolog being stopped for a long time, I decide to move my blog from GAE to Github Pages.

Since Github only accepts static site with HTML, images CSS, JS, etc., a static …

more…

Paper translation: "All about Eve: Execute-Verify Replication for Multi-Core Servers"

Permalink: 2013-12-10 by Kai Sun in Blog tags: translation system

Translating a paper is one of the homework of our computer system class. I was given the paper "All about Eve: Execute-Verify Replication for Multi-Core Servers", which takes several days for me to translate. Now I make it public and wish it can help some people's study.

Download

more…