Skip to content

Instantly share code, notes, and snippets.

unpacking sources
unpacking source archive /nix/store/9hkss1sjxmxi6206ldjn96kkbbhd5xg1-libconfig-1.7.2.tar.gz
source root is libconfig-1.7.2
setting SOURCE_DATE_EPOCH to timestamp 1515214337 of file libconfig-1.7.2/contrib/chained/libconfig_chained.h
patching sources
fixing libtool script ./aux-build/
configure flags: --disable-dependency-tracking --prefix=/nix/store/zg5h6jcl1lncp82jzr52qs0rlwng1gbj-libconfig-static-x86_64-w64-mingw32-1.7.2 --disable-examples --disable-shared --enable-static --disable-shared --build=x86_64-unknown-linux-gnu --host=x86_64-w64-mingw32
checking build system type... x86_64-unknown-linux-gnu
checking host system type... x86_64-w64-mingw32
nixpkgs.overlays = [ ( self: super: {
matomo = super.matomo.overrideDerivation (attrs: {
src2 = super.fetchurl {
url = "";
sha256 = "1kf4brki4v5kl7cxn4i8fifdw2bd004r4y62nb6ingay3592xnwh";
postUnpack = ''
const jsdom = require("jsdom");
const { JSDOM } = jsdom;
var html = process.argv[2];
var dom = new JSDOM(html);
var ary = dom.window.document.getElementsByTagName("a");
if(ary.length >= 1)
environment.systemPackages = with pkgs; [
(haskellPackages.ghcWithHoogle (h: with h; [
# Edit this configuration file to define what should be installed on
# your system. Help is available in the configuration.nix(5) man page
# and in the NixOS manual (accessible by running ‘nixos-help’).
{ config, pkgs, ... }:
imports =
[ # Include the results of the hardware scan.
environment.systemPackages = with pkgs; [
bash-3.2$ stack install Agda --verbose
Version (UNKNOWN commits) X86_64
2015-09-30 01:48:41.593563: [debug] Checking for project config at: /Users/dudicusmafudicus/stack.yaml @(stack_AngJd9xqaHO0MmIKblReWF:Stack.Config src/Stack/Config.hs:466:9)
2015-09-30 01:48:41.597278: [debug] Checking for project config at: /Users/stack.yaml @(stack_AngJd9xqaHO0MmIKblReWF:Stack.Config src/Stack/Config.hs:466:9)
2015-09-30 01:48:41.597397: [debug] Checking for project config at: /stack.yaml @(stack_AngJd9xqaHO0MmIKblReWF:Stack.Config src/Stack/Config.hs:466:9)
2015-09-30 01:48:41.677329: [debug] No project config file found, using defaults. @(stack_AngJd9xqaHO0MmIKblReWF:Stack.Config src/Stack/Config.hs:493:13)
2015-09-30 01:48:41.677838: [info] Run from outside a project, using implicit global config @(stack_AngJd9xqaHO0MmIKblReWF:Stack.Config src/Stack/Config.hs:242:13)
2015-09-30 01:48:41.735287: [info] Using resolver: lts-3.7 from global config file: /Users/dudicusmafudicus/.stack/global/stack.yaml @(stack_Ang
Radvendii / tb_multithread.rb
Last active August 29, 2015 14:27
Termbox Multithreading
require 'termbox'
#Small example that shows multithreading breaks ruby termbox
#if the display thread executes AFTER the tb_poll_event thread, the call to tb_poll_event freezes Termbox, not allowing the display to happen
#if, however, we switch the sleep statements and the display thread executes first, there is no problem.
#This shows that the problem is indeed with the interaction between these two functions
#Press any key to exit program
cpanm (App::cpanminus) 1.6934 on perl 5.014002 built for darwin-2level
Work directory is /Users/taeer/.cpanm/work/1375140179.55793
You have make /usr/bin/make
You have LWP 6.03
You have /usr/bin/tar: bsdtar 2.6.2 - libarchive 2.6.2
You have /usr/bin/unzip
Searching Term::ReadLine::Gnu on cpanmetadb ...
--> Working on Term::ReadLine::Gnu
-> OK
Radvendii / acsl2
Created March 5, 2012 03:35
acsl intermediate contest 2 in one line
# Taeer Bar-Yam
# Commonweath School
# Division Intermediate - 3
# Tested with Rakudo 2012.01
(open('acsl2.txt'){[.split(' ')]} #Read input and split into lines, and split each line into array by spaces (as specified)
).map( #loop over first level array (each line)
[( #array reference (so that the array doesn't flatten)