-
Notifications
You must be signed in to change notification settings - Fork 0
Home
Welcome to the worksharing_dapp wiki!
stable coin fully regulated as possible use as payment: https://www.binance.com/en/busd (it was already not my primary approach for payments, and the FTX bubble raised further concerns, it is better to just use some of the technology for accounting instead, with the trading part which makes them coins eliminated, then use that design for controlling the services; work and commerce requires enough security)
a repository citing some interesting projects and infraestructure for collaborative computing, https://github.com/2gatherproject/decentralized-social-apps-guide; some central lightweight infraestructures found for p2p were https://yggdrasil-network.github.io/ , https://our.status.im/waku-decentralized-communication-for-web3/ , https://www.oasislabs.com/ , https://github.com/orbitdb/orbit-db , https://minaprotocol.com/ , https://libp2p.io/ , https://github.com/holepunchto/hyperswarm , https://github.com/amark/gun
some more tools for descentralization: https://github.com/gdamdam/awesome-decentralized-web
if you have reasons and need a help for developing your own blockchain: https://substrate.io/
some usefull projects on substrate: https://zcloak.network/ , https://www.subsquid.io/ , https://skye.kiwi/ , https://runtimeverification.com/ , https://www.peaq.network/#why
an exception can be made for digital yuan, in the form of ECNY, as it is being officially developed by the chinese central bank, however it would be one of the options for payment authority (as in "E-commerce Blockchain Consensus Mechanism for Supporting High-Throughput and Real-Time Transaction"), with the only exception that this one would work as regular coin. Along the time other coins likely will follow the same path as the digital Yuan, but for now it stands as it is; https://ecnydigitalyuan.com/
article about supply chain finance on Blockchain for small and medium enterprises (while I was searching for the accounting issue above): https://www.mdpi.com/1099-4300/22/1/95/pdf?version=1578910825
"Collaborate Computing: Networking, Applications and Worksharing: 12th International Conference, CollaborateCom 2016, Beijing, China, November 10–11, 2016, Proceedings" has the chapter "E-commerce Blockchain Consensus Mechanism for Supporting High-Throughput and Real-Time Transaction" that may be usefull for payments
some feeless distributed public ledger: https://www.publish0x.com/investorrepublic/8-feeless-cryptocurrencies-you-need-to-know-about-xmmywqm
portable AI tensor library: https://plaidml.github.io/plaidml/
some ML infraestructure: https://github.com/huggingface/candle , https://juliapackages.com/p/ignite
public AI: https://stability.ai/
foss online chatbot service: https://gpt-gm.h2o.ai/
a conversation I had with the h2o chatbot service about e-procurement: https://gpt-gm.h2o.ai/r/A7srQ8E
open source chat AI: https://huggingface.co/togethercomputer/Pythia-Chat-Base-7B or https://github.com/h2oai/h2ogpt
generative AI for formulas: https://ai-descartes.github.io/
on the issue of alignment: https://www.conjecture.dev/
AI useful for open human computer interaction: https://github.com/joonspk-research/generative_agents
AI useful for relating research according to utilized components: https://huggingface.co/RJuro/SciNERTopic
agentic research assistent: https://github.com/nickscamara/open-deep-research
GUI for designing langchain workflows: https://docs.langflow.org/
alternative to langchain, for portability and simplicity: https://lmql.ai/ ; https://github.com/guestrin-lab/lotus ; https://github.com/guidance-ai/guidance
tool augmented reward model: https://github.com/ernie-research/Tool-Augmented-Reward-Model
for semantic chunking: https://pypi.org/project/semchunk/ ; https://github.com/agamm/semantic-split
more on information retrieval: https://github.com/terrier-org/pyterrier ; https://github.com/terrierteam/monoQA ; https://github.com/terrierteam/pyterrier_doc2query ; https://arxiv.org/html/2403.00784
for proof search in the Agda language and integrating prolog features within Agda itself: https://github.com/wenkokke/AutoInAgda and https://link.springer.com/chapter/10.1007/978-3-319-19797-5_14
integrating ATP on Agda: https://eprints.whiterose.ac.uk/43344/2/nasafm11_front.pdf
some tools and research useful for a code comprehension workflow: the agda and rascal languages, sigmakee, semantic , https://jyx.jyu.fi/bitstream/handle/123456789/18555/9789513932527.pdf;sequence=1 and https://arxiv.org/abs/1107.0064
an API recommender: focus , https://arxiv.org/pdf/2102.07508.pdf
service for GPU renting: https://www.runpod.io/ free tier compute for language models: https://lightning.ai/
online reinforcement learning from human feedback (RLHF): https://github.com/RLHFlow/Online-RLHF benchmarks, datasets and other stuff for LLMs: https://github.com/codefuse-ai/Awesome-Code-LLM?tab=readme-ov-file
for federated learning on blockchain: https://link.springer.com/content/pdf/10.1007/s10462-022-10271-9.pdf
domain knowledge of Computer Science in the form of Knowledge Graph and publications covering the process of integrating domain knowledge on technology, that can be extended generally: https://scholkg.kmi.open.ac.uk/
about generation of knowledge graphs: https://github.com/danilo-dessi/skg ; https://link.springer.com/content/pdf/10.1007/s10115-022-01826-x.pdf ; https://www.cell.com/heliyon/pdf/S2405-8440(24)08510-4.pdf ; from "Semantic AI on Knowledge Graphs (CRC Press)", https://github.com/meganpowers1/SemanticNaturalLanguageProcessingforKnowledgeGraphsCreation
julia packages for handling graphs: https://juliagraphs.org/ for persistence with graph on julia: https://juliapackages.com/p/typedbclient
Knowledge Representation and Logic, including Question Answering: "Handbook of Knowledge Representation", Elsevier Science, Series: Foundations of Artificial Intelligence 3
verification of neural networks, for enhanced security: https://arxiv.org/pdf/2109.10317.pdf
on epistemology: "Dynamis: Ontology of the Incommensurable; Volume 9", "Model-Based Reasoning in Science and Technology: Abduction, Logic, and Computational Discovery; Studies in Computational Intelligence", "Community Informatics Design Applied to Digital Social Systems: Communicational Foundations, Theories and Methodologies; Translational Systems Sciences, Volume 12"
good identification may be relevant for service and commercial transactions, one of the ways is integrating mobile devices, biometry and platform: https://medium.datadriveninvestor.com/facial-recognition-8-open-source-tools-to-detect-faces-4ec8e37bfcc6
finnaly on actual implementation of biometrics on blockchain: A Decentralized IIoT Identity Framework based on Self-Sovereign Identity using Blockchain , A. Dixit , M. Rajarajan , M. Smith-Creasey , Institute of Electrical and Electronics Engineers (IEEE), 2022
some tools for identity on blockchain: https://101blockchains.com/digital-identity/#7
SDK with diverse common utilities for mobile development and useful for building multiplatform apps in general, https://expo.dev/
for extracting texts and doing search on documents, part of managing documents: https://medium.com/mlearning-ai/convert-any-type-of-document-to-text-with-apache-tika-using-python-api-ff306c467b3 , https://nextapps-de.github.io/flexsearch/ SERP (Search Engine Response Page) API for automating web searches: https://github.com/serp-spider or https://github.com/deedy5/duckduckgo_search
good solution for indexing, supplementing search: https://github.com/spyglass-search/spyglass
right now the following software is not production ready, but anyway it does provide concurrent execution logic on top of casper blockchain, which is very usefull: https://github.com/rchain/rchain
some usefull scrappers: https://scrapy.org/ , https://www.crummy.com/software/BeautifulSoup/
ai tools for scrapping (credits to LLMs for devs yt channel): https://www.firecrawl.dev/, https://jina.ai/reader/, https://github.com/ScrapeGraphAI/Scrapegraph-ai
the Public Ledger: https://www.holochain.org/
a solution for legal status, for overcomming possible blockers and having access to some bureaucratic facility that comes with it: https://opencollective.com/
markov chains provide simple methods to bring predictability usefull for financial planning: https://mambajl.readthedocs.io/en/latest/
about word groups of sentences, typology and beyound: https://towardsdatascience.com/exploring-nlp-concepts-using-apache-opennlp-4d59c3cac8 ; https://stanfordnlp.github.io/stanza/constituency.html
Natural Language Ontology mapping for semantic structures in documents (generation of logic from sentences): https://ieeexplore.ieee.org/document/10121458; https://github.com/mynlp/ccg2lambda ; "Unified vector space mapping for knowledge representation systems", Dmytro Filatov, et al. , https://arxiv.org/pdf/1502.06124.pdf ; "Commonsense ontology and semantics of natural language", Johannes Dölling, University of Leipzig, https://www.researchgate.net/publication/265240316_Commonsense_ontology_and_semantics_of_natural_language
some applied linguistic theory: Semantics Foundations, History and Methods (Klaus von Heusinger, Claudia Maienborn etc.); Complicated Methods of Logical Analysis Based on Simple Mathematics (Boris Kulik, Alexander Fridman); Language, Form, and Logic In Pursuit of Natural Logics Holy Grail (Peter Ludlow, Sašo Živanović); Yannis Haralambous - A Course in Natural Language Processing (2024, Springer); Studies in Linguistics and Philosophy,98 (editors: Stergios Chatzikyriakidis, Zhaohui Luo); [Studies in Computational Intelligence, 1081] Roussanka Loukanova, Peter LeFanu Lumsdaine, Reinhard Muskens - Logic and Algorithms in Computational Linguistics 2021 (LACompLing2021) (2023, Springer); In Contradiction A Study of the Transconsistent (Graham Priest); An Introduction to Lexical Semantics A Formal Approach to Word Meaning and its Composition (EunHee Lee) (Z-Library); Formal Semantics in Modern Type Theories (Stergios Chatzikyriakidis, Zhaohui Luo); Categories and Types in Logic, Language,and Physics: Essays Dedicated to Jim Lambek on the Occasion of His 90th Birthday; NLTK Essentials Build cool NLP and machine learning applications using NLTK and other Python libraries (Nitin Hardeniya)
a general contextualization and review of linguistics within ai: Linguistics for the age of AI
algorithms: Clever Algorithms Nature-Inspired Programming Recipes (Jason Brownlee)
some more tools for knowledge organization: https://www.zettlr.com/ , https://github.com/ontologyportal/ , https://intlekt.io/ieml/
linguistic data: https://www.es.uzh.ch/en/Subsites/Projects/dbank.html ; https://www.ims.uni-stuttgart.de/en/research/resources/corpora/ ; https://github.com/ICARUS-tooling/icarus2-modeling-framework ; https://anc.org/data/masc/
from those resources what follows is to relate searches and results with some goals, and provide some reasoning about it; providing ways of payment or accounting; providing secure personal identification as a basis for formalizing the economic activities on the platform; and running it without dependency on central servers or cloud infraestructure by relying on Public Ledger Technology, making it more open
about user experience: https://uxmethods.org/