callmekit

14 ms·

91.
by callmekit 11y ago
http://www.timeanddate.com/worldclock/fixedtime.html?msg=LP%...
92.
LP/CP Programming Contest 2015(picat-lang.org)
2 points by callmekit 11y ago|1 comments
93.
Speeding up non-vectorizable code with Cython(isaacslavitt.com)
37 points by callmekit 11y ago|3 comments
94.
Cognitive Biases in Competitive Programming(tcnickolas.blogspot.com)
2 points by callmekit 11y ago|0 comments
95.
Solving “Vietnam snake” puzzle with constraint logic programming(sdymchenko.com)
2 points by callmekit 11y ago|0 comments
96.
ImageIdentify recognizes most food items as emmental(tcnickolas.blogspot.com)
2 points by callmekit 11y ago|0 comments
97.
by callmekit 12y ago
From the announcement on the Picat mailing list: We are pleased to announce the release of Picat version 1.0. Picat ( http://picat-lang.org ) is a new programming language that integrates logic programming, functional programmin
98.
Picat 1.0 has been released(picat-lang.org)
13 points by callmekit 12y ago|3 comments
99.
PROGRAMMER IS INSUFFICIENTLY POLITE(blog.progopedia.com)
2 points by callmekit 12y ago|0 comments
100.
Tutorial: Theorem Proving in Lean(leanprover.github.io)
15 points by callmekit 12y ago|2 comments
101.
by callmekit 12y ago
Yes, ideas behind Alma-0 look similar to the ones behind Picat. Loops in Picat are compiled to recursive calls. And there is automatic backtracking, like in Prolog.
102.
Picat – A new logic-based programming language(picat-lang.org)
46 points by callmekit 12y ago|7 comments
103.
Solving Pentagonal Peg Solitaire Puzzle with Picat(sdymchenko.com)
2 points by callmekit 12y ago|1 comments
104.
Solving PuzzlOR “Electrifying” puzzle with constraint logic programming(sdymchenko.com)
2 points by callmekit 12y ago|0 comments
105.
Pi in Programming Languages(blog.progopedia.com)
1 points by callmekit 12y ago|0 comments
106.
Picat (logic-based multi-paradigm programming language) version 0.9 released(picat-lang.org)
2 points by callmekit 12y ago|0 comments
107.
“MovingNQueens” marathon match has just started on TopCoder(community.topcoder.com)
1 points by callmekit 12y ago|0 comments
108.
Overview of Programming Contests(psyho.gg)
4 points by callmekit 12y ago|0 comments
109.
Artificial intelligence planning with Picat(sdymchenko.com)
2 points by callmekit 12y ago|0 comments
110.
Facebook Hacker Cup 2015 Round 1: Full Score with Python, Prolog, and GAP(sdymchenko.com)
1 points by callmekit 12y ago|0 comments
111.
Designing Game of Life mosaics with integer programming(tandfonline.com)
1 points by callmekit 12y ago|0 comments
112.
Facebook Hacker Cup 2015 Qualification Round: Full Score with Prolog and Python(sdymchenko.com)
3 points by callmekit 12y ago|0 comments
113.
Solving Facebook Hacker Cup “Balanced Smileys” with DCG and B-Prolog(sdymchenko.com)
4 points by callmekit 12y ago|0 comments
114.
Logtalk 3.00.0 (object-oriented logic programming language backed by Prolog)(logtalk.org)
2 points by callmekit 12y ago|0 comments
115.
Five Popular Myths about C++ [pdf](stroustrup.com)
4 points by callmekit 12y ago|1 comments
116.
Solving Greater Than Sudoku using constraint logic programming(sdymchenko.com)
5 points by callmekit 12y ago|0 comments
117.
Theory of Problem Solving(dojiboy9.atspace.cc)
2 points by callmekit 12y ago|0 comments
118.
Why zip when you can map?(wordaligned.org)
1 points by callmekit 12y ago|0 comments
119.
Dynamic Programming Solution for Facebook Hacker Cup Problem AAAAAA in B-Prolog(sdymchenko.com)
32 points by callmekit 12y ago|1 comments