Human folly for 02015-09-18

older newer index

• History of (cfd-online.com):

  Computational fluid dynamics: apparently the release of OpenFOAM as a GPL CFD code is a milestone in CFD history. This Wiki looks kind of dead.

• Rethinking (okmij.org):

  #PDF #paper "Rethinking Prolog", by #Oleg Kiselyov and Yukiyoshi Kameyama. Mentions #parser combinators “that use committed choice (maximal munch) and can still be run forwards and backward” that can’t be written in classical #Prolog. Based on #Hansei, a probabilistic programming system embedded in OCaml.

• Kakuritu (okmij.org):

  #Oleg and Chung-Chieh Shan have built a #probabilistic-programming system as an embedded DSL in #OCaml, called "HANSEI". Holy shit, they did it in 2008. That’s at least five years ahead of the trend.

• Aquicksurveyoftheoremprovingsystemsmoreandlessrelevanttoprofrussellsmrs (sites.google.com):

  an overview of #probabilistic-programming systems, #SAT solvers, with a paragraph or so about each.

• Symbolic execution (en.wikipedia.org):

  a list of "symbolic execution" systems.

• Concolic testing (en.wikipedia.org):

  more about #symbolic-execution and in particular testing programs with concrete values.

• Constraint programming blog (hakank.org):

  a blog about #constraint-programming and #logic-programming. Talks a bit about #SAT solvers and their relationship to CP, which I still don’t understand.

• Verification synthesis (github.com):

  a huge list of free software for verification and synthesis, including SMT solvers (#SAT modulo theories), #logic-programming, and dozens of pages of stuff I don’t understand.

• (potassco.sourceforge.net):

  the Potsdam Answer Set Solving Collection of the #logic-programming paradigm called “answer set programming”.

• Nm06 matrix2a (ww2.odu.edu):

  #PDF #introduction to solving systems of #linear-equations, including an overview of why this is a useful thing to do, Fortran code for Gaussian elimination (18 lines of code), LU factorization, explanation of ill-conditioned systems, and equations explaining Gauss-Seidel, Jacobi, and successive over-relaxation iterative solving, with the last in 25 lines of Fortran. Seems to be a draft from 2009.

• Hosting a website on IPFS (gateway.ipfs.io):

  hosting a simple static website on #ipfs

• Bkanren (github.com):

  #miniKanren extended with #constraint-programming and ported to Bigloo. Unfortunately it seems to be totally undocumented beyond the build instructions and a list of operators. #KANREN

• Nonlinear (research.microsoft.com):

  Dejan Jovanović and Leonardo de Moura wrote a #paper about deciding #SAT for nonlinear arithmetic #constraint-programming. Not Diophantine.