All public logs

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)

• 14:54, 27 January 2023 Benkoo2 talk contribs created page Video/Ch 10: What's the commutator and the uncertainty principle? (Created page with "{{cite book |title=Ch 10: What's the commutator and the uncertainty principle? |url=https://www.youtube.com/watch?v=-pRk9HNh7os |last=Sandoval |first=Brandon |author-link=Brandon Sandoval |publisher=Quantum Sense |location=local page |date=Jan 24, 2023 |editor=Quantum Sense }} <noinclude> {{#widget:YouTube |id=-pRk9HNh7os |width=640 }} In this video, its animations are made using Manim<ref>[https://...")
• 14:52, 27 January 2023 Benkoo2 talk contribs created page Commutator and Demorgan's Law (Created page with "Commutator in quantum mechanics behaves very similarly to Demorgan's Law. This can be found from the video<ref>{{:Video/Ch 10: What's the commutator and the uncertainty principle?}}</ref> by Quantum Sense. <noinclude> {{PagePosftix |category_csd=Quantum Mechanics,Boolean Logic,Demorgan's Law,Commutator,Symmetry }} </noinclude>")
• 08:24, 27 January 2023 Benkoo2 talk contribs created page Video/Using Strapi v4 with Docker (Created page with "{{cite book |editor=Strapi |editor-link=Strapi |date= Jul 6, 2022 |title=Using Strapi v4 with Docker |url=https://www.youtube.com/watch?v=HsojvBVk6JQ |location=local page |publisher=Strapi }} <noinclude> {{#widget:YouTube |playlist=HsojvBVk6JQ |width=640 |height=360 }} {{PagePostfix |category_csd=CMS,Strapi,Docker |semantic_labels=Organized by:Organized by::Strapi }} </noinclude>")
• 05:02, 27 January 2023 Benkoo2 talk contribs created page Jean-Raymond Abrial (Created page with "{{WikiEntry|key={{PAGENAME}}|qCode=3169881}} is a French computer scientist who invented:Data Semantics and the B-method.")
• 04:48, 27 January 2023 Benkoo2 talk contribs created page Book/The B-Book (Created page with "{{cite book |title=The B-Book: Assinging Programs to Meanings |first1=J-R |last1=Abrial |author-link=J-R Abrial |location=local page |url=https://cloudflare-ipfs.com/ipfs/bafykbzacedtwtri4niuzsvbe2ufu5y2fz5vhrldkesuqgfpqnxfxeeam2biz6?filename=J.%20R.%20Abrial%20-%20The%20B-Book_%20Assigning%20Programs%20to%20Meanings-Cambridge%20University%20Press%20%282005%29.pdf |date=1996 |publisher=Cambridge University Press |isbn=978-0-521-49619-3 }} <noinclude>...")
• 04:16, 27 January 2023 Benkoo2 talk contribs created page Simon Foster (Created page with "{{WikiEntry|key={{PAGENAME}}|qCode=Q51596529}} is a computer scientist who wrote the paper<ref>{{:Paper/Unifying theories of reactive design contracts}}</ref>:Unifying theories of reactive design contracts.")
• 04:12, 27 January 2023 Benkoo2 talk contribs created page Paper/Unifying theories of reactive design contracts (Created page with "{{cite book |title=Unifying theories of reactive design contracts |first1=Simon |last1=Foster |author-link=Simon Foster |date=September 2019 |publisher=Elsevier |url=https://www.sciencedirect.com/science/article/abs/pii/S0304397519305614 |location=local page }} <noinclude> {{#Widget:PDF |url=https://arxiv.org/pdf/1712.10233.pdf |height=800 }} {{PagePostfix |category_csd=Refinement Calculus,Stepwise Refinement }}...")
• 04:07, 27 January 2023 Benkoo2 talk contribs created page Paper/A theoretical basis for stepwise refinement and the programming calculus (Created page with "{{cite book |title=A theoretical basis for stepwise refinement and the programming calculus |first1=Joseph |last1=Morris |author-link=Joseph M. Morris |date=Morris |publisher=Elsevier |url=https://www.sciencedirect.com/science/article/pii/0167642387900116?via%3Dihub |location=local page }} <noinclude> This paper was referred to the audience in the video:Video/Bob Coecke, From Quantum Li...")
• 03:42, 27 January 2023 Benkoo2 talk contribs created page Thesis/On the Correctness of Refinement Steps in Program Development (Created page with "{{cite thesis |last=Back, |first=Ralph-Johan |date=April 1978 |author-link=Ralph-Johan Back |title=On the Correctness of Refinement Steps in Program Development |type= Ph.D. |chapter= |publisher=University of Helsinki |docket= |oclc= |url=http://users.abo.fi/backrj/index.php?page=searchform.php&menu=3 |location=local page }} <noinclude> A shorter version of this thesis is published here<ref>...")
• 03:35, 27 January 2023 Benkoo2 talk contribs created page File:OntheCorrectnessofRefinementStepsinProgramDevelopment.pdf
• 03:35, 27 January 2023 Benkoo2 talk contribs uploaded File:OntheCorrectnessofRefinementStepsinProgramDevelopment.pdf
• 03:32, 27 January 2023 Benkoo2 talk contribs created page Refinement Calculus (Created page with "{{WikiEntry|key=Refinement Calculus|qCode=7307205}} is a way of refining models of programs into efficient programs. It is a field started by Ralph-Johan Back.")
• 03:31, 27 January 2023 Benkoo2 talk contribs created page Category:Refinement Calculus (Created page with "See Refinement Calculus")
• 03:17, 27 January 2023 Benkoo2 talk contribs created page General-purpose language (Created page with "{{WikiEntry|key=General Purpose Language|qCode=16963996}}, or (GPL) is a computer language that is broadly applicable across application domains, and lacks specialized features for a particular domain. This is in contrast to a domain-specific language (DSL), which is specifically applicable to a selected domain. <noinlcude> {{PagePostfix |category_csd=Formal Language,Hermeneutics,Information Economics }} </noinclude>")
• 03:16, 27 January 2023 Benkoo2 talk contribs created page GPL (Redirected page to General-purpose language) Tag: New redirect
• 03:13, 27 January 2023 Benkoo2 talk contribs created page DSL (Redirected page to Domain Specific Language) Tag: New redirect
• 03:11, 27 January 2023 Benkoo2 talk contribs moved page Domain Specific Language to Domain-specific Language
• 03:11, 27 January 2023 Benkoo2 talk contribs created page Domain Specific Language (Created page with "{{WikiEntry|key={{PAGENAME}}|qCode=691358}}")
• 03:11, 27 January 2023 Benkoo2 talk contribs created page Category:DSL (Created page with "See Domain Specific Language")
• 03:10, 27 January 2023 Benkoo2 talk contribs created page File:Backwright98refinementcalculus.pdf
• 03:10, 27 January 2023 Benkoo2 talk contribs uploaded File:Backwright98refinementcalculus.pdf
• 03:08, 27 January 2023 Benkoo2 talk contribs created page Ralph-Johan Back (Created page with "{{WikiEntry|key={{PAGENAME}}|qCode=7287124}} is a computer scientist who co-wrote the book:Refinement Calculus: A Systematic Introduction with Joakin von Wright. <noinclude> {{PagePostfix |category_csd=Refinement Calculus,Formal Method,Contract }} </noinclude>")
• 03:06, 27 January 2023 Benkoo2 talk contribs moved page Book/Refinment Calculus: A Systematic Introduction to Book/Refinement Calculus: A Systematic Introduction
• 03:03, 27 January 2023 Benkoo2 talk contribs created page Joakim von Wright (Created page with "{{WikiEntry|key={{PAGENAME}}|qCode=}}")
• 03:02, 27 January 2023 Benkoo2 talk contribs created page Book/Refinment Calculus: A Systematic Introduction (Created page with "{{cite book |title=Refinment Calculus: A Systematic Introduction |first1=Ralph-Johan |last1=Back |first2=Joakim |last2=von Wright |edition=Draft |date=Dec 31, 1997 |publisher=Ralph-Johan Back and Joakim von Wright |location=local page }} <noinclude> {{PagePostfix |category_csd=Formal Method,Refinement Calculus,Contract,Correctness,Transformer }} </noinclude>")
• 02:34, 27 January 2023 Benkoo2 talk contribs created page Book/Natural Language Cognitive Architecture (Created page with "{{cite book |title=Natural Language Cognitive Architecture |first=David K. |last=Shapiro |author-link=David K Shapiro |isbn=9781668513118 |url=https://www.linkedin.com/in/dshap-automator/ |date=2021 |edition=First |publisher=David K Shapiro |location=local page }} <noinclude> {{PagePostfix |category_csd=Topology |semantic_labels=Authored by:Authored by::David K Shapiro }} </noinclude>")
• 02:05, 27 January 2023 Benkoo2 talk contribs created page Transcript/Arkor - The formal theory of theories (Created page with "=SPEAKER A= So the next speaker is ######### ##### and he knows about the formal theory of theories. Please go on. =SPEAKER B= Thank you very much. I'd like to start just by thanking the organizers of the conference for arranging it, especially during these very difficult circumstances. I'd like to thank them also for giving me the opportunity to speak today. So I'm going to start directly with the motivation to recall that an algebraic theory is an identical objector...")
• 18:47, 26 January 2023 Benkoo2 talk contribs created page Video/Arkor - The formal theory of theories (Created page with "{{cite book |first=Nathanael |last=Arkor |author-link=Nathanael Arkor |date=Feb 28, 2022 |title=Arkor - The formal theory of theories |url=https://www.youtube.com/watch?v=RguqGBhSEOc |location=local page |publisher=Category Theory CT20->21 }} <noinclude> {{#widget:YouTube |id=RguqGBhSEOc |width=640 |height=360 }} {{PagePostfix |semantic_labels=Organized by:[[Organized by::Category Theory CT20->21]] Presented by:P...")
• 16:47, 26 January 2023 Benkoo2 talk contribs created page Category:Functional programming (Created page with "See Functional programming")
• 16:47, 26 January 2023 Benkoo2 talk contribs created page FRP (Redirected page to Functional reactive programming) Tag: New redirect
• 16:46, 26 January 2023 Benkoo2 talk contribs created page Functional reactive programming (Created page with "Functional reactive programming is a programming paradigm for reactive programming (asynchronous dataflow programming) using the building blocks of functional programming (e.g. map, reduce, filter). FRP has been used for programming graphical user interfaces (GUIs), robotics, games, and music, aiming to simplify these problems by explicitly modeling time. <noinclude> {{PagePostfix |category_csd=Functional programming,JavaScript,React,React Hooks }} </noinclude>")
• 16:45, 26 January 2023 Benkoo2 talk contribs created page Category:Functional reactive programming (Created page with "See Functional reactive programming")
• 16:43, 26 January 2023 Benkoo2 talk contribs created page Kliesli Arrow (Created page with "{{WikiEntry|key={{PAGENAME}}|qCode=}} is a special kind of arrow in Category Theory. <noinclude> {{PagePostfix |category_csd=Monad,Category Theory,Kleisli Category }} </noinclude>")
• 16:42, 26 January 2023 Benkoo2 talk contribs created page Category:Kleisli Arrow (Created page with "See Kliesli Arrow")
• 16:41, 26 January 2023 Benkoo2 talk contribs created page Kleisli Category (Created page with "{{WikiEntry|key={{PAGENAME}}|qCode=1773982}} is a special kind of category in Category Theory.")
• 16:40, 26 January 2023 Benkoo2 talk contribs created page Category:Kleisli Category (Created page with "See Kleisli Category")
• 16:39, 26 January 2023 Benkoo2 talk contribs created page Galois Connections and Kleisli Category (Created page with "{{Blockquote |text='''Q:'''Can you explain what are Kleisli Category and its relationship with Galois Connections? '''A:'''Kleisli categories are a type of category that are related to monads, which are mathematical structures that can be used to model various types of computation. In a Kleisli category, the morphisms (or arrows) between objects are not arbitrary functions, but rather they are specific functions called "Kleisli arrows" that are associated with a monad....")
• 16:25, 26 January 2023 Benkoo2 talk contribs created page Bidirectional Encoder Representations from Transformer (Created page with "{{WikiEntry|key=Bidirectional Encoder Representations from Transformer|qCode=61726893}} is a deep learning artificial neural network language model.")
• 16:24, 26 January 2023 Benkoo2 talk contribs created page BERT (Redirected page to Bidirectional Encoder Representations from Transformer) Tag: New redirect
• 16:20, 26 January 2023 Benkoo2 talk contribs created page ChatGPT on Monadology and LLM's Token (Created page with "{{Blockquote |text=Q: How do you assess the notion of Monadology and the way GPT and BERT manages large scale language model or knowledge content using just one kind of primitive, such as Tokens, or in Leibniz's terms: Monads. A:Monadology is a concept developed by the philosopher Gottfried Leibniz, which posits that the universe is made up of an infinite number of indivisible and indestructible entities called monads. These monads are said to be the basic building bloc...")
• 15:06, 26 January 2023 Benkoo2 talk contribs created page Book/Seeing Organizational Patterns (Created page with "{{cite book |title=Seeing Organizational Patterns |first=Robert |last=Keidel |author-link=Robert W. Keidel |isbn=9781881052654 |url=https://www.amazon.com/Seeing-Organizational-Patterns-Robert-Keidel/dp/1881052656 |date=1995 |publisher=Dover Publications |location=local page }} <noinclude> {{PagePostfix |category_csd=Triangle,Venn Diagram,Organization,Industrial Organization,Management |semantic_labels=Authored by:Authored by::...")
• 13:39, 26 January 2023 Benkoo2 talk contribs created page State Management (Created page with "State management is naturally related to time and dynamics. It needs to "managed" through a combinatorial namespace.")
• 13:38, 26 January 2023 Benkoo2 talk contribs created page Category:State Management (Created page with "See State Management")
• 13:35, 26 January 2023 Benkoo2 talk contribs created page Self-Adjoint Operators (Redirected page to Self-adjoint Operator) Tag: New redirect
• 13:35, 26 January 2023 Benkoo2 talk contribs moved page Adjoint Operators to Adjoint Operator
• 13:34, 26 January 2023 Benkoo2 talk contribs created page Adjoint Operators (Redirected page to Adjoint Operator) Tag: New redirect
• 13:34, 26 January 2023 Benkoo2 talk contribs created page Category:Adjoint Operators (Created page with "See Adjoint Operators")
• 13:32, 26 January 2023 Benkoo2 talk contribs created page Todo List application (Created page with "Todo list application seems to be a good example to teach web-based programming. It is a way to show client-server interaction, and its state management features naturally denotes time and causation. <noinclude> {{PagePostfix |category_csd=React,Web Programming,Galois Connections,State Management }} </noinclude>")
• 13:27, 26 January 2023 Benkoo2 talk contribs created page React Framework and Galois Connections (Created page with "=Module 1: Introduction to Galois Connections= Overview of Galois connections and their mathematical properties Formal definition and examples of Galois connections Galois connections in functional programming and type theory Module 2: React Hooks Fundamentals Introduction to React Hooks and their benefits Using state and effect hooks in functional components Building a simple Todo List application with Hooks =Module 3: Galois Connections in React Hooks= =Using Galoi...")
• 09:23, 26 January 2023 Benkoo2 talk contribs created page Video/Learn Web Components In 25 Minutes (Created page with "{{cite book |first=Kyle |last=Cook |author-link=Kyle Cook |date=Jan 22, 2023 |title=Learn Web Components In 25 Minutes |url=https://www.youtube.com/watch?v=2I7uX8m0Ta0 |location=local page |publisher=Web Dev Simplified }} <noinclude> {{#widget:YouTube |id=2I7uX8m0Ta0 }} {{PagePostfix |category_csd=React,Web Components |semantic_labels=Organized by:Organized by::Web Dev Simplified Presented by:Presented by::Kyle C...")

(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)