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)

• 13:14, 17 October 2022 Benkoo talk contribs created page Noson Yanofsky (Created page with "[http://www.sci.brooklyn.cuny.edu/~noson/ Noson S. Yanofsky]")
• 13:12, 17 October 2022 Benkoo talk contribs created page Video/Noson S. Yanofsky - Diagonalization, Fixed Points, and Self-reference (Gödel Conference) (Created page with "{{cite book |first=Noson |last=Yanofsky |author-link=Noson Yanofsky |date=Aug 4, 2021 |title=Noson S. Yanofsky - Diagonalization, Fixed Points, and Self-reference (Gödel Conference) |url=https://www.youtube.com/watch?v=5p7MUqbZBIc |location=local page |publisher=Weizsäcker-Zentrum Universität Tübingen }} <noinclude> {{#widget:YouTube |id=5p7MUqbZBIc |width=64...")
• 10:13, 15 October 2022 Benkoo talk contribs created page Video/Cantors Diagonal Argument Fails (Created page with "{{cite book |first=Werner |last=Hartl |author-link=Werner Hartl |date=Dec 17, 2020 |title=Cantors Diagonal Argument Fails |url=https://www.youtube.com/watch?v=0HF39OWyl54 |location=local page |publisher=Werner Hartl }} <noinclude> {{#widget:YouTube |id=0HF39OWyl54 |width=640 |height=360 }} =References= <references/> ==Related Pages== Organized by::Werner Hartl Category:Diagonalization </noinclude>")
• 10:11, 15 October 2022 Benkoo talk contribs created page Category:Diagonalization (Created page with "See Diagonalization")
• 10:10, 15 October 2022 Benkoo talk contribs created page Video/Integers & Reals have different, infinite sizes! **Cantor Diagonlization** (Created page with "{{cite book |first=Trefor |last=Bazett |author-link=Trefor Bazett |date=Apr 10, 2018 |title=Integers & Reals have different, infinite sizes! **Cantor Diagonlization** |url=https://www.youtube.com/watch?v=0HF39OWyl54 |location=local page |publisher=Dr. Trefor Bazett }} <noinclude> {{#widget:YouTube |id=0HF39OWyl54 |width=640 |height=360 }} =References= <references/> ==Related...")
• 09:46, 15 October 2022 Benkoo talk contribs created page Video/What Are Microservices Really All About? (And When Not To Use It) (Created page with "{{cite book |first=Alex |last=Xu |author-link=Alex Xu |date=Oct 11, 2022 |title=What Are Microservices Really All About? (And When Not To Use It) |url=https://www.youtube.com/watch?v=lTAcCNbJ7KE |location=local page |publisher=ByteByteGo }} <noinclude> {{#widget:YouTube |id=lTAcCNbJ7KE }} {{PagePostfix |category_csd=System Design,Physical Meaning of Data |semantic_labels=Organized by:...")
• 22:56, 8 October 2022 Benkoo talk contribs created page System Design (Created page with "System Design is a generic practice regarding the integration and coordination of multiple sub-systems. Some of the more mature approaches to develop systems can be summarized in the field of computing science.")
• 22:55, 8 October 2022 Benkoo talk contribs created page Category:System Design (Created page with "See System Design")
• 22:53, 8 October 2022 Benkoo talk contribs created page Book/System Design Interview – An insider's guide (Created page with "{{cite book |title=System Design Interview – An insider's guide |first=Alex |last=Xu |author-link=Alex Xu |isbn=979-8664653403 |url=https://bytebytego.com/ |date=June 12, 2020 |publisher=Independently Published |location=local page }} <noinclude> {{PagePostfix |category_csd=System Design,DevOps,Network Computing }} </noinclude>")
• 22:49, 8 October 2022 Benkoo talk contribs created page Alex Xu (Created page with "Alex Xu is the author of Book/System Design Interview – An insider's guide and a Youtuber.")
• 22:49, 8 October 2022 Benkoo talk contribs created page ByteByteGo (Created page with "[https://www.youtube.com/c/ByteByteGo/featured ByteByteGo] is a Youtube Channel by Alex Xu.")
• 22:47, 8 October 2022 Benkoo talk contribs created page Video/Latency Numbers Programmer Should Know (Created page with "{{cite book |first=Alex |last=Xu |author-link=Alex Xu |date=Oct 4, 2022 |title=Latency Numbers Programmer Should Know |url=https://www.youtube.com/watch?v=FqR5vESuKe0 |location=local page |publisher=ByteByteGo }} <noinclude> {{#widget:YouTube |id=FqR5vESuKe0 }} {{PagePostfix |category_csd=System Design,Physical Meaning of Data |semantic_labels=Organized by:Organized by::ByteByteGo Presented by:Presented b...")
• 07:03, 5 October 2022 Benkoo talk contribs created page Video/Jacques Carette: "What I learned from formalizing Category Theory in Agda" (Created page with "{{cite book |first=Jacques |last=Carette |author-link=Jacques Carette |date=Sep 23, 2022 |title=Jacques Carette: "What I learned from formalizing Category Theory in Agda" |url=https://www.youtube.com/watch?v=VQiQtH47pbM |location=local page |publisher=Topos Institute }} <noinclude> {{#widget:YouTube |id=VQiQtH47pbM |width=640 }} {{PagePostfix |category_csd=Category Theory |seman...")
• 06:58, 5 October 2022 Benkoo talk contribs created page Video/What is category theory? (Created page with "{{cite book |first=Paul |last=Dancstep |author-link=Paul Dancstep |date=Sep 29, 2022 |title=What is category theory? |url=https://www.youtube.com/watch?v=eXBwU9ieLL0 |location=local page |publisher=Topos Institute }} <noinclude> {{#widget:YouTube |id=eXBwU9ieLL0 |width=640 }} {{PagePostfix |category_csd=Category Theory |semantic_labels=Organized by:Organized by::Topos Institute Presented by:Presented by::Paul Dancstep }...")
• 01:12, 5 October 2022 Benkoo talk contribs moved page Video/From Scratch to Univalence - to Video/From Scratch to Univalence - SoME2
• 01:12, 5 October 2022 Benkoo talk contribs created page Video/From Scratch to Univalence - (Created page with "{{cite book |editor=Looping Back |editor-link=Looping Back |date=Aug 15, 2022 |title=From Scratch to Univalence - SoME2 |url=https://www.youtube.com/watch?v=yIgzlWgGfgw |location=local page |publisher=Looping Back }} <noinclude> {{#widget:YouTube |id=yIgzlWgGfgw |width=640 |height=360 }} {{PagePostfix |category_csd=Univalence,Category Theory |semantic_labels=Organized by:Organized by::Looping Back }} </noinclude>")
• 20:09, 2 October 2022 Benkoo talk contribs created page Video/What A General Diagonal Argument Looks Like (Category Theory) (Created page with "{{cite book |editor=Thicery |editor-link=Thicery |date=Aug 16, 2022 |title=What A General Diagonal Argument Looks Like (Category Theory) |url=https://www.youtube.com/watch?v=dwNxVpbEVcc |location=local page |publisher=Thricery }} <noinclude> {{#widget:YouTube |id=dwNxVpbEVcc |width=640 |height=360 }} {{PagePostfix |category_csd=Diagonalization |semantic_labels=Organized by:Organized by::T...")
• 07:46, 18 September 2022 Benkoo talk contribs moved page The Three Principles of the Science of Governance to Three Principles of the Science of Governance
• 13:23, 16 September 2022 Benkoo talk contribs created page Andrea Asperti (Created page with "{{WikiEntry|key={{PAGENAME}}|qCode=57066096}} is an Italian computer scientist.")
• 13:22, 16 September 2022 Benkoo talk contribs created page Giuseppe Longo (Created page with "{{WikiEntry|key={{PAGENAME}}|qCode=3108069}} is an Italian mathematician.")
• 13:19, 16 September 2022 Benkoo talk contribs created page Book/CATEGORIES TYPES AND STRUCTURES (Created page with "{{cite book |title=CATEGORIES TYPES AND STRUCTURES:An Introduction to Category Theory for the working computer scientist |first1=Andrea |last1=Asperti |author-link1=Andrea Asperti |first2=Giuseppe |last2=Longo |author-link2=Giuseppe Longo |url=http://www.cs.unibo.it/~asperti/PAPERS/book.pdf |date=August 23, 1991 |publisher=MIT Press |location=local page |isbn=978-0262011259 }} <noinclude> {{#widget:PDF |url=http://www.cs.unibo.it...")
• 06:40, 15 September 2022 Benkoo talk contribs created page Steve Woolgar (Created page with "{{WikiEntry|key={{PAGENAME}}|qCode=521895}} is a British sociologist.")
• 06:39, 15 September 2022 Benkoo talk contribs created page Book/Laboratory Life (Created page with "{{cite book |title=Laboratory Life: The Construction of Scientific Facts |first1=Bruno |last1=Latour |author-link1=Bruno Latour |first2=Steve |last2=Woolgar |author-link2=Steve Woolgar |date=Sep 21, 1986 |publisher=Princeton University Press |isbn=9780691028323 |location=local page }} <noinclude> This book must be read in conjunction with Science in Action <ref>{{:Book/Science in Action}}</ref> by the same author, Br...")
• 06:27, 15 September 2022 Benkoo talk contribs created page Bruno Latour (Created page with "{{WikiEntry|key={{PAGENAME}}|qCode=355237}} is a French sociologist, philosopher and anthropologist.")
• 06:21, 15 September 2022 Benkoo talk contribs created page Book/Science in Action (Created page with "{{cite book |title=Science in Action: How to Follow Scientists and Engineers Through Society |first=Bruno |last=Latour |author-link=Bruno Latour |date=Oct 15, 1988 |publisher= ‎ Harvard University Press |edition=Revised |isbn=978-0674792913 |location=local page }} <noinclude> {{PagePostfix |category_csd=Meta Physics,Science |semantic_labels=Authored by:Authored by::Bruno Latour }} </noinclude>")
• 05:33, 15 September 2022 Benkoo talk contribs created page Category:SoulBound Token (Created page with "See SoulBound Token")
• 10:49, 14 September 2022 Benkoo talk contribs moved page Personal Identity Information to Personal Identifiable Information
• 10:49, 14 September 2022 Benkoo talk contribs created page Personal Identity Information (Created page with "{{WikiEntry|key=Personally Identifiable Information|qCode=1076693}} is the information that can be used to identify, contact, or locate a single person, or to identify an individual in context.")
• 10:48, 14 September 2022 Benkoo talk contribs created page PII (Redirected page to Personal Identity Information) Tag: New redirect
• 10:45, 14 September 2022 Benkoo talk contribs created page Video/Introduction to Data Governance (Data Architecture - Data Governance) (Created page with "{{cite book |editor=Software Architecture Academy |editor-link=Software Architecture Academy |date=Nov 21, 2021 |title=Introduction to Data Governance (Data Architecture - Data Governance) |url=https://www.youtube.com/watch?v=UNXAUc9gG-4 |location=local page |publisher=Software Architecture Academy }} <noinclude> {{#widget:YouTube |id=UNXAUc9gG-4 |width=640 }} {{PagePostfix |categor...")
• 10:09, 14 September 2022 Benkoo talk contribs created page PDC (Redirected page to Personal Data Container) Tag: New redirect
• 09:28, 14 September 2022 Benkoo talk contribs created page Paper/时间，才是真正事件维度的结构 (Created page with "{{cite journal |title=时间，才是真正事件维度的结构 |url=http://sysmath.com/jweb_xtkxysx/CN/abstract/abstract12028.shtml |publisher=咸叔在厨房唱歌 |author=咸叔 |date=Sep 10, 2022 |location=local page |journal=微信公众号 }} <noinclude> {{PagePostfix |category_csd=微信内容 }} </noinclude>")
• 00:52, 12 September 2022 Benkoo talk contribs created page Cosmic Religion (Created page with "Cosmic Religion is an idea first introduced to me by Yuan Xun, and it has a statement of its significance by Albert Einstein: {{Blockquote |text=The religion of the future will be a cosmic religion. It should transcend a personal God and avoid dogmas and theology. Covering both the natural and the spiritual, it should be based on a religious sense arising from the experience of all things, natural and spiritual, as a meaningful unity. Buddhism answers this des...")
• 23:34, 11 September 2022 Benkoo talk contribs created page Video/Word Embedding Explained and Visualized - word2vec and wevi (Created page with "{{cite book |first=Xin |last=Rong |author-link=Xin Rong |date=Mar 21, 2016 |title=Diffusion Models - Paper Explanation - Math Explained |url=https://www.youtube.com/watch?v=D-ekE-Wlcds |location=local page |publisher=Xin Rong }} <noinclude> {{#widget:YouTube |id=D-ekE-Wlcds |width=640 }} ==Description== An excellent video on Word2Vec. {{PagePostfix |category_csd=Machine Learning,AI |semantic_la...")
• 23:31, 11 September 2022 Benkoo talk contribs created page Word2Vec (Created page with "{{WikiEntry|key=Word2Vec|qCode=22673982}} is a group of related models that are used to produce word embeddings. <noinclude> {{PagePostfix |category_csd=Machine Learning }} </noinclude>")
• 08:56, 11 September 2022 Benkoo talk contribs created page Video/How to get meaning from text with language model BERT - AI Explained (Created page with "{{cite book |first=Romain |last=Futrzynski |author-link=Romain Futrzynski |date=Sep 1, 2020 |title=How to get meaning from text with language model BERT - AI Explained |url=https://www.youtube.com/watch?v=-9vVhYEXeyQ |location=local page |publisher=Peltarion }} <noinclude> {{#widget:YouTube |id=-9vVhYEXeyQ |width=640 }} ==Description== This video is about transformer, which expli...")
• 06:30, 10 September 2022 Benkoo talk contribs created page Paper/A World that Counts (Created page with "{{cite journal |title=A World that Counts |first1=Luis |last1=Gonzalez |date=2014 |location=local page |publisher=Research Gate |url=https://www.undatarevolution.org/wp-content/uploads/2014/12/A-World-That-Counts2.pdf }} <noinclude> {{#Widget:PDF |url=https://www.undatarevolution.org/wp-content/uploads/2014/12/A-World-That-Counts2.pdf |width=900 |height=800 }} {{PagePostfix |category_csd=Data,United Nations }} </noinclude>")
• 04:33, 10 September 2022 Benkoo talk contribs moved page Web 3D Example to Web3D Example
• 02:17, 10 September 2022 Benkoo talk contribs created page Talk:Correct by design (Created page with "This idea was repeatedly explained to me and emphasized by Yuan Xun during September 2022.")
• 02:14, 10 September 2022 Benkoo talk contribs created page Category:Correctness (Created page with "See Correctness")
• 02:13, 10 September 2022 Benkoo talk contribs created page Category:Hoare Logic (Created page with "See Hoare Logic")
• 02:13, 10 September 2022 Benkoo talk contribs created page Correct by Design (Redirected page to Correct by design) Tag: New redirect
• 02:12, 10 September 2022 Benkoo talk contribs created page Category:Correct by Design (Created page with "See Correct by Design")
• 02:08, 10 September 2022 Benkoo talk contribs moved page Hoare Logic to Hoare logic
• 02:07, 10 September 2022 Benkoo talk contribs created page Hoare Logic (Created page with "{{WikiEntry|key={{PAGENAME}}|qCode=1375924}} is a formal system with a set of logical rules for reasoning rigorously about the correctness of computer programs.")
• 02:06, 10 September 2022 Benkoo talk contribs created page Anothony Hoare (Created page with "{{WikiEntry|key=Tony Hoare|qCode=92602}} is a British computing scientist who invented Quick Sort and Hoare Logic. Effectively, he is the person that established the notion:Correct by design.")
• 01:59, 10 September 2022 Benkoo talk contribs created page Correctness by design (Redirected page to Correct by design) Tag: New redirect
• 01:59, 10 September 2022 Benkoo talk contribs created page Correctness by Design (Redirected page to Correctness by design) Tag: New redirect
• 01:58, 10 September 2022 Benkoo talk contribs created page Correct by design (Created page with "{{WikiEntry|key={{PAGENAME}}|qCode=}} is a design and engineering principle that all systems must be designed and built in ways that make incorrect implementation and usage is either infeasible or at least impractical. One way of accomplish this is to make all related artifacts all alinged in ways to avoid mistakes, such as using Verion Control, Blockchain, Ricardian Contract, and Relational Database to capture the entirety of a system in ways that avoids...")
• 01:46, 10 September 2022 Benkoo talk contribs created page Book/A New Earth: Awakening to Your Life's Purpose (Created page with "{{cite book |title=A New Earth: Awakening to Your Life's Purpose |first1=Eckhart |last1=Tolle |author-link=Eckhart Tolle |url=https://en.wikipedia.org/wiki/A_New_Earth |date=2008 |publisher=Penguin |location=local page |isbn=978-1577314806 }} <noinclude> {{PagePostfix |category_csd=Purpose |semantic_labels=Authored by:Authored by::Eckhart Tolle }} </noinclude>")

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