Human folly for 02019-02-15

older newer index

• Working with data (developer.mozilla.org):

  Mozilla has a #JS #FFI called "js-ctypes" which is not the same as node-ffi.

• FAQ (github.com):

  #OCaml has an #FFI confusingly also called “ctypes” now. It’s in OPAM, not the base distribution.

• Ore Genesis (en.wikipedia.org):

  how metal ores are formed. #geology

• Foreign pointer funcs (docs.racket-lang.org):

  #Racket has an #FFI which does support pointer arithmetic

• Delete API key (docs.aws.amazon.com):

  to delete an #AWS API key you need to know the API key

• Subroutine performance in J (sam-falvo.github.io):

  Subroutine calling in #J version 701b (from 2014) takes about 1400 ns on a 3.4 GHz amd64 box, and 14000 ns on a Galaxy Tab 3, because it’s apparently using string interpretation. #performance

• SAT solvers as smart search engines (msoos.org):

  some notes on #SAT #solver #performance and the relationship with backtracking search

• Gi83Ux (lobste.rs):

  comments on an #introduction to the #Z3 #SAT #solver