cothrun + math   256

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 
9 weeks ago by cothrun
the secret life of NaN
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
Physical Modeling in MATLAB
model  math  matlab 
january 2018 by cothrun
Inigo Quilez :: fractals, computer graphics, mathematics, demoscene and more
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
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
An elliptic curve everyone can trust.
cryptography  math 
february 2016 by cothrun
Unlimited Personalized Lessons from Knewton
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.
education  math  learning 
february 2016 by cothrun
Intuition, Details and the Bow/Arrow Metaphor | BetterExplained
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,
math  learning  thought 
february 2016 by cothrun
How we used Category Theory to solve a problem in Java | Tech Blog
Basic category theory concepts, how they work, what they're for, and how we used them to fix up a real Java codebase.
java  categorytheory  math  functional 
january 2016 by cothrun
« earlier      
per page:    204080120160

related tags

3d  abstraction  advice  ai  algebra  algorithm  algorithms  analysis  analytics  animation  app  art  astronomy  audio  autodiadact  bayes  BBU  behavior  bicycle  binary  bit  blog  blogthis  book  books  boolean  Bézier  c  c#  c++  calculus  canvas  career  categorytheory  children  color  colour  commoncore  complexity  computer  computerscience  constraint  conversion  cryptography  culture  d3  data  datamining  datascience  dct  deeplearning  design  dice  digital  disk  drawing  drums  dsp  economics  education  electronics  engineering  english  error  escher  estimation  fft  fiction  filter  finance  fire  floatingpoint  food  formalsystems  fourier  fractal  functional  game  gamedev  games  gametheory  geography  geometry  gradient  graph  graphics  growth  haskell  ideas  illustration  image  intelligence  interview  ipython  java  javascript  julia  kalmanfilter  lambdacalculus  language  lean  learn  learning  library  life  light  linearalgebra  lisp  logic  machinelearning  maps  math  mathematics  matlab  maze  mechanics  meteor  model  money  montecarlo  music  neuralnetwork  number  ocw  opengl  optimization  orbit  paper  papers  patterns  pca  performance  permutations  philosophy  physics  pixel  plots  probability  problemsolving  processing  programming  projecteuler  psychology  publishing  puzzles  python  R  radio  random  ranking  recipe  reference  render  replication  review  rhythm  science  scifi  sdr  simulation  sleep  software  sounds  space  statistics  storage  swift  symbolic  teaching  techniques  testing  theory  thought  tools  toread  tutorial  ui  utility  vector  venn  video  visualization  webdev  webgl 

Copy this bookmark: