HNHacker News
TopNewBestAskShowJobs

callmekit

490 karma · joined March 8, 2013

http://sdymchenko.com/
submissionscomments

Pictures from the On-Line Encyclopedia of Integer Sequences

oeis.org·31 pts·callmekit·
5

Solving the Prisoners’ Dilemma

pavpanchekha.com·2 pts·callmekit·
0

Life Is Beautiful: The Startling Consequences of Three Simple Rules

youtube.com·1 pts·callmekit·
0

Logtalk 3.5.0 released with improved developer tools and compiler lint checker

forums.logtalk.org·3 pts·callmekit·
0

Beating ZX Spectrum Game “Logo: Part 1” with Picat

sdymchenko.com·2 pts·callmekit·
0

PROGRAMMER IS OVERLY POLITE

blog.progopedia.com·1 pts·callmekit·
0

Upcoming April Fools Day Contest 2016 at Codeforces

codeforces.com·1 pts·callmekit·
0

Gofmt knows best

wordaligned.org·2 pts·callmekit·
0

Google Code-in contest for teens starts December 7th 2015

developers.google.com·1 pts·callmekit·
0

An Introduction to Tabled Logic Programming with Picat

linuxjournal.com·1 pts·callmekit·
0

LP/CP Programming Contest 2015

picat-lang.org·2 pts·callmekit·
1

Speeding up non-vectorizable code with Cython

isaacslavitt.com·37 pts·callmekit·
3

Cognitive Biases in Competitive Programming

tcnickolas.blogspot.com·2 pts·callmekit·
0

Solving “Vietnam snake” puzzle with constraint logic programming

sdymchenko.com·2 pts·callmekit·
0

ImageIdentify recognizes most food items as emmental

tcnickolas.blogspot.com·2 pts·callmekit·
0

Picat 1.0 has been released

picat-lang.org·13 pts·callmekit·
3

PROGRAMMER IS INSUFFICIENTLY POLITE

blog.progopedia.com·2 pts·callmekit·
0

Tutorial: Theorem Proving in Lean

leanprover.github.io·15 pts·callmekit·
2

Picat – A new logic-based programming language

picat-lang.org·46 pts·callmekit·
7

Solving Pentagonal Peg Solitaire Puzzle with Picat

sdymchenko.com·2 pts·callmekit·
1

Solving PuzzlOR “Electrifying” puzzle with constraint logic programming

sdymchenko.com·2 pts·callmekit·
0

Pi in Programming Languages

blog.progopedia.com·1 pts·callmekit·
0

Picat (logic-based multi-paradigm programming language) version 0.9 released

picat-lang.org·2 pts·callmekit·
0

“MovingNQueens” marathon match has just started on TopCoder

community.topcoder.com·1 pts·callmekit·
0

Overview of Programming Contests

psyho.gg·4 pts·callmekit·
0

Artificial intelligence planning with Picat

sdymchenko.com·2 pts·callmekit·
0

Facebook Hacker Cup 2015 Round 1: Full Score with Python, Prolog, and GAP

sdymchenko.com·1 pts·callmekit·
0

Designing Game of Life mosaics with integer programming

tandfonline.com·1 pts·callmekit·
0

Facebook Hacker Cup 2015 Qualification Round: Full Score with Prolog and Python

sdymchenko.com·3 pts·callmekit·
0

Solving Facebook Hacker Cup “Balanced Smileys” with DCG and B-Prolog

sdymchenko.com·4 pts·callmekit·
0
← PreviousPage 2 of 3Next →