cognitive psychology. PhD 
The full source of the framework and the papers can be found here:https://github.com/willcrichton/nota …
Show this thread
PL papers are hard to read, and LaTeX / PDF doesn't make it easier. So I decided to make the LaTeX of the future. You can check out in my HATRA'21 paper: "A New Medium for Communicating Research on Programming Languages" https://willcrichton.net/nota/ pic.twitter.com/p0yA3nSeOp
-
-
-
Actually, I'm just really tired of dealing with LaTeX and reading SO answers that start like this...pic.twitter.com/gDNip4IQp0
Show this thread
End of conversation
New conversation -
-
-
this is very very cool!! hope i can use nota soon!
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
This is great! In-line annotations are extremely underrated.
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
a. Very cool! b. "would a Nota paper still work properly in 100 or 1,000 years? Such longevity is arguably much more likely for a PDF than a website" Having dealt with numerous PDF backcompat issues in the past, I would bet that neither one will work properly in even 25 years
-
One could make it print to PDF for archiving, and it would be no worse than the status quo
- Show replies
New conversation -
-
-
is there a succinct answer to "why not pandoc?" I've had it pitched to me as a reasonable way forward here
-
for me the question is, "why isn't this an output mode of pandoc?" and i think the answer is in will's paper---it's complicated to do this stuff!
- Show replies
New conversation -
-
-
Ohhh! I always wanted to write papers and formulas with these arrow descriptions!
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
Will! this is so superbly cool!
-
one criticism so far: the "Rest of the grammar..." button in section 3.1 does not appear to work for me on desktop Safari in Big Sur. when I click it, the button slides down a few pixels but no new information is rendered.
- Show replies
New conversation -
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.