| who | permacomputing, c, algorithmic art, livecoding |
| what | teaching computer science, university of leeds |
| where | leeds, uk |
I've always had a sort of low-level hatred and appreciation for LaTeX. I've been thinking recently it would be cool to just write maths in plain-text, I've even made some diagrams and whatnot with ASCII.
Turns out Plan9 has some hotkeys for unicode stuff, including some maths symbols!
cat /lib/keyboard
(Notes from "All of Statistics")
Look upon my Farkle and despair...
I made a version of Farkle (https://en.wikipedia.org/wiki/Farkle) on my website. As much as I hate the modern web, it is nice having a usable GUI system for fun projects
I hope this site is accessible, I've added aria-labels and tried to use semantic HTML (if anyone spots anything please let me know!)
Might try some more little board games at some point
(Feedback always welcome)
Doing dangerous multi-set things...This is definitely C and not a Turing Machine I swear ._.
(Makes ridiculous use of the fact that ASCII is actually only a 7-bit encoding, meaning that you can negate a char to "mark" it)
You encounter 4 grinning cats, they seem to know something you don't...
(I will leave them in the Bragg building, for those who know what that is)
Well, I am going to call this a success (I love operator overloading)
I think the only thing I am not completely happy with is the fact that it doesn't actually "return" anything. When an assumption is discharged it is deleted, and an implication is inserted. So there is essentially no record of it at the end
The code does however give an assert if an illegal operation was attempted, or the desired goal was not reached at the end (it is essentially a proof assistant)
Been teaching first year logic (using Fitch Diagrams), so obviously I had to try and implement some of it in Python :)
This example essentially shows:
if (not P1 or P2) then (P1 implies P2)
The output on the right is updated at each step of the proof
Not bad for a few hours with a gin though, quite happy with my OOP (ew)
