MartinRogalla

Situation

Had a small issue with a locale when building servo/servo. I'll share this, in case someone else has the same issue.

brew install automake pkg-config python cmake yasm
pip install virtualenv

brew install openssl

MartinRogalla

#!/bin/bash
# Google Cloud Dynamic DNS
# Run this under some kind of cron/timer job.

IP="$(dig +short myip.opendns.com @resolver1.opendns.com)"
ZONE_NAME="com-yourdomain"
DNS_NAME="dynamic-dns-entry.yourdomain.com"

gcloud dns record-sets list -z=$ZONE_NAME --name=$DNS_NAME --type=A --format='value(name,type,ttl,rrdatas)' | while read name type ttl data ; do
	LAST_IP=$data

MartinRogalla

Keybase proof

I hereby claim:

• I am martinrogalla on github.
• I am martinrogalla (https://keybase.io/martinrogalla) on keybase.
• I have a public key ASAt6_ovwmSNc03ARSUz0r4WB-at-_O3IGKH0cE_qCOsxwo

To claim this, I am signing this object:

MartinRogalla

Artemis - Automated tester for JavaScript
Started: Tue Oct 4 09:29:17 2016
Compilation date: 07-09-2016_09:57:35
-----


 .                                1 
============= New-Iteration =============
--------------- WORKLIST ----------------

MartinRogalla

Yices Lite 1.0 JNI for OSX

Using the files attached in a Yices-Help Mailing List thread, I was able to compile a Yices 1.0 Lite library for OSX that supports JNI (http://atlantis.seidenberg.pace.edu/wiki/lep/Yices_Java_API_Lite). Just thought to post the resulting library here, if someone else needs it.

Cheers,

Martin Rogalla

MartinRogalla

Monthly added GitHub repositories

Get access to the GitHub archive BigQuery dataset.

Run the following query, update the regex if needed.

SELECT STRFTIME_UTC_USEC(repository_created_at, '%Y-%m') as month,
COUNT(repository_url)
FROM
 (SELECT repository_created_at, repository_url

MartinRogalla

import lombok.extern.slf4j.Slf4j;
import org.openqa.selenium.JavascriptExecutor;
import org.openqa.selenium.WebDriver;
import org.openqa.selenium.chrome.ChromeDriver;

@Slf4j
public class MinimalExample {

	public static void main(String[] args) {
		System.setProperty("webdriver.chrome.driver", "/path/to/chromedriver");

MartinRogalla

Keybase proof

I hereby claim:

• I am martinrogalla on github.
• I am martinrogalla (https://keybase.io/martinrogalla) on keybase.
• I have a public key whose fingerprint is 814E 429B A180 8627 D150 B02F 1F77 69D3 5C6B A83A

To claim this, I am signing this object:

MartinRogalla

Example of referencing in GitHub Markdown

I want to reference something in this sentence.^[1]

Bibliography

[1] - Frenking, Gernot, and Andreas Krapp. "Unicorns in the world of chemical bonding models." Journal of computational chemistry 28.1 (2007): 15-24.

MartinRogalla

#Testing and Refactoring - Alitheia Core In this report we describe and discuss the refactoring changes made to Alitheia Core and present a plan for future refactoring. The most important part of the refactoring of Alitheia Core is to make it more maintainable and attractive for developers to use and develop plugins.

The report is structured as follows. First we discuss the provided test suite, then we describe the refactoring processes of various Alitheia Core components. The report is finalized by summarizing the overall progress made and giving future recommendations regarding further refactoring of Alitheia Core.

##Provided Test Suite The provided test suite set up in the project did not work as expected. There were a couple of issues:

• eu.sqooss.test.service.scheduler.SchedulerTest runs forever because the tearDown method is stuck in an infinite loop. The Scheduler test cases do not get along with the Scheduler implementation because the test cases assume that the scheduler have no waiting jobs af