Skip to content

Instantly share code, notes, and snippets.

View NatKarmios's full-sized avatar
⚗️
Research engineering at Imperial College

Nat Karmios NatKarmios

⚗️
Research engineering at Imperial College
View GitHub Profile
@NatKarmios
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
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
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
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
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
abacc
ablewhaccets
ablocc
abococcet
abovedecc
abricocc
achecc
acc-acc
accee
accees
@NatKarmios
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
NatKarmios / timetable.txt
Created March 24, 2018 15:14
CS + Maths timetable
__________████████_____██████
_________█░░░░░░░░██_██░░░░░░█
________█░░░░░░░░░░░█░░░░░░░░░█
_______█░░░░░░░███░░░█░░░░░░░░░█
_______█░░░░███░░░███░█░░░████░█
______█░░░██░░░░░░░░███░██░░░░██
_____█░░░░░░░░░░░░░░░░░█░░░░░░░░███
____█░░░░░░░░░░░░░██████░░░░░████░░█
____█░░░░░░░░░█████░░░████░░██░░██░░█
___██░░░░░░░███░░░░░░░░░░█░░░░░░░░███
@NatKarmios
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) {

EQP Draft

My frist draft question for my EPQ:

"How does functional programming in multi-paradigm languages (e.g. Java, Python) compare to purely functional languages?"

My first choice supervisor:

Mr Dawkins