41–50 of 50 posts
Earlier quoted context omitted.
PDF uses postscript, which is Turing equivalent. It's a document format with the halting problem.
That is not a realistic concern for GP. The scanned exams won't even involve any Postscript.
Earlier quoted context omitted.
> There are many evolutionary layers and no formal specification or verification; There is a specification, but it's very complicated.
PDF uses postscript, which is Turing equivalent. It's a document format with the halting problem.
Earlier quoted context omitted.
PDF uses postscript, which is Turing equivalent. It's a document format with the halting problem.
Postscript files are often rendered into PDF, but PDF doesn't use postscript.
Very roughly speaking (this is a semantic debate where everyone is wrong from someone else's perspective), a PDF file is a restricted subset of Postscript, with added indexes so one can render pages in the middle without having to process the code from the beginning.
The hardship in generating PDFs from scratch is getting those indexes right. It's far easier to convert a Postscript file using standard tools.
Earlier quoted context omitted.
Postscript files are often rendered into PDF, but PDF doesn't use postscript.
See dunham's answer. Anyone who has seen a PDF file in text form would swear they're looking at Postscript. There's a common intersection that's identical. Very roughly speaking (this is a semantic debate where everyone is wrong from someone else's perspective), a PDF file is a restricted subset of Postscript, with added indexes so one can render pages in the middle without having to process the code from the beginni…
I am a math professor with a scanned exam grading workflow that I hacked together as Bash scripts using various open source command line tools. I feed all the exams through a sheet-fed scanner, decode bar codes to identify problems and students, add radio buttons for entering and tracking scores (0-6 per problem), and create PDF "books" per problem for grading and annotating. Having grad students help grade paper is…
Earlier quoted context omitted.
Postscript files are often rendered into PDF, but PDF doesn't use postscript.
See dunham's answer. Anyone who has seen a PDF file in text form would swear they're looking at Postscript. There's a common intersection that's identical. Very roughly speaking (this is a semantic debate where everyone is wrong from someone else's perspective), a PDF file is a restricted subset of Postscript, with added indexes so one can render pages in the middle without having to process the code from the beginni…
Earlier quoted context omitted.
Perhaps you might be interested in the Zesje project: https://gitlab.kwant-project.org/zesje/zesje
More information: https://sandbox.grading.quantumtinkerer.tudelft.nl/ , https://zesje.tudelft.nl/about/ It sounds like it's still mostly a prototype?
I was briefly involved as a developer several years ago (as part of my bachelor's thesis). At that time, it was mostly beta-quality, but it was already in use by multiple professors for grading. I haven't been involved with the project since, so I'm not sure about the current status.
I think the homepage [1], which you linked to and where it mentions that it's still a prototype, is at least somewhat outdated; it has a screenshot of a very old version of the software. At least the 'support' section still looks accurate, though.
If you're interested in using it, I would advise getting in touch via the Mattermost channel or mailing list (both linked to from the homepage [1]) and asking about the current state of the project. Tell them Jamy sent you :)
I am a math professor with a scanned exam grading workflow that I hacked together as Bash scripts using various open source command line tools. I feed all the exams through a sheet-fed scanner, decode bar codes to identify problems and students, add radio buttons for entering and tracking scores (0-6 per problem), and create PDF "books" per problem for grading and annotating. Having grad students help grade paper is…
It is licensed AGPL+Commercial but if you just use it for yourself, this does not matter as you can use the AGPL.