982
edits
Discord Messages: Difference between revisions
no edit summary
(→22-11-11: new section) |
No edit summary |
||
| Line 353: | Line 353: | ||
|Text=That said, the more abstract idea of defining a data model plus execution semantics that any programming language can plug into looks very promising. That aspect of WikiLambda was in fact one of my inspirations for developing [[Digital Scientific Notations]]. | |Text=That said, the more abstract idea of defining a data model plus execution semantics that any programming language can plug into looks very promising. That aspect of WikiLambda was in fact one of my inspirations for developing [[Digital Scientific Notations]]. | ||
|Link=https://discord.com/channels/1029514961782849607/1040456437022859324/1040497782882062336 | |Link=https://discord.com/channels/1029514961782849607/1040456437022859324/1040497782882062336 | ||
}}{{Message | |||
|Author=Konrad Hinsen | |||
|Avatar=https://cdn.discordapp.com/avatars/499904513038090240/343ae17c322fa09b3260f95e58bc4f29.png?size=1024 | |||
|Date Sent=22-11-11 05:45:14 | |||
|Channel=Thanks sneakers the rat2880 Your site is | |||
|Text=I'll try to turn this thread into [[Project Ideas#Federated knowledge synthesis]]: identify protocols, data models, tools, practices, etc. that can support the process of synthesizing and formalizing scientific knowledge, then build on these ingredients. One dimension is going from narratives via discourse graphs to knowledge graphs. Another dimension is going from conceptual ideas to formal systems. | |||
|Link=https://discord.com/channels/1029514961782849607/1040360259413348432/1040502446943899668 | |||
}} | }} | ||