This is a heavily interactive web application, and JavaScript is required. Simple HTML interfaces are possible, but that is not what this is.
Post
William Merrill
lambdaviking.bsky.social
did:plc:o6okc6254fou4ey7j2khrgy2
This is actually really cool! I used it today to surface results on a topic I’ve been curious about for a while but where conventional search failed (the complexity of the word problem for finitely generated monoids)
https://www.semanticscholar.org/paper/On-the-complexity-of-the-word-problem-of-the-R.-V-Birget/6b3175f333893e0f8a2c2314b3866e183e0ad0f2
[contains quote post or other embedded content]
2024-11-20T04:28:45.978Z