NatKarmios’s gists

NatKarmios / Redirect to daily note.md

Last active September 16, 2024 21:16

Obsidian: redirect to daily note (for workspaces)

Redirecting to daily note…

throw new Error('testing mode!');  // Comment this out
const vault = app.vault;
const name = dv.current().file.name;
const swapToDaily = (tries) => () => {
    const leaves = [];
    for (const leaf of app.workspace.getLeavesOfType('markdown')) {
        if (leaf.getDisplayText() === name) {
 leaves.push(leaf);

NatKarmios / file.log

Created February 28, 2024 04:44

Gillian verification example log

	* Phase *
	* Phase *
	*** MESSAGE: Adding procedure: i__add.

	*** MESSAGE: Adding procedure: i__lt.

	*** MESSAGE: Adding procedure: i__minus.

	*** MESSAGE: Adding procedure: i__geq.

NatKarmios / plane.py

Created January 20, 2021 22:06

Graphics tutorial solution

	from itertools import permutations

	P1 = (10, 20, 5)
	P2 = (15, 10, 10)
	P3 = (25, 20, 10)

	def crossProduct(v1, v2):
	x = v1[1]v2[2] - v1[2]v2[1]
	y = v1[2]v2[0] - v1[0]v2[2]
	z = v1[0]v2[1] - v1[1]v2[0]

NatKarmios / settings.json

Last active January 17, 2021 23:53

Windows Terminal config

	// This file was initially generated by Windows Terminal 1.0.1811.0
	// It should still be usable in newer versions, but newer versions might have additional
	// settings, help text, or changes that you will not see unless you clear this file
	// and let us generate a new one for you.

	// To view the default settings, hold "alt" while clicking on the "Settings" button.
	// For documentation on these settings, see: https://aka.ms/terminal-documentation
	{
	"$schema": "https://aka.ms/terminal-profiles-schema",

NatKarmios / minim-m.sh

Created October 7, 2019 03:48

Minimize/restore scripts using xdotool (and a dash of dmenu)

	#!/usr/bin/env bash

	# minimizes the currently focused window
	current_window=$(xdotool getactivewindow) && \
	echo $current_window >> ~/.minim && \
	xdotool windowunmap $current_window

NatKarmios / words_end_cc.txt

Last active December 21, 2018 16:10

I did it for the memes, ok?

	abacc
	ablocc
	abovedecc
	abricocc
	achecc
	ack-acc
	a-clocc
	acocc
	acrocc
	Adirondacc

NatKarmios / words_cc.txt

Created December 21, 2018 16:03

CC

	abacc
	ablewhaccets
	ablocc
	abococcet
	abovedecc
	abricocc
	achecc
	acc-acc
	accee
	accees

NatKarmios / PersonalStatement.txt

Created April 1, 2018 19:53

Nat's Personal Statement

	Ever since my first "Hello, world!" when I was 11 year old, I have lived and breathed Computer Science.

	As of Year 7, I have been learning various programming languages in order to better understand the world of computers. Beginning with Codecademy's Python course and fiddling with Minecraft servers and plugins, I am now particularly fluent in Python, Java and JavaScript (along with Linux experience), and I am working on adding C/C++ and Haskell to that list.

	After earning my A* in Computing GCSE a year early, I studied to become an Oracle Certified Associate Java SE 8 Programmer, passing the exam in May 2016. This opened my eyes to how the Java compiler "thinks" about code, and improved my attitude towards code as a developer.

	Of course, my understanding of Computer Science has had practical applications; from personal computer use and entertainment to academics and employment, my prowess with computers has helped me every step of the way.

	I currently work part time for NowComms, a small marketing compan

NatKarmios / timetable.txt

Created March 24, 2018 15:14

CS + Maths timetable

	__________████████_____██████
	_________█░░░░░░░░██_██░░░░░░█
	________█░░░░░░░░░░░█░░░░░░░░░█
	_______█░░░░░░░███░░░█░░░░░░░░░█
	_______█░░░░███░░░███░█░░░████░█
	______█░░░██░░░░░░░░███░██░░░░██
	_____█░░░░░░░░░░░░░░░░░█░░░░░░░░███
	____█░░░░░░░░░░░░░██████░░░░░████░░█
	____█░░░░░░░░░█████░░░████░░██░░██░░█
	___██░░░░░░░███░░░░░░░░░░█░░░░░░░░███

NatKarmios / Debug.java

Created January 22, 2018 16:33

Nat's handy utils classes ;)

	package com.karmios.nat.computingwork.utils;

	@SuppressWarnings("unused")
	public final class Debug {
	public static boolean print(boolean b) {
	System.out.println(b);
	return b;
	}

	public static byte print(byte b) {

Nat Karmios NatKarmios

Redirecting to daily note…