MiniZinc

9 weeks ago by cothrun

MiniZinc is a free and open-source constraint modeling language.

You can use MiniZinc to model constraint satisfaction and optimization problems in a high-level, solver-independent way, taking advantage of a large library of pre-defined constraints. Your model is then compiled into FlatZinc, a solver input language that is understood by a wide range of solvers.

MiniZinc is developed at Monash University in collaboration with Data61 Decision Sciences and the University of Melbourne.

optimization
logic
constraint
math
You can use MiniZinc to model constraint satisfaction and optimization problems in a high-level, solver-independent way, taking advantage of a large library of pre-defined constraints. Your model is then compiled into FlatZinc, a solver input language that is understood by a wide range of solvers.

MiniZinc is developed at Monash University in collaboration with Data61 Decision Sciences and the University of Melbourne.

9 weeks ago by cothrun

the secret life of NaN

april 2018 by cothrun

The floating point standard defines a special value called Not-a-Number (NaN) which is used to represent, well, values that aren’t numbers. Double precision NaNs come with a payload of 51 bits which can be used for whatever you want– one especially fun hack is using the payload to represent all other non-floating point values and their types at runtime in dynamically typed languages.

programming
math
floatingpoint
april 2018 by cothrun

Inigo Quilez :: fractals, computer graphics, mathematics, demoscene and more

september 2017 by cothrun

These are written articles on the techniques I develop for my computer graphics experiments, demos, shadertoys and movies. For video tutorials, code and other useful resources visit the landing page. All content here is beginner and medium level, and mostly pragmatic rather than theoretical. I have a long long queue of pending articles, I write them whenever I have a little bit of free time (mostly late at night), so stay tuned!

graphics
3d
math
tutorial
programming
september 2017 by cothrun

A Primer on Bézier Curves

april 2017 by cothrun

So, what if you need to program them yourself? What are the pitfalls? How do you draw them? What are the bounding boxes, how do you determine intersections, how can you extrude a curve, in short: how do you do everything that you might want when you do with these curves? That's what this page is for. Prepare to be mathed!

math
algorithm
graphics
april 2017 by cothrun

Million Dollar Curve

cryptography
math

february 2016 by cothrun

An elliptic curve everyone can trust.

february 2016 by cothrun

Unlimited Personalized Lessons from Knewton

education
math
learning

february 2016 by cothrun

Get the best personalized lessons to help with Math, English, Biology, History, and more, for free. It’s like studying with the world’s smartest tutor whenever and wherever you need.

february 2016 by cothrun

Intuition, Details and the Bow/Arrow Metaphor | BetterExplained

math
learning
thought

february 2016 by cothrun

My favorite analogies explain a thought and help you explore deeper truths. Here's a metaphor that captures my stance on learning: * Rote details are arrows,

february 2016 by cothrun

How we used Category Theory to solve a problem in Java | realestate.com.au Tech Blog

java
categorytheory
math
functional

january 2016 by cothrun

Basic category theory concepts, how they work, what they're for, and how we used them to fix up a real Java codebase.

january 2016 by cothrun

**related tags**

Copy this bookmark: