🦞🌯 Lobster Roll

Abstract: "In a computer program, basic functionalities may be implemented using bit-wise operations. To formally specify the expected behavior of such a lowlevel program, it is desirable that the specification should be at a more abstract level. Formally proving that low-level code conforms to a hi...

Just a small library I wrote inspired by some concurrency patterns I found myself using often in Go, as well as some articles I read on lobste.rs

When teaching someone programming for the first time, is it better pedagogy for them to learn a lower level language or a higher level language first? Both in terms of understanding and motivating them to continue learning to code. I was inspired to ask this question after listening to Casey Mura...

Abstract: Python is one of the most popular programming languages among both industry developers and malware authors. Despite demand for Python decompilers, community efforts to maintain automatic Python decompilation tools have been hindered by Python's aggressive language improvements and unsta...