CafeOBJ is a new generation algebraic specification and programming language. As a direct successor of OBJ, it inherits all its features (flexible mix-fix syntax, powerful typing system with sub-types, and sophisticated module composition system featuring various kinds of imports, parameterised modules, views for instantiating the parameters, module expressions, etc.) but it also implements new paradigms such as rewriting logic and hidden algebra, as well as their combination.

• Enhancemets of a family of Bool term inspector commands:
  • binspect [ in : <Modexpr> ] <bool-term> . converts given <bool-term> into abstracted xor-and normal form
  • bshow [ tree grind ] shows abstracted Bool term
  • bresolve [ <num1> [ <num2> all ] ] shows assignments which make abstracted Bool term true
  • bguess imply and or tries with some heuristics to solve the abstracted Bool term
• bug fix in ACZ rewriting
• CITP changes
  • :ctf [ <term> ] accepts constructors with arguments
  • new command :imply to make instantiated lhs of existing equation of the form eq lhs = true a premise of a goal sentence
  • new tactic rd- which is similar to rd but cancels the normalization of the goal sentence if the sentence is not satisfied
• new switch tree horizontal. if on show term tree displays the term tree structure horizontally (default off).

Changes in version 1.60.0-1 (2015-12-24)

• Upgraded to Boost 1.60 installed directly from upstream source
• Added Boost phoenix as discussed in GH ticket #19

Edited on 2015-12-30: Typo in titled corrected, it is BH 1.60.0-1

This post by Dirk Eddelbuettel originated on his Thinking inside the box blog. Please report excessive re-aggregation in third-party for-profit settings.

[twitter]
consumer_key=ml9jaiBnf3pmU9uIrKNIxAr3v
consumer_secret=8Cmljklzerkhfer4hlj3ljl2hfvc123rezrfsdctpokaelzerp
access_token=213416590-jgJnrJG5gz132nzerl5zerwi0ahmnwkfJFN9nr3j
access_token_secret=3janlPMqDKlunJ4Hnr90k2bnfk3jfnwkFjeriFZERj32Z
Une erreur est survenue ; le flux est probablement indisponible. Veuillez r essayer plus tard.
uri: https://www.mycoolwebsite.com/rss
[hashtaglist]
several_words_hashtags_list: severalwordshashtaglist.txt

$ feed2tweet -c /path/to/feed2tweet.ini

• #768687 src:libdata-hal-perl: "libdata-hal-perl: FTBFS: test suite broken by newer liburi-namespacemap-perl versions"
  add patch from new upstream's git repo (pkg-perl)
• #787912 src:libdata-dump-streamer-perl: "libdata-dump-streamer-perl: FTBFS with perl 5.22"
  upload new upstream release (pkg-perl)
• #789142 src:libdata-hal-perl: "libdata-hal-perl: FTBFS with perl 5.22 (Module::Build)"
  upload with explicit build dependency on Module::Build (pkg-perl)
• #791520 libmojomojo-perl: "libmojomojo-perl: FTBFS: test failures"
  close bug in the BTS, already fixed since months (pkg-perl)
• #801659 libxml-compile-dumper-perl: "libxml-compile-dumper-perl: depends on libdata-dump-streamer-perl, broken by perl 5.22"
  close as the dependency is fixed (pkg-perl)
• #808284 libalien-wxwidgets-perl: "libalien-wxwidgets-perl: Broken dependencies in binary package after BinNMU"
  fix wxwidgets version detection logic (pkg-perl)
• #808310 libchemistry-formula-perl: "libchemistry-formula-perl: bogus dependency on perlapi-5.20.2"
  fix perl library paths in debian/rules, NMU
• #808327 wmanager: "wmanager: Depends on virtual package "perl5" which will is gone with perl/5.22"
  sponsor maintainer upload
• #808395 src:libprelude: "libprelude: FTBFS everywhere"
  add patch to handle swig changes, NMU
• #808412 src:ippl: "ippl: Depends on virtual package "perl5-base" which is gone with perl/5.22"
  drop perl5-base dependency, NMU with maintainer's permission
• #808454 src:libdata-faker-perl: "libdata-faker-perl: FTBFS under some locales (eg. fr_CH.UTF-8)"
  set C locale for tests (pkg-perl)
