Solutions by application of lemmas unnamed, bullet points forgotten. Theorems imported from other papers that need five to ten minutes of hunting down if you want to check them…
The more proper math papers I read the more baffled I am that most mathematicians seem to prefer this to mechanized proofs. This mixture of human language and formalism. Instructions for reconstructing their proof in your head; in small type as mutilated prose. How can anybody seriously attempt to keep this in their head?
But then I've already forgot what the start of this sentence is and one line of my code will contain at least three typos, so maybe my limitations are special.
Welp; turns our I didn't need to replace my ten year old laptop after all…deleting snapshots older than four years was perfectly sufficient to get everything running smoothly again!
On the whole though, I just noticed from syncoid being slow…
"the function is usually called F-Function"
tau subscript big T. You have just got to be shitting me.
Servers with full disk encryption…such fun…
With a pretty pretty pret-ty vim config and her fast typing fingers on the key-board quick.
To the great and greater code and encoder flew the vicious bug of the syntax error.
What a hell-or is this just another day to slay the bug for one and all the time. But,
mine is the inquisitive fool is a pool of tools that make me drool for the cool and cooler res-oolts.
Do I have to do everything myself? In case you would like to import the IACR Events list into your calendar.
Am 28.04. ab 19 Uhr gibt es einen Vektorgraphik Workshop: Logo- und Stickerdesign mit Inkscape (Online per bbb-Konferenz)
In einem Workshop wollen wir sowohl blutigen Anfänger:innen als auch Vollblut-Programmierer:innen den Einstieg ins Grafikdesign ermöglichen und den Teilnehmenden dabei helfen, mit dem Design ihres ersten Logos oder Stickers zu beginnen.
Weitere Infos unter:
Karolin Varner (she/her). Queer Pope. Wednesday Friday Addams is my primary pokemon. Chaotic good engineer.
chaos.social – a Fediverse instance for & by the Chaos community