Skip to content

Instantly share code, notes, and snippets.

View zelinskiy's full-sized avatar

Nikita M. Yurchenko zelinskiy

View GitHub Profile
@zelinskiy
zelinskiy / gist:c85f6d8e4f5e57f8eb959c43abc10c42
Created September 22, 2023 19:41
Secret room hacking log
10-10-24-5-18-14-13-24
https://suchalkin.wixsite.com/greek/klyuchi
“I beseech thee, O queen,—a goddess art thou, or art thou mortal?
If thou art a goddess, one of those who hold broad heaven,
to Artemis, the daughter of great Zeus,
do I liken thee most nearly in comeliness and in stature and in form.
γουνοῦμαί σε, ἄνασσα· θεός νύ τις ἦ βροτός ἐσσι;
p = {{0, 0.5, 0.5}, {0.25, 0.5, 0.25}, {0.25, 0.25, 0.25}}
P = {{0, 0.5, 0, 0, 0, 0.5, 0, 0, 0},
{0.33, 0, 0.33, 0, 0.33, 0, 0, 0, 0},
{0, 0.5, 0, 0.5, 0, 0, 0, 0, 0},
{0, 0, 0.33, 0, 0.33, 0, 0, 0, 0.33},
{0, 0.25, 0, 0.25, 0, 0.25, 0, 0.25, 0},
{0.33, 0, 0, 0, 0.33, 0, 0.33, 0, 0},
{0, 0, 0, 0, 0, 0.5, 0, 0.5, 0},
{0, 0, 0, 0, 0.33, 0, 0.33, 0, 0.33},
from datetime import date, timedelta
import urllib.request, urllib.error, urllib.parse
import re, os
# TODO:
# Ad libitum
# Psalmodia complementaris
def hora_name(n):
if n == 2:
@zelinskiy
zelinskiy / index.css
Last active April 26, 2020 22:44
For printing Nepenenoyka lap harp music
#canvas {
border-style: solid;
width: 60vw;
}
Versus de Passione D.N.J.C.
Amíci mei et próximi mei: * advérsum me appropinquavérunt et stetérunt.
Tráditus sum et non egrediébar:* óculi mei languérunt præ inópia.
Et factus est sudor meus: * sicut guttæ sánguinis decurréntis in terram.
Circumdedérunt me canes multi:* concílium malignántium obsédit me.
from os import listdir
DIR = "./Martyrologium1960"
months = ["_Jan_", "_Feb_", "_Mar_", "_Apr_", "_May_", "_Jun_", "_Jul_", "_Aug_",
"_Sep_", "_Oct_", "_Nov_", "_Dec_"]
files = []
for f in listdir(DIR):
if f.endswith(".txt"):
#!/bin/sh
# +AMDG This document was begun just before Christmas,
# 2010, and it is humbly dedicated to St. Wulfric, patron of
# bookbinders, and to the Immaculate Heart of Mary for their
# prayers, and to the Sacred Heart of Jesus for His mercy.
#
#**********************************************************#
# makebook #
# written by Donald P. Goodman III #
# Copyright (C) 2011 #
#!/bin/bash
# usage:
# $ sh mksigs.sh 24 input.pdf
D=$1
INPUT=$2
I=1
N=$(qpdf --show-npages $INPUT)
SIGN=1
mkdir out_$INPUT
<< front >>
13 12
4 5
1 8
16 9
back
11 14
6 3
7 2
10 15
package org.jmlspecs.samples.jmltutorial;
public class Person {
private /*@ spec_public non_null @*/ String name;
private /*@ spec_public @*/ int weight;
/*@ public invariant !name.equals("")
@ && weight >= 0; @*/
/*@ also