4 ms·
Hyperfunctions
- deleted 6y ago[deleted]
- TheRealPomax 6y agoThis would be so much nicer if it didn't use font size: 10px for the parts the author presumably wants people to be able to read. Even just removing the font-size for <p> and <code> makes it so much better, just leave them as the default browser sizes: no matter how good your post, it's not much use if people close the tab because it's too hard to read.
- tln 6y agocmd-+ is your friend! The body text of the article (15px) is larger than HN comments, fwiw (9pt = 12px)
- BerislavLopac 6y ago> cmd-+ is your friend And Firefox reader view even more! ;)
- prionassembly 6y agoThe author is giving incredible content for free, though. I don’t think minds on that level should waste time with formatting.
- oh_sigh 6y agoIronic considering major scholarly paper writers for the past 40 years have probably had to deal with Latex.
- prionassembly 6y agoIt's weird that programming languages (or at least languages like Haskell, Idris, Agda) don't have "typeset" versions that are easier on the eye of seasoned mathematical readers. I know before Haskell was Squiggol, but Squiggol is almost comically terse. When we're discussing a math whiteboard we verbalize symbols. This over that inverse. I had a calculus teacher who pronounced $\partial$ as "derron, derram" something and it took me ten years to realize this probably meant deRham. Anyway, programming languages (when derived from first principles or whatever, at least, but probably also for languages like Rust with schizo rhizome generics) could be thought as a more formal verbalization of a symbolic logico-algebraic notation -- even if the latter is a bit of an ambiguous idealization, much like what newbies learn before getting their hands wet. I mean, maths in general is like this.
- Y_Y 6y agoWhat an awesome article. I wonder why this construction isn't more well-known.