I also tried the search without the # but that does not give any relevant results.

"Search: maths OR math OR Mathematics OR CategoryTheory OR Logic OR RDF OR SemWeb OR scala OR Agda OR #FP OR SemanticWeb OR topos OR ScalaJS OR Java OR W3C OR WebScience OR hyperApp"