callmekit

10 ms·

61.
ONNX – Open Neural Network Exchange – Release v1.3(github.com)
2 points by callmekit 8y ago|0 comments
62.
Internet Problem Solving Contest 2018: October 6(ipsc.ksp.sk)
1 points by callmekit 8y ago|0 comments
63.
by callmekit 8y ago
I was able to enroll in "Probabilistic Logic Programming with cplint", but there is nothing there yet: course runs August 3-18.
64.
Logic programming courses(edu.swi-prolog.org)
104 points by callmekit 8y ago|5 comments
65.
by callmekit 8y ago
Wikipedia explicitly mentions respiratory depression as a side effect of kratom: https://en.wikipedia.org/wiki/Mitragyna_speciosa I haven't checked their sources, though.
66.
by callmekit 8y ago
If it's really painful, make sure you lower your monitor's brightness. Basically, the white color on the monitor should be the of same brightness as a sheet of white paper near it.
67.
Microsoft Q# Quantum Coding Contest this weekend(codeforces.com)
2 points by callmekit 8y ago|0 comments
68.
Microsoft Quantum Coding Contest(codeforces.com)
3 points by callmekit 8y ago|0 comments
69.
Microsoft Quantum Coding Contest(cloudblogs.microsoft.com)
3 points by callmekit 8y ago|0 comments
70.
by callmekit 8y ago
I'm a System76 customer (bought a second laptop 1 year ago, works ok but with issues). I think you exaggerating your current work with the upstream manufactures a little bit, otherwise you wouldn't have completely unsupported thin
71.
by callmekit 9y ago
MiniZinc is a modeling language - for problem specification. Then there are solvers that understand MiniZinc (Gecode, ECLiPSe, Google OR-Tools, ...), and they use variety of algorithms (mixed linear programming, constraint-specific algorith
72.
Beating ZX Spectrum Game “Logo: Part 1” with Picat (2016)(sdymchenko.com)
1 points by callmekit 9y ago|0 comments
73.
InterProlog Studio Is a Simple IDE for XSB Prolog(cs.nmsu.edu)
2 points by callmekit 10y ago|0 comments
74.
SciPy 2016: “Data Science is Software” tutorial(isaacslavitt.com)
148 points by callmekit 10y ago|0 comments
75.
Flix: functional/logic programming language(flix.github.io)
4 points by callmekit 10y ago|0 comments
76.
Communicating data science: A guide to presenting your work(blog.kaggle.com)
3 points by callmekit 10y ago|0 comments
77.
IPSC 2016 will start on 18 June 2016 at 11:00 UTC(ipsc.ksp.sk)
1 points by callmekit 10y ago|0 comments
78.
Building Problem Solvers (1993)(qrg.northwestern.edu)
71 points by callmekit 10y ago|4 comments
79.
Picat tutorial at FLOPS'16(youtube.com)
1 points by callmekit 10y ago|0 comments
80.
A Vision for Relational Programming in miniKanren – William E. Byrd(youtube.com)
1 points by callmekit 10y ago|0 comments
81.
Pictures from the On-Line Encyclopedia of Integer Sequences(oeis.org)
31 points by callmekit 10y ago|5 comments
82.
Solving the Prisoners’ Dilemma(pavpanchekha.com)
2 points by callmekit 10y ago|0 comments
83.
Life Is Beautiful: The Startling Consequences of Three Simple Rules(youtube.com)
1 points by callmekit 10y ago|0 comments
84.
Logtalk 3.5.0 released with improved developer tools and compiler lint checker(forums.logtalk.org)
3 points by callmekit 10y ago|0 comments
85.
Beating ZX Spectrum Game “Logo: Part 1” with Picat(sdymchenko.com)
2 points by callmekit 10y ago|0 comments
86.
PROGRAMMER IS OVERLY POLITE(blog.progopedia.com)
1 points by callmekit 11y ago|0 comments
87.
Upcoming April Fools Day Contest 2016 at Codeforces(codeforces.com)
1 points by callmekit 11y ago|0 comments
88.
Gofmt knows best(wordaligned.org)
2 points by callmekit 11y ago|0 comments
89.
Google Code-in contest for teens starts December 7th 2015(developers.google.com)
1 points by callmekit 11y ago|0 comments
90.
An Introduction to Tabled Logic Programming with Picat(linuxjournal.com)
1 points by callmekit 11y ago|0 comments

More ›