Skip to content

Instantly share code, notes, and snippets.

@Gro-Tsen
Gro-Tsen / table.pdf
Last active April 22, 2025 14:22
Satisfaction of some intuitionistic formulas for various Kripke frames
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
@Gro-Tsen
Gro-Tsen / utf8_to_names.pl
Created March 28, 2025 11:32
Convert UTF-8 data to the plaintext numbers and names of Unicode characters
#! /usr/local/bin/perl -w
use strict;
my $unidata = "/usr/share/unicode/UnicodeData.txt" // $ENV{"UNIDATA"};
open F, "<", $unidata or die "Can't open $unidata";
my @unidata;
while (<F>) {
my @l = split /\;/;
my $n = hex($l[0]);
#! /usr/local/bin/perl -w
## A simple example of how to use the Bluesky protocol in Perl.
## Written by David A. Madore on 2024-12-07 -- Public Domain
## This version 2024-12-07
## This program attempts to download all your skeets (Bluesky posts),
## or all your likes on Bluesky, and prints them as a JSON file. This
## is a mere test of the Bluesky protocol or as an illustative example
@Gro-Tsen
Gro-Tsen / 20241120.certbot-dynamic-dns-challenges
Created November 20, 2024 21:44
Commands I used to get a wildcard certificate from letsencrypt under Debian
## Prepare certbot user and dynamic update key:
sudo adduser --system --group --home /var/lib/letsencrypt --shell /usr/sbin/nologin certbot
/usr/sbin/tsig-keygen -a HMAC-SHA256 certbotkey | sudo sh -c 'umask 077 ; cat > /etc/bind/certbotkeys.conf'
sudo chown root:bind /etc/bind/certbotkeys.conf
sudo chmod g+r /etc/bind/certbotkeys.conf
sudo setfacl -m 'u:certbot:r--' /etc/bind/certbotkeys.conf
## Insert the following stanzas in /etc/bind/named.conf.local:
# include "/etc/bind/certbotkeys.conf";
# zone "_acme-challenge.example.net" {
\documentclass[12pt,a4paper]{article} % -*- coding: utf-8 -*-
\usepackage[a4paper,margin=1.5cm]{geometry}
\usepackage[english]{babel}
\usepackage[utf8]{inputenc}
\usepackage[T1]{fontenc}
\usepackage{times}
\usepackage{amsmath}
\usepackage{amsfonts}
\usepackage{amssymb}
\usepackage{amsthm}
\documentclass[12pt,a4paper]{article} % -*- coding: utf-8 -*-
\usepackage[a4paper,margin=1.5cm]{geometry}
\usepackage[english]{babel}
\usepackage[utf8]{inputenc}
\usepackage[T1]{fontenc}
\usepackage{times}
\usepackage{amsmath}
\usepackage{amsfonts}
\usepackage{amssymb}
\usepackage{amsthm}
@Gro-Tsen
Gro-Tsen / taubNUT.m
Created September 30, 2024 09:55
Compute curvature of the Taub-NUT metric
rhosq = r^2 + nut^2
Deltasq = r^2 - 2 M r - nut^2
(* Covariant metric tensor (metric on vectors) *)
g = Simplify[{{-Deltasq/rhosq,0,0,-2 nut Cos[theta] Deltasq/rhosq},{0,rhosq/Deltasq,0,0},{0,0,rhosq,0},{-2 nut Cos[theta] Deltasq/rhosq,0,0,rhosq Sin[theta]^2 - 4 nut^2 Cos[theta]^2 Deltasq/rhosq}}]
(* Contravariant metric tensor (metric on covectors) *)
ginv = Simplify[Inverse[g]]
coords = {t,r,theta,phi}
@Gro-Tsen
Gro-Tsen / tarfilter.pl
Last active September 5, 2024 08:57
Filter selected files in a tar archive
#! /usr/local/bin/perl -w
## This program takes a GNU tar file and produces on the standard
## output another tar file that consists only of the files whose path
## (as stored in the archive) matches the specified pattern. No other
## treatment is performed and the output tar just consists of the
## matching bits of the input tar.
## Options are:
## -v : Print filenames on standard error as they are being treated.
#! /usr/local/bin/perl -w
use strict;
use warnings;
use utf8;
my %results;
my %lists;
my @revlists;
my $nblists = 0;
@Gro-Tsen
Gro-Tsen / desargues-labeled.svg
Last active May 14, 2024 10:15
PoV-ray illustration of the theorem of Desargues in 3D
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.