How I look at my advisor when he asks me if I’m on track for the OOPSLA deadline
forgetful functor
@lowpassfilter.bsky.social
136 followers 408 following 27 posts
cs researcher at the intersection of programming languages, automated reasoning, and machine learning.
![The tropical semiring has various applications (see tropical analysis), and forms the basis of tropical geometry. The name tropical is a reference to the Hungarian-born computer scientist Imre Simon, so named because he lived and worked in Brazil.[1]](https://cdn.bsky.app/img/feed_thumbnail/plain/did:plc:rrrww6v5fvzwriip7l65nxlt/bafkreidd3rotjxknduhmvvps4hlkopywrpsr7vfygdu5osfmfrbbrwxv3a)
![Screenshot of a wikipedia article with the text: A border is suffix and prefix of the same string, e.g. "bab" is a border of "babab" (and also of "baboon eating a kebab").[citation needed]](https://cdn.bsky.app/img/feed_thumbnail/plain/did:plc:rrrww6v5fvzwriip7l65nxlt/bafkreihqvgkbv5z7lr7njhzmn2oving2ldqrbwbxz33ipiyytpw5qbzlua)