CapacitorSet

import itertools
from ortools.sat.python import cp_model

settimana = ("lun", "mar", "mer", "gio", "ven", "sab", "dom")
slots = ("7:00", "9:00", "12:00", "16:00", "19:30")
categorie = (
    "news",
    "trucchi",
    "accadde",
    "proverbi",

CapacitorSet

If you need an overview of what credentials Jenkins uses to clone repositories, you'll find that the Jenkins API is a bit convoluted. This is what I did instead:

1. From a Windows machine, access Jenkins as a UNC share and dump its contents:

Get-ChildItem -Path \\my-jenkins-instance\*\config.xml | ForEach-Object { $targetPath = "C:\Users\me\Desktop\jenkins\" + $_.Directory.Name + "_" + $_.Name;  $_ | Copy-Item -Destination $targetPath -Force }

The output will be a zip file with XML files containing job configurations. The filename contains the project name (as that information is not otherwise contained in the XML file).

CapacitorSet

You can use cgroups to cap the CPU usage of processes. Thus, you can make the shader compilation process use less CPU and produce less heat, in exchange for longer compilation times.

Requires: Linux, a somewhat recent kernel, possibly a package for cgcreate.

sudo cgcreate -g cpu:/slow # Create a CPU cgroup
sudo cgclassify -g cpu:slow $(pidof fossilize_replay) # Move all shader compilation processes to the cgroup
sudo cgset -r cpu.max='2000000 1000000' slow # Cap the CPU usage (in this case: to 2 CPUs)

CapacitorSet

solids = set()
solids_y = dict()
part1 = False

def parse_coord(coord):
    x, y = coord.split(",")
    return int(x), int(y)

with open("input") as file:
    for line in file:

CapacitorSet

Compiling ALPHA support on gem5

To build support for ALPHA on gem5 you essentially need to compile v19 in the correct environment, which can be difficult due to Python incompatibilities. Here are the steps I took:

git clone https://github.com/ArturKlauser/gem5-dev

Apply this patch to gem5-dev/docker/gem5-dev.sh:

CapacitorSet

void add8(gb::bitvec<8> out, bit_t overflow, const gb::bitvec<8> a,
          const gb::bitvec<8> b) {
	bit_t _00_ = make_bit();
	_nor(_00_, a[7], b[7]);
	bit_t _01_ = make_bit();
	_nand(_01_, a[6], b[6]);
	bit_t _02_ = make_bit();
	_nand(_02_, a[5], b[5]);
	bit_t _03_ = make_bit();
	_nand(_03_, a[4], b[4]);

CapacitorSet

package main

import (
	"log"
	"net/http"
	"os"
	"os/exec"

	"gopkg.in/go-playground/webhooks.v5/github"
)

CapacitorSet

// https://www.snmpsharpnet.com/?p=153
oid := []uint32{
  uint32(oidBytes[0]) / 40,
  uint32(oidBytes[0]) % 40,
}
for i := 1; i < len(oidBytes); {
  bbyte := oidBytes[i]
  // Short form
  if bbyte & 0x80 == 0 {
    oid = append(oid, uint32(bbyte))

CapacitorSet

// A standalone script that replicates the preprocessing stage in box-js.

const unsafe = true;
const code = require("fs").readFileSync(process.argv[2], "utf8");
const result = require("uglify-es").minify(code, {
	compress: {
		passes: 3,

		booleans: true,
		cascade: true,

CapacitorSet

; Note: this is my first AutoIt script, which I archived for historical reasons.

#cs ----------------------------------------------------------------------------

 AutoIt Version: 3.3.6.0
 Author:         myName

 Script Function:
	Template AutoIt script.