Lu Maltsis :blobcat3c:
lmaltsis@infosec.exchange
<p>PhD student in Computer Science at the University of Manchester<br /><a href="https://lmaltsis.github.io/" target="_blank" rel="nofollow noopener" translate="no"><span class="invisible">https://</span><span class="">lmaltsis.github.io/</span><span class="invisible"></span></a></p><p>Formal Methods, Proof Assistants, Software Security</p><p>they/them</p>
Posts
-
Post #4247658
Dear reader if I had more time, I would've written a shorter paper
-
Post #4037728
The tab icons for Overleaf and Compiler Explorer are far too similar (green) Come to think of it, if Compiler Explorer adds a .tex frontend they could be the same...
-
Post #1388148
I know it is probably well-known in my circles but for anyone who is interested in compiler design, proof assistants and types https://counterexamples.org/ is an absolutely delightful read. I was so full with glee reading it for the first time.