Giving a guest lecture on Edinburgh’s PL course tomorrow. I’m billed as creator of Idris and Whitespace. Must decide which to talk about.
-
-
Replying to @edwinbrady
@edwinbrady I hear Idris is not whitespace sensitive, implying that Whitespace programs can be embedded within Idris. Solution is obvious.1 reply 0 retweets 0 likes -
Replying to @edwinbrady
@edwinbrady@IPv2 ooohhhh could whitespace be the answer to a stegographic attack vector with source code....1 reply 0 retweets 0 likes -
Replying to @jfdm
@jfdm@edwinbrady I understand that we have until tomorrow to find out...1 reply 0 retweets 0 likes -
Replying to @IPv2
@IPv2@edwinbrady indeed. Theoretically you could have a corrupt idris that takes the whitespace and runs it through a whitespace compiler.2 replies 0 retweets 0 likes
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.