All public logs
Jump to navigation
Jump to search
Combined display of all available logs of PKC. You can narrow down the view by selecting a log type, the username (case-sensitive), or the affected page (also case-sensitive).
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)- 03:24, 13 April 2023 Benkoo2 talk contribs created page Evan Patterson (Created page with "Evan Patterson is a a research scientist and software developer with interests in Applied category theory, Statistics and data science, Scientific computing and Software systems. He developed the Catlab.jl system and co-authored the paper <ref>{{:Paper/Categorical Data Structures for Technical Computing}}</ref> with Owen Lynch that is directly relates to OPN. <noinclude> {{PagePostfix |category_csd=Category Theory,Visual Programming }} </noinclude>")
- 03:18, 13 April 2023 Benkoo2 talk contribs created page Paper/Categorical Data Structures for Technical Computing (Created page with "{{cite journal |title=Categorical Data Structures for Technical Computing |first1=Evan |last1=Patterson |first2=Owen |last2=Lynch |first3=James |last3=Fairbanks |author-link1=Evan Patterson |author-link2=Owen Lynch |date=Jul 19, 2022 |publisher=Springer, Lecture Notes in Physics |url=https://arxiv.org/pdf/2106.04703.pdf |location=local page }} <noinclude> {{#Widget:PDF |url=https://arxiv.org/pdf/2106.04703....")
- 03:08, 13 April 2023 Benkoo2 talk contribs created page Owen Lynch (Created page with "Owen Lynch is a research software at Topos Institute. His website is:[https://owenlynch.org/].")
- 02:37, 13 April 2023 Benkoo2 talk contribs created page Video/Owen Lynch: The Computer Algebra System of the Future (Created page with "{{cite book |title=Owen Lynch: The Computer Algebra System of the Future |location=local page |url=https://www.youtube.com/watch?v=k1VvJFjIo7k |date= Apr 13, 2023 |publisher=Topos Institute |first=Owen |last=Lynch }} <noinclude> {{#widget:YouTube |id=k1VvJFjIo7k |width=640 |height=360 }} Assembly AI generated :[https://www.assemblyai.com/playground/transcript/6evqdv4pua-a309-4b1c-8512-236102941a41 Transcri...")
- 01:33, 13 April 2023 Benkoo2 talk contribs created page Video/Evan Patterson: Structured and Decorated Cospans from the Viewpoint of Double Category Theory (Created page with "{{cite book |title=Evan Patterson: Structured and Decorated Cospans from the Viewpoint of Double Category Theory |location=local page |url=https://www.youtube.com/watch?v=bjSVPGDb3ho |date= Apr 13, 2023 |publisher=Topos Institute |first=Evan |last=Patterson }} <noinclude> {{#widget:YouTube |id=bjSVPGDb3ho |width=640 |height=360 }} {{PagePostfix |category_csd=Category...")
- 03:47, 11 April 2023 Benkoo2 talk contribs created page Video/The Life of a libp2p Connection - Jacob Heun (Created page with "{{cite book |editor=libp2p |editor-link=libp2p |date=Aug 30, 2018 |title=The Life of a libp2p Connection - Jacob Heun |url=https://www.youtube.com/watch?v=zcWHamr5m_k |location=local page |publisher=libp2p }} <noinclude> {{#widget:YouTube |id=zcWHamr5m_k |width=640 |height=360 }} {{PagePostfix |category_csd=IPFS,Web3 Storage,libp2p |semantic_labels=Organized by:Organized by::libp2p }} </noinclude>")
- 03:08, 11 April 2023 Benkoo2 talk contribs created page Video/Introduction to libp2p - David Dias (Created page with "{{cite book |editor=libp2p |editor-link=libp2p |date=Apr 30, 2018 |title=Introduction to libp2p - David Dias |url=https://www.youtube.com/watch?v=CRe_oDtfRLw |location=local page |publisher=libp2p }} <noinclude> {{#widget:YouTube |id=CRe_oDtfRLw |width=640 |height=360 }} {{PagePostfix |category_csd=IPFS,Web3 Storage,Libp2p |semantic_labels=Organized by:Organized by::libp2p }} </noinclude>")
- 12:20, 10 April 2023 Benkoo2 talk contribs created page Video/Introduction to Git - Core Concepts (Created page with "{{cite book |editor=David Mahler |author-link=David Mahler |first=David |last=Mahler |date=Jun 22, 2017 |title=Introduction to Git - Core Concepts |url=https://www.youtube.com/watch?v=uR6G2v_WsRA |location=local page |publisher=David Mahler }} <noinclude> {{#widget:YouTube |id=uR6G2v_WsRA }} Learn about Git Bare Repo<ref>{{:Video/What is a bare Git repo and why you need them}}</ref>. {{PagePostfix |category_csd=Git...")
- 09:00, 10 April 2023 User account Alaunius-labs talk contribs was created automatically
- 03:05, 8 April 2023 Benkoo2 talk contribs created page LangChain (Created page with "{{WikiEntry|key=Langchain|qCode=117340550}} is a piece of software dedicated to work with Large Language Models.")
- 03:03, 8 April 2023 Benkoo2 talk contribs created page Category:LangChain (Created page with "See LangChain")
- 03:03, 8 April 2023 Benkoo2 talk contribs created page Video/The LangChain Cookbook - Beginner Guide To 7 Essential Concepts (Created page with "{{cite book |editor=Data Independent |editor-link=Data Independent |date=Mar 29, 2023 |title=The LangChain Cookbook - Beginner Guide To 7 Essential Concepts |url=https://www.youtube.com/watch?v=2xxziIWmaSA |location=local page |publisher=Data Independent }} <noinclude> {{#widget:YouTube |id=2xxziIWmaSA }} {{PagePostfix |category_csd=AI,Machine Learning,Large Language Model,AI Copywriter,GP...")
- 03:02, 8 April 2023 Benkoo2 talk contribs created page Video/What Is LangChain? - LangChain + ChatGPT Overview (Created page with "{{cite book |editor=Data Independent |editor-link=Data Independent |date=Feb 14, 2023 |title=What Is LangChain? - LangChain + ChatGPT Overview |url=https://www.youtube.com/watch?v=_v_fgW2SkkQ |location=local page |publisher=Data Independent }} <noinclude> {{#widget:YouTube |id=_v_fgW2SkkQ }} {{PagePostfix |category_csd=AI,Machine Learning,Large Language Model,AI Copywriter,GPT,LangChain,Workflow |semant...")
- 06:13, 6 April 2023 Benkoo2 talk contribs created page Health Care/Goal (Created page with "Save more lives a sdf dsa f da fd as fd asf da f das fdsa")
- 06:12, 6 April 2023 Benkoo2 talk contribs created page Health Care/Context (Created page with "Savomg Live <noinclude> asdjfliadsjlfkdsalkfda fdsaml;fds'afd 'a fdsa f </noinclude>")
- 06:11, 6 April 2023 Benkoo2 talk contribs created page Doug Playbook' (Created page with " =Hello World= {{LogicModel |name=PKC }}")
- 02:12, 6 April 2023 Benkoo2 talk contribs created page Video/git error: failed to push some refs to remote (Created page with "{{cite book |editor=Mimia Tech |editor-link=Mimia Tech |date=Dec 24, 2021 |title=git error: failed to push some refs to remote |url=https://www.youtube.com/watch?v=DH8elNCuqw4 |location=local page |publisher=Mimia Tech }} <noinclude> {{#widget:YouTube |id=DH8elNCuqw4 }} {{PagePostfix |category_csd=Git,Merge,Workflow |semantic_labels=Organized by:Organized by::Mimia Tech }} </noinclude>")
- 19:23, 5 April 2023 Benkoo2 talk contribs created page Video/OAuth 2.0 using Auth0 - React.js and Node.js (Created page with "{{cite book |editor=Ambient Coder |editor-link=Ambient Coder |date=Mar 16, 2021 |title=OAuth 2.0 using Auth0 - React.js and Node.js |url=https://www.youtube.com/watch?v=dyZmsz6usWk |location=local page |publisher=Ambient Coder }} <noinclude> {{#widget:YouTube |id=dyZmsz6usWk }} {{PagePostfix |category_csd=Computer Security,OIDC,IAM,OAuth,Cryptography |semantic_labels=Organized by:Organized by::Ambient Coder...")
- 01:35, 2 April 2023 Benkoo2 talk contribs created page Video/AI is giving me an unfair advantage (Created page with "{{cite book |last=Delaney |first=Jeff |author-link=Jeff Delaney |date=Apr 1, 2023 |title=AI is giving me an unfair advantage |url=https://www.youtube.com/watch?v=J1U1h_EjkPs |location=local page |publisher=Fireship }} <noinclude> {{#widget:YouTube |id=J1U1h_EjkPs |width=640 |height=360 }} {{PagePostfix |category_csd=AI,GPT-6 Joke,Biological AI,April 1st |semantic_labels=Organized by:Organized by::Fireship }} </...")
- 03:25, 1 April 2023 Benkoo2 talk contribs created page Video/Navigating your code in VS Code — Symbols, definitions, references, navigation, and more! (Created page with "{{cite book |editor=Code 2020 |author-link=Code 2020 |date=Nov 29, 2020 |title=Navigating your code in VS Code — Symbols, definitions, references, navigation, and more! |url=https://www.youtube.com/watch?v=_4rSbklsVkk |location=local page |publisher=Code 2020 }} <noinclude> {{#widget:YouTube |id=_4rSbklsVkk }} =References= <references/> ==Related Pages== O...")
- 07:11, 31 March 2023 Benkoo2 talk contribs created page Video/How to Upload Files to IPFS (Step by Step Guide) (Created page with "{{cite book |editor=thirdweb |editor-link=thirdweb |date=Dec 27, 2022 |title=How to Upload Files to IPFS (Step by Step Guide) |url=https://www.youtube.com/watch?v=wyYkpMgEVxE |location=local page |publisher=thirdweb }} <noinclude> {{#widget:YouTube |id=wyYkpMgEVxE |width=640 |height=360 }} {{PagePostfix |category_csd=IPFS， Web3 Storage |semantic_labels=Organized by:Organized by::thirdweb }} </noi...")
- 05:06, 29 March 2023 Benkoo2 talk contribs created page Abstract Specification of PKC/Boundary (Created page with "*All changes of PKC content are version controlled and replicated with multiple copies. *The PKC system architecture specification must be future-proof and eliminate design dependencies on extant data storage, communication, and computation tools. *The abstract specification document must segregate logical specifications from implementation and be distributed alongside all deployed copies of the PKC's concrete implementation.")
- 05:06, 29 March 2023 Benkoo2 talk contribs created page Abstract Specification of PKC/Output (Created page with "*A PKC system architecture specification that is future-proof and scalable, eliminating design dependencies on extant data storage, communication, and computation tools, while allowing for continuous improvement without jeopardizing the primary function of automating logical correctness evaluation. *An abstract specification document that serves as the rationale for ongoing system architectural design decisions. *A PKC system that automates logical correctness evaluation...")
- 05:05, 29 March 2023 Benkoo2 talk contribs created page Abstract Specification of PKC/Process (Created page with "*Systematically distinguishing between logical and implementation requirements in the architectural requirements document. *Adhering to the methodology outlined in "Specifying Systems" to manage content knowledge regarding correctness verification. *Developing an abstract specification document that segregates logical specifications from implementation. *Distributing the abstract specification document alongside all deployed copies of the PKC's concrete implementation.")
- 05:05, 29 March 2023 Benkoo2 talk contribs created page Abstract Specification of PKC/Input (Created page with "*Knowledge of PKC systems and cryptographic functions. *"Specifying Systems" by Leslie Lamport, which outlines the methodology of segregating logical specifications from implementation. *Existing system architecture specifications and design documents.")
- 05:05, 29 March 2023 Benkoo2 talk contribs created page Abstract Specification of PKC/Criteria (Created page with "*The PKC system architecture specification is independent of specific data storage, communication, and computation tools. *The system design does not need frequent modification, as the fundamental compositional nature of data is scale-free and medium-independent. *The correctness verification function is automated and can evaluate the logical correctness of cryptographic functions. *The abstract specification document is distributed alongside all deployed copies of the P...")
- 05:04, 29 March 2023 Benkoo2 talk contribs created page Abstract Specification of PKC/Goal (Created page with "The goal is to develop a PKC system architecture specification that is future-proof and scalable, eliminating design dependencies on extant data storage, communication, and computation tools, while allowing for continuous improvement without jeopardizing the primary function of automating logical correctness evaluation.")
- 05:04, 29 March 2023 Benkoo2 talk contribs created page Abstract Specification of PKC/Context (Created page with "The context is the design and implementation of a Public Key Cryptography (PKC) system, which involves correctness verification of cryptographic functions.")
- 05:03, 29 March 2023 Benkoo2 talk contribs created page Abstract Specification of PKC (Created page with "The following logic model prescribes the Abstract Specification of PKC: {{LogicModel |name=Abstract Specification of PKC }}")
- 03:24, 29 March 2023 Benkoo2 talk contribs created page Sheaf (Created page with "{{WikiEntry|key=Sheaf|qCode=}} is a collection of objects associated to subsets of a space in a manner admitting gluing and restriction.")
- 03:15, 29 March 2023 Benkoo2 talk contribs created page Video/Tutorial on Sheaves in Data Analytics : Lecture 1 (Created page with "{{cite book |first=Michael |last=Robinson |author-link=Michael Robinson |date=Aug 25, 2015 |title=Tutorial on Sheaves in Data Analytics : Lecture 1 |url=https://www.youtube.com/watch?v=b1Wu8kTngoE |location=local page |publisher=Michael Robinson }} <noinclude> {{#widget:YouTube |id=b1Wu8kTngoE |width=640 }} [https://www.assemblyai.com/playground/transcript/r5uaw0irkc-7f22-46fb-bbc2-8e31c5df1821 Link to As...")
- 02:56, 29 March 2023 Benkoo2 talk contribs created page Michael Robinson (Created page with "{{WikiEntry|key=Michael Robinson|qCode=102334413}} is a Ph.D. Cornell University 2008.")
- 02:54, 29 March 2023 Benkoo2 talk contribs created page Transcript/Topological and statistical tools for understanding system decompositions (Created page with "SPEAKER A You. This video explains topological and statistical tools for understanding system decompositions, especially those systems that are built from sensors. This is joint work with a number of people in various roles over the past few years, including two separate DARPA programs DARPA Safe Docs and DARPA Simplex You. All of this talk is based on the idea that systems of systems are best described by diagrams, directed graphs in which the nodes are labeled with sp...")
- 02:26, 29 March 2023 Benkoo2 talk contribs created page Video/Topological and statistical tools for understanding system decompositions (Created page with "{{cite book |first=Michael |last=Robinson |author-link=Michael Robinson |date=Mar 29, 2023 |title=Topological and statistical tools for understanding system decompositions |url=https://www.youtube.com/watch?v=4HA4lnYJfQI |location=local page |publisher=Michael Robinson }} <noinclude> {{#widget:YouTube |id=4HA4lnYJfQI |width=640 }} {{PagePostfix |category_csd=Category Theory |sema...")
- 01:59, 29 March 2023 Benkoo2 talk contribs created page Promise (Created page with "{{WikiEntry|key=Promise|qCode=1425577}} is a commitment by someone to do or not do something. In the Internet of Things world, a promise can be considered a certified token that represents the eventual completion (or failure) of an asynchronous operation and its resulting value.")
- 13:31, 28 March 2023 Benkoo2 talk contribs created page Video/Decentralized identifiers (DIDs) fundamentals and deep dive (Created page with "{{cite book |editor=SSI Meetup |editor-link1=SSI Meetup |date=Feb 5, 2020 |title=Decentralized identifiers (DIDs) fundamentals and deep dive |url=https://www.youtube.com/watch?v=SHuRRaOBMz4 |location=local page |publisher=SSI Meetup }} <noinclude> {{#widget:YouTube |id=SHuRRaOBMz4 |width=640 |height=360 }} {{PagePostfix |category_csd=Computer Security,IAM,SCIM,Digital Identity |semantic_labels=Organiz...")
- 08:08, 28 March 2023 Benkoo2 talk contribs created page Transcript/Cats4AI talk: Dynamic organizational systems: from deep learning to prediction markets, David Spivak (Created page with "SPEAKER A It okay. Is it time? Shall I share? SPEAKER B Yeah. SPEAKER A Okay. SPEAKER B Then you can tell me when we're recording live so I can go. SPEAKER A Good to go. SPEAKER B Hi, everyone. Welcome to the 6th Cats for AI guest lecture. It's our pleasure today to have ##### ###### with us. He's a research leader at Topos Institute, spent a lot of time at MIT, and he's one of the main figures bringing a lot of category theory ideas into science and technology. So...")
- 08:03, 28 March 2023 Benkoo2 talk contribs moved page Category:Autopeisis to Category:Autopoiesis
- 08:02, 28 March 2023 Benkoo2 talk contribs moved page Autopeisis to Autopoiesis
- 08:02, 28 March 2023 Benkoo2 talk contribs created page Autopeisis (Created page with "{{WikiEntry|key=Autopoiesis|qCode=599967}} is a systems concept which entails automatic reproduction and maintenance.")
- 08:01, 28 March 2023 Benkoo2 talk contribs created page Category:Autopeisis (Created page with "See Autopeisis")
- 07:57, 28 March 2023 Benkoo2 talk contribs created page Video/Cats4AI talk: Dynamic organizational systems: from deep learning to prediction markets, David Spivak (Created page with "{{cite book |title=Video/Cats4AI talk: Dynamic organizational systems: from deep learning to prediction markets, David Spivak |location=local page |url=https://www.youtube.com/watch?v=Z5fdB6aUNBw |date=March 28, 2023 |publisher=Pim de Haan |first=David |last=Spivak }} <noinclude> {{#widget: YouTube |id=Z5fdB6aUNBw }} {{PagePostfix |category_csd=Category T...")
- 18:59, 27 March 2023 Yohannespkc talk contribs created page File:Screen Shot 2023-03-28 at 01.58.30.png
- 18:59, 27 March 2023 Yohannespkc talk contribs uploaded File:Screen Shot 2023-03-28 at 01.58.30.png
- 04:24, 27 March 2023 Benkoo2 talk contribs created page Video/How to Build a Custom Knowledge ChatGPT Clone in 5 Minutes (Created page with "{{cite book |editor-link=Liam Ottley |date=Dec 22, 2022 |title=How to Build a Custom Knowledge ChatGPT Clone in 5 Minutes |url=https://www.youtube.com/watch?v=sUSw9MaPm2M |location=local page |publisher=Liam Ottley }} <noinclude> {{#widget:YouTube |id=sUSw9MaPm2M }} {{PagePostfix |category_csd=ChatGPT,Custome Knowledge |semantic_labels=Organized by:Organized by::Liam Ottley }} </noinclude>")
- 03:05, 25 March 2023 Yohannespkc talk contribs created page File:WhatsApp Image 2023-03-24 at 10.59.22.jpeg
- 03:05, 25 March 2023 Yohannespkc talk contribs uploaded File:WhatsApp Image 2023-03-24 at 10.59.22.jpeg
- 02:54, 25 March 2023 Yohannespkc talk contribs created page File:WhatsApp Image 2023-03-21 at 13.56.32.jpeg
- 02:54, 25 March 2023 Yohannespkc talk contribs uploaded File:WhatsApp Image 2023-03-21 at 13.56.32.jpeg
- 02:52, 25 March 2023 Yohannespkc talk contribs created page File:WhatsApp Image 2023-03-24 at 20.20.16.jpeg