• #808473 liblemonldap-ng-manager-perl: "liblemonldap-ng-manager-perl: manager unaccessible without doc symlink in /var/lib/lemonldap-ng"
  upload package prepared by Xavier Guimard (pkg-perl)
• #808474 liblemonldap-ng-manager-perl: "liblemonldap-ng-manager-perl: Manager shows garbage where the menu is supposed to be"
  upload package prepared by Xavier Guimard (pkg-perl)
• #808480 libdevel-bt-perl: "libdevel-bt-perl: FTBFS on mips*: test failures"
  add (build)dep on perl-debug (pkg-perl)
• #808489 src:acm: "acm: FTBFS: Type of arg 1 to dbmclose must be hash (not constant item) at ./create-tables-5 (perl 5.22?)"
  send patch to BTS
• #808507 uwsgi-plugin-mono: "uwsgi-plugin-mono: Please refresh architectures list for current Mono in Unstable"
  sponsor upload for jonas
• #808825 libperl-apireference-perl: "libperl-apireference-perl: FTBFS: missing support for Perl 5.22.1"
  add support for 5.22.1 (pkg-perl)
• #809006 libnet-cups-perl: "libnet-cups-perl: empty package"
  add patch to fix broken version check in Makefile.PL (pkg-perl)

• #768687 src:libdata-hal-perl: "libdata-hal-perl: FTBFS: test suite broken by newer liburi-namespacemap-perl versions"
  add patch from new upstream's git repo (pkg-perl)
• #787912 src:libdata-dump-streamer-perl: "libdata-dump-streamer-perl: FTBFS with perl 5.22"
  upload new upstream release (pkg-perl)
• #789142 src:libdata-hal-perl: "libdata-hal-perl: FTBFS with perl 5.22 (Module::Build)"
  upload with explicit build dependency on Module::Build (pkg-perl)
• #791520 libmojomojo-perl: "libmojomojo-perl: FTBFS: test failures"
  close bug in the BTS, already fixed since months (pkg-perl)
• #801659 libxml-compile-dumper-perl: "libxml-compile-dumper-perl: depends on libdata-dump-streamer-perl, broken by perl 5.22"
  close as the dependency is fixed (pkg-perl)
• #808284 libalien-wxwidgets-perl: "libalien-wxwidgets-perl: Broken dependencies in binary package after BinNMU"
  fix wxwidgets version detection logic (pkg-perl)
• #808310 libchemistry-formula-perl: "libchemistry-formula-perl: bogus dependency on perlapi-5.20.2"
  fix perl library paths in debian/rules, NMU
• #808327 wmanager: "wmanager: Depends on virtual package "perl5" which will is gone with perl/5.22"
  sponsor maintainer upload
• #808395 src:libprelude: "libprelude: FTBFS everywhere"
  add patch to handle swig changes, NMU
• #808412 src:ippl: "ippl: Depends on virtual package "perl5-base" which is gone with perl/5.22"
  drop perl5-base dependency, NMU with maintainer's permission
• #808454 src:libdata-faker-perl: "libdata-faker-perl: FTBFS under some locales (eg. fr_CH.UTF-8)"
  set C locale for tests (pkg-perl)
• #808473 liblemonldap-ng-manager-perl: "liblemonldap-ng-manager-perl: manager unaccessible without doc symlink in /var/lib/lemonldap-ng"
  upload package prepared by Xavier Guimard (pkg-perl)
• #808474 liblemonldap-ng-manager-perl: "liblemonldap-ng-manager-perl: Manager shows garbage where the menu is supposed to be"
  upload package prepared by Xavier Guimard (pkg-perl)
• #808480 libdevel-bt-perl: "libdevel-bt-perl: FTBFS on mips*: test failures"
  add (build)dep on perl-debug (pkg-perl)
• #808489 src:acm: "acm: FTBFS: Type of arg 1 to dbmclose must be hash (not constant item) at ./create-tables-5 (perl 5.22?)"
  send patch to BTS
• #808507 uwsgi-plugin-mono: "uwsgi-plugin-mono: Please refresh architectures list for current Mono in Unstable"
  sponsor upload for jonas
• #808825 libperl-apireference-perl: "libperl-apireference-perl: FTBFS: missing support for Perl 5.22.1"
  add support for 5.22.1 (pkg-perl)
• #809006 libnet-cups-perl: "libnet-cups-perl: empty package"
  add patch to fix broken version check in Makefile.PL (pkg-perl)

apt-get install yum yum-utils python-lzma

git clone git://git.openstack.org/openstack/diskimage-builder
virtualenv dib_env
. dib_env/bin/activate
pip install dib-utils

git clone git://git.openstack.org/openstack-infra/project-config

break=after-error \
TMP_DIR=~/tmp \
ELEMENTS_PATH=~/project-config/nodepool/elements \
DIB_DEV_USER_PASSWORD="password"  DIB_DEV_USER_PWDLESS_SUDO=1 \
DISTRO=23 \
./bin/disk-image-create -x --no-tmpfs -t vhd \
   fedora-minimal vm devuser simple-init \
   openstack-repos puppet nodepool-base node-devstack

• break= will help you debug failing builds by dropping you into a shell when one of the element parts fail.
• TMP_DIR should be set to somewhere with plenty of space; a default /tmp with tmpfs is probably restricted to a couple of gigabytes; not enough for a build.
• ELEMENTS_PATH will add the OpenStack specific elements
• DIB_DEV_USER_* flags will create a devuser login with a password and sudo access. This is really important as it is most likely you'll boot up fairly broken the first time, and you need a way to log-in (this is not used in "production").
• DISTRO in this case says to build a Fedora 23 based-image, but will vary depending on what you are trying to do.
• disk-image-create finally creates the image. We are telling it to create a vhd based image, using fedora-minimal in this case. For configuration we are using simple-init, which uses the glean project to configure networking from a configuration-drive.
  • By default, this will install glean from pypi. However, adding DIB_INSTALL_TYPE_simple_init=repo would modify the install to use the git source. This is handy if you have changes in there that are not released to pypi yet.

pip install shade

clouds:
  rax:
    profile: rackspace
    auth:
       username: your_rax_username
       password: your_rax_password
       project_id: your_rax_accountnum
    regions:
    - IAD

import shade
shade.simple_logging(debug=True)
cloud = shade.openstack_cloud(cloud='rax')
image = cloud.create_image('image-name', filename='image.vhd', wait=True)

nova boot --flavor=2 --image=image-uuid --config-drive 1 test-image

• A code refactoring has been performed a new Tab class has been added, and all methods that affect only one tab (not the whole window) have been moved there. From the user s point of view this means two things:
  • The tabs are now draggable and reorderable (this was a feature requested long time ago).
  • Some operations are now faster and more efficient. For example, in the previous release turning the WebKit renderer on/off required removing all the tabs and then re-adding them back, this giant hack has been dropped now.
• A new previewer feature was contributed by Jan Korte: now, if the document contains a local link like

  [click me](foo.mkd)
  

  and a file named foo.mkd exists, it is opened in a new ReText tab. It is also possible to specify names without the extension (just foo) or relative paths (../foo/bar.mkd).
• The colors used in the editor are now fully configurable via the standard configuration mechanism. This is most useful for users of dark themes. For example, you can change the color of line numbers area, the cursor position box, and all colors used by the highlighter. The possible colors and the procedure to change them is described in the Color scheme setting section in the documentation.
• The Display right margin at column feature now displays the line more precisely: in the previous version it was some pixels left to the cursor, now it is exactly on the same horizontal position as the cursor.
• Some bug fixes have been made for users that install ReText using pip or setup.py install:
  • The desktop file no longer hardcodes the path to executable in the Exec field, it uses just retext now. This fix has been contributed by Buo-Ren Lin.
  • The setup.py script now installs the application logo into a location where ReText can find it. Note: this works only for installs into user s home directory (with --user passed to pip or setup.py install), installing software globally this way is not recommended anyway.
• The AppStream metadata included in the previous version was updated to fix some warnings from the appstream.debian.org metadata validator.

 $ dmesg

 # fdisk -l /dev/sdx

 # dd if=/dev/zero of=/dev/sdx bs=1048576 count=$sectors

 # parted
 (parted) mklabel msdos
 (parted) mkpart primary ext2 1 -1
 (parted) set 1 boot on
 (parted) quit

 # mkfs.ext2 /dev/sdx1
 # mount /dev/sdx1 /mnt

 # debootstrap --variant=minbase jessie /mnt http://httpredir.debian.org/debian/

 # grub-install --boot-directory /mnt/boot /dev/sdx1

 # chroot /mnt
 # passwd root
 # exit

# blkid -p /dev/sdc1   cut -f2 -d' ' > /mnt/etc/fstab

# systemd-nspawn -b -D /mnt

• cowdancer
• debian-installer-launcher
• chirp
• python-flask-rdf

• CPU: Intel Core i7 4790K 4.0 GHz (4 cores, total of 8 hyperthreads)
• RAM: Kingston HyperX Beast 32 GB
• Mainboard: 46400 Asus H97M-Plus Intel H97 LGA 1150 micro-ATX
• SSD: Samsung 850 EVO SSD 120 GB
• HDD: 4 x WD Red 4 TB
• PSU: Corsair CX750M ATX
• Case: BitFenix Phenom micro-ATX

• A million tiny files, containing a single, random byte.
• A single, 10 GB file.

• db2twitter 0.3 released build and send tweets with values from a database now fully featured and in production on linuxjobs.fr official documentation
  
• retweet 0.6 released new parameter only_if_hashtags to only retweet if a given hashtag is in the tweet text official documentation
• FOSS first-time contributors I created dedicated bugs in both Github Retweet and db2twitter bug tracking systems for people contributing to a Free and Open Source Software. Retweet won its first external contributions thanks to that system :)

• db2twitter 0.3 Debian package now in Debian Sid
• retweet 0.6 Debian package now in Debian Sid

• feedDiasp does not work with Diaspora 0.5.4.0 any more break Journal du hacker forwarding to D* :(

• l2-cache-size: maximum size of the L2 table cache
• refcount-cache-size: maximum size of the refcount block cache
• cache-size: maximum size of both caches combined

1. Both the L2 and refcount block caches must have a size that is a multiple of the cluster size.
2. If you only set one of the options above, QEMU will automatically adjust the others so that the L2 cache is 4 times bigger than the refcount cache.

• The qcow2 file specification, from the QEMU repository.
• qcow2 L2/refcount cache configuration, the original text this post is based on. It also covers the refcount block cache.
• The reinvention of qcow2, a presentation (slides and video) by Kevin Wolf at KVM Forum 2011.
• qcow2 why (not)?, a presentation (slides and video) by Max Reitz and Kevin Wolf at KVM Forum 2015.

Changes in RcppArmadillo version 0.6.400.2.0 (2015-12-15)

• Upgraded to Armadillo 6.400.2 ("Flying Spaghetti Monster Deluxe")
  • expanded each_col(), each_row() and each_slice() to handle C++11 lambda functions
  • added ind2sub() and sub2ind()
  • fixes for corner cases in gmm_diag class

Changes in RcppArmadillo version 0.6.300.2.2 (2015-12-12)

• Upgraded to Armadillo 6.300.3-test ("Flying Spaghetti Monster")
  • Additional test in auxlib_meat.hpp for limited LAPACK
• Updated test and #define for limited LAPACK version R might be built with on Unix-alike systems

This post by Dirk Eddelbuettel originated on his Thinking inside the box blog. Please report excessive re-aggregation in third-party for-profit settings.

systemctl set-property systemd-nspawn@container.service  CPUACCounting=1 CPUShares=200

# 50-CPUAccounting.conf
[Service]
CPUAccounting=yes
# 50-CPUShares.conf
[Service]
CPUShares=200

set-property NAME ASSIGNMENT...

Set the specified unit properties at runtime where this is supported. This allows changing configuration parameter properties such as resource control settings at runtime. Not all properties may be changed at runtime, but many resource control settings (primarily those in systemd.resource-control(5)) may. The changes are applied instantly, and stored on disk for future boots, unless --runtime is passed, in which case the settings only apply until the next reboot. The syntax of the property assignment follows closely the syntax of assignments in unit files. Example: systemctl set-property foobar.service CPUShares=777

Note that this command allows changing multiple properties at the same time, which is preferable over setting them individually. Like unit file configuration settings, assigning the empty list to list parameters will reset the list.