News for hackers. Stuff that matters.

A comment on Julia 1.0. Parent comment

Re:Julia 1.0 by mi_lk on Friday August 10, 2018 @08:54AM (#17732787)
Off-topic, but how do you type footnote-style number?
[ Parent | on HN ]
Re:Julia 1.0 by KenoFischer on Friday August 10, 2018 @09:24AM (#17732968)
Open a julia editor or the julia repl, type `\^1<tab>` and copy and paste the unicode superscript ¹ into your post. Or whatever else your preferred method of getting unicode characters is ;).
[ Parent | on HN ]
Re:Julia 1.0 by rrock on Friday August 10, 2018 @12:06PM (#17734565)
I see I'm not the only one that uses the Julia REPL to get unicode characters!
[ Parent | on HN ]