Skip to content

Conversation

novusnota
Copy link
Member

@novusnota novusnota commented Oct 8, 2025

Closes #567

Here's an example:

image

@novusnota
Copy link
Member Author

novusnota commented Oct 8, 2025

There are spelling issues in the whitepapers, attempting to fix all...

UPD: I was also re-doing all the regex ignores as part of the #617, but that task helped discover that almost none are needed, actually. However, there were edge-cases I could not resolve easily enough, and fixing spelling in all files should be one of the last tasks before the actual public release.

Copy link

github-actions bot commented Oct 8, 2025

Thanks for the PR. I reviewed the changes for this branch and found no issues; no fixes are needed.

@novusnota novusnota changed the title feat: link to original pdfs from web versions of whitepapers feat: links to original pdfs from web versions of whitepapers Oct 8, 2025
@novusnota novusnota marked this pull request as draft October 8, 2025 11:07
@novusnota novusnota marked this pull request as ready for review October 8, 2025 13:24
@novusnota
Copy link
Member Author

novusnota commented Oct 8, 2025

TL;DR: This PR is complete despite false-positives in spellchecks.

There are false-positives in whitepaper spellchecks and they cannot be ignored with {/* vale off */} ... {/* vale on */} comments due to some weird issues with Vale when parsing larger files. Like, JSX expressions {JS code} that are placed very early in the file cause some weird regexes (or Vale's parse engine) to fail about 200 lines deeper.

I've tried to debug the issue and modify the configuration (#617) to significantly reduce the number of RegExes, aiming to decrease the rate of false positives and uncover possible overlooked spelling errors. There were a couple of issues with that: small reproducible samples and low confidence in RegExes (e.g., they might not encompass all cases, but they should not induce false-positives).

I'll resume work on that later as per #617 as this is not a pressing issue for the time being.

Copy link

github-actions bot commented Oct 8, 2025

Thanks for the updates. I reviewed the changes between main and pr_head and found no issues; no fixes are needed.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Link to the original pdfs in web versions of whitepapers
1 participant