koo5

r

koo5

Evidence:
#>...
"^^http://www.w3.org/2001/XMLSchema#string  #file_contents "short.natural3"  <= 
     => #file_contents(#>...
"^^http://www.w3.org/2001/XMLSchema#string() ,"short.natural3"())
     => #parser(#integer() ,#language())
     => #parse(_:b5() ,.(#>...
"^^http://www.w3.org/2001/XMLSchema#string() ,.(#integer() ,.())))
     => #arg0(_:b5() ,_:b4())

koo5

kook@idea ~/C/tauchain> cat n3test2.nq 
:x a :y .
:x a :z .
fin.
:x a :y .
:x a :z .
fin.
kook@idea ~/C/tauchain> env LD_PRELOAD=libmarpa/dist/.libs/libmarpa.so ./tau --level 1 --shorten < n3test2.nq
kb input done.
query loaded.

koo5

# 1 "univar.cpp"
# 1 "<built-in>" 1
# 1 "<built-in>" 3
# 343 "<built-in>" 3
# 1 "<command line>" 1
# 1 "<built-in>" 2
# 1 "univar.cpp" 2
# 1 "/usr/lib/gcc/x86_64-linux-gnu/4.9/../../../../include/c++/4.9/functional" 1 3
# 47 "/usr/lib/gcc/x86_64-linux-gnu/4.9/../../../../include/c++/4.9/functional" 3

koo5

<"--level 100 --nocolor --silence addrules --silence readcurly --silence quad::ctor "
level:100
<""
<""
silence:addrules 
<""
silence:addrules readcurly 
<""
silence:addrules quad::ctor readcurly 
<"kb

koo5

kook@idea ~/test> cat args.cpp 
#include <iostream>

int main ( int argc, char** argv) {
	for(int i=1;i<argc;i++){
		std::cout << argv[i] << std::endl;}
}⏎
kook@idea ~/test> ./a.out a b a-b "fff" ~/Documents/Online\ Research\ Tools.pdf 
a
b

koo5

#include <iostream>

int a = 1;
int f(int i)
{
	std::cout << "f" << i;
	return i * 2;
}

int g(int x = f(a))

koo5

koom@koom-Standard-PC-i440FX-PIIX-1996 ~/w/webofneeds> 
mvn install -P skip-frontend,skip-matcher-uberjar,skip-bot-uberjar,skip-matcher-rescal-uberjar,skip-node-webapp-war,skip-owner-webapp-war,skip-tests
Warning: JAVA_HOME environment variable is not set.
[INFO] Scanning for projects...
[INFO] ------------------------------------------------------------------------
[INFO] Reactor Build Order:
[INFO] 
[INFO] Web of Needs Main
[INFO] Core
[INFO] Facet Modules

koo5

FROM ubuntu:18.04


# install and set up locale stuff
env LOC en_AU.UTF-8
RUN apt-get update \
    && DEBIAN_FRONTEND=noninteractive apt-get install -y locales language-pack-en \
    && sed -i -e 's/# $LOC UTF-8/$LOC UTF-8/' /etc/locale.gen \
    && dpkg-reconfigure --frontend=noninteractive locales \
    && update-locale LANG=$LOC

koo5

7eb68185b3d71c9712b0ae51d16a2ee778e8aef0

..

> gcc -v
Using built-in specs.
COLLECT_GCC=gcc
COLLECT_LTO_WRAPPER=/usr/lib/gcc/x86_64-linux-gnu/7/lto-wrapper
OFFLOAD_TARGET_NAMES=nvptx-none