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"
bblfish /
npub1m0…nn0rv
2023-09-04 13:22:27
in reply to nevent1q…l7fu
Author Public Key
npub1m0wym3srryqtkt9uuev43arglv4083p9redzep85ayurv53xsmas9nn0rvPublished at
2023-09-04 13:22:27Event JSON
{
"id": "f9c4128307d26c79079d60113c6aca2e93bad24aa236752e5679860edfed734b",
"pubkey": "dbdc4dc6031900bb2cbce65958f468fb2af3c4251e5a2c84f4e93836522686fb",
"created_at": 1693826547,
"kind": 1,
"tags": [
[
"t",
"FP"
],
[
"e",
"7dc8e970d763b92c26370a1a7b6ca7ab322e9db9b847cb2d84d4eb873e9d8630",
"",
"reply"
],
[
"p",
"dbdc4dc6031900bb2cbce65958f468fb2af3c4251e5a2c84f4e93836522686fb"
]
],
"content": "I also tried the search without the # but that does not give any relevant results.\n\n\"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\"",
"sig": "8c5c19c49889bd6dc7de4200f8a95bc2e1d5946ff61b75fc2e01ced0f5e29755198c7b0c71aa5e893bb215138eea5224d687a33b8d566a774d6b0fc2d8170273"
}