Skip to content

Instantly share code, notes, and snippets.

View laserbat's full-sized avatar

Olga Ustiuzhanina laserbat

90 followers · 7 following
View GitHub Profile
@laserbat
laserbat / 01_readme.md
Last active September 8, 2026 14:24
Candidate FCRS

Candidate FCRS for presentations $\langle a, b \mid bUa=a \rangle$

This gist contains some artifacts relating to an experimental completion-like procedure for monadic one relation monoid presentations.

This procedure, if it succeeds, produces a locally confluent rewriting system with the following property: if such system is terminating, its normal forms are precisely the lexicographically minimal representatives of monoid elements under the generator ordering $a < b.$

Because of this, a termination proof of such rewriting system implies that the congruence class of each monoid element contains a minimum under the standard lexicographic ordering on words.

Data

@laserbat
laserbat / rewrites.txt
Created August 18, 2026 01:06
% < x,a,b | ab=a, ab=x >
a -> x
xb -> x
% < x,a,b | bab=a, ab=x >
a -> bx
x²b -> bx²
bxb -> x
% < x,a,b | abbab=a, ab=x >
@laserbat
laserbat / esolang.py
Created February 16, 2026 18:38
#!/usr/bin/python3
from __future__ import annotations
import copy
import string
from collections.abc import Callable
from enum import Enum, auto
from functools import cached_property
from types import MappingProxyType
@laserbat
laserbat / equiv.hs
Created February 16, 2026 18:20
data a <-> b = Arp (a -> b) (b -> a)
arp :: (a -> b) -> (b -> a) -> a <-> b
arp = Arp
(.>) :: (a <-> b) -> (a -> b)
(.>) (Arp a _) = a
(.<) :: (a <-> b) -> (b -> a)
(.<) (Arp _ b) = b
@laserbat
laserbat / 6x6.jsonl
Created March 11, 2025 04:55
This file has been truncated, but you can view the full file.
{"F":[[1,2,3,4,5,6],[2,1,4,3,6,5],[3,4,5,6,1,2],[4,3,6,5,2,1],[5,6,1,2,3,4],[6,5,2,1,4,3]],"G":[[1,2,3,4,5,6],[2,3,5,6,1,4],[3,6,1,2,4,5],[4,5,2,1,6,3],[5,4,6,3,2,1],[6,1,4,5,3,2]]}
{"F":[[1,2,3,4,5,6],[2,1,4,3,6,5],[3,4,5,6,1,2],[4,3,6,5,2,1],[5,6,1,2,3,4],[6,5,2,1,4,3]],"G":[[1,2,3,4,5,6],[2,3,5,6,1,4],[3,6,2,1,4,5],[4,5,1,2,6,3],[5,4,6,3,2,1],[6,1,4,5,3,2]]}
{"F":[[1,2,3,4,5,6],[2,1,4,3,6,5],[3,4,5,6,1,2],[4,3,6,5,2,1],[5,6,1,2,3,4],[6,5,2,1,4,3]],"G":[[1,2,3,4,5,6],[2,3,5,6,1,4],[3,6,2,5,4,1],[4,5,1,3,6,2],[5,4,6,1,2,3],[6,1,4,2,3,5]]}
{"F":[[1,2,3,4,5,6],[2,1,4,3,6,5],[3,4,5,6,1,2],[4,3,6,5,2,1],[5,6,1,2,3,4],[6,5,2,1,4,3]],"G":[[1,2,3,4,5,6],[2,3,5,6,1,4],[3,6,4,5,2,1],[4,5,2,1,6,3],[5,1,6,3,4,2],[6,4,1,2,3,5]]}
{"F":[[1,2,3,4,5,6],[2,1,4,3,6,5],[3,4,5,6,1,2],[4,3,6,5,2,1],[5,6,1,2,3,4],[6,5,2,1,4,3]],"G":[[1,2,3,4,5,6],[2,3,5,6,4,1],[3,5,1,2,6,4],[4,6,2,3,1,5],[5,4,6,1,2,3],[6,1,4,5,3,2]]}
{"F":[[1,2,3,4,5,6],[2,1,4,3,6,5],[3,4,5,6,1,2],[4,3,6,5,2,1],[5,6,1,2,3,4],[6,5,2,1,4,3]],"G":[[1,2,3,4,5,6],[2,3
@laserbat
laserbat / lc0.config
Created November 19, 2022 13:54
Maia chess config
threads=1
task-workers=0
out-of-order-eval=false
max-prefetch=0
minibatch-size=1
nncache=0
smart-pruning-factor=0
@laserbat
laserbat / oscillators.c
Created June 16, 2022 21:40
#include <complex.h>
#include <stdbool.h>
#include <stdint.h>
#include <stdio.h>
#include <stdlib.h>
#include <tgmath.h>
#define SR 44100
#define SIMPLE_HARMONIC
@laserbat
laserbat / new_ca.c
Created June 9, 2022 12:27
#include <stdbool.h>
#include <stdint.h>
#include <stdio.h>
#include <stdlib.h>
#include <time.h>
#define W (1080 / 2)
#define H (1920 / 2)
#define MAX_HEADER 128
@laserbat
laserbat / life2.c
Created June 7, 2022 13:38
#include <stdbool.h>
#include <stdint.h>
#include <stdio.h>
#ifdef __SIZEOF_INT128__
typedef __uint128_t block_t;
#else
#warning "128-bit integers not supported, using 64-bit blocks!"
typedef uint64_t block_t;
#endif
@laserbat
laserbat / day_15.py
Created December 15, 2021 15:17
#!/usr/bin/python3
from collections import defaultdict
with open("input.txt", "r", encoding="utf8") as file:
data = [[int(char) for char in line.strip()] for line in file.readlines()]
S = 5
W, H = len(data), len(data[0])