Awesome List Updates on Jul 18 - Jul 24, 2022

console-command (⭐1) - Library to route command-line arguments to a Command pattern object, current implementation covers extension by inheritance or using closures.

Libraries / Data Structures & Data Types

Libgee - A utility library providing GObject-based interfaces and classes for commonly used data structures (lists, maps, queues, trees, etc.).

7. Awesome Db Tools

SQL / Learning

Advanced SQL Puzzles (⭐742) - Difficult set-based SQL puzzles.

Hackerrank - Practice coding, prepare for interviews, and get hired.

LeetCode - Enhance your skills, expand your knowledge and prepare for technical interviews.

Select Star SQL - Free interactive book which aims to be the best place on the internet for learning SQL.

StrataScratch - Data science educational resources.

SQL Murder Mystery (⭐1.9k) - Self-directed lesson to learn SQL concepts and commands and a fun game for experienced SQL users to solve an intriguing crime.

SQL / Scripts

DBA MultiTool (⭐100) - T-SQL scripts for the long haul: optimizing storage, on-the-fly documentation, and general administrative needs for SQL Server.

pgx_scripts (⭐1.4k) - A collection of useful little scripts for database analysis and administration, created by our team at PostgreSQL Experts.

pgsql-bloat-estimation (⭐549) - Queries to mesure statistical bloat in indexes and tables for PostgreSQL.

pgWikiDont - SQL test that checks if your database follows rules from https://wiki.postgresql.org/wiki/Don't_Do_This.

pg-utils (⭐1.1k) - Useful PostgreSQL utilities.

Postgres cheat sheet - Useful SQL-scripts and commands by <timescale.com>.

postgres_dba (⭐1.2k) - The missing set of useful tools for Postgres DBAs and all engineers.

postgres_queries_and_commands.sql - Useful PostgreSQL Queries and Commands.

TPT (⭐680) - These sqlplus scripts are for Oracle Database performance optimization & troubleshooting.

8. Awesome Open Source Supporters

Miscellaneous

Firezone requires-approval - Self-hosted remote access built on WireGuard.

9. Awesome Composer

Plugins / IRC

Composer-Velocita (⭐27) - Fast and reliable Composer package downloads using Velocita (⭐60): a caching reverse proxy that does not require you to modify your projects.

10. Awesome Vue

Resources / Tutorials

Developing a web application with Vue.js 3 and Vite.js (French) par Mickael Baron

Deploying a web application powered by Vue.js 3 with Docker (French) par Mickael Baron

Components & Libraries / UI Utilities

vorms (⭐714) - Vue Form Validate with Composition API.

11. Awesome Agi Cocosci

Abduction / Explanation

Abduction - Plato Stanford. A computational philosophy account on Abduction, one of the three thinking patterns besides Induction and Deduction, being unique for its potential to introduce new ideas into current knowledge.

Scientific Explanation - Plato Stanford. A computational philosophy account on Scientific Explanation, a canonical application of Abduction.

Scientific Reduction - Plato Stanford. A computational philosophy account on Scientific Reduction, which comes with no explicit boundary with Explanation.

Non-monotonic Logic - Plato Stanford. A computational philosophy account on Non-monotonic Logic, a family of formal frameworks devised to capture and represent defeasible inference.

Patterns of abduction - Synthese, 2007. [All Versions]. A categorization for Abduction in the account of pure philosophy.

On the distinction between Peirce's abduction and Lipton's Inference to the best explanation - Synthese, 2011. [All Versions].

Probabilistic alternatives to Bayesianism: the case of explanationism - Frontiers in Psychology, 2015. [All Versions]. A non-Bayesian account of Abduction.

A Probabilistic Theory of Abductive Reasoning - ICAART, 2021. [All Versions]. A probabilistic perspective for interpreting Abductive Reasoning.

Abduction, Induction, and Analogy - Model-Based Reasoning in Science and Technology, 2010. [All Versions]. The distinctions and relations between Abduction, Induction, and Analogy.

Remembrance of inferences past: Amortization in human hypothesis generation - Cognition, 2018. [All Versions]. A rational account of human hypothesis generation.

Explanation-seeking curiosity in childhood - Current Opinion in Behavioral Sciences, 2020. [All Versions]. A piece of developmental pshchological evidence for Abduction in young children.

Abduction / Scientific Discovery

Scientific Discovery - Plato Stanford. A computational philosophy account on Scientific Discovery, the process or product of successful scientific inquiry, sometimes an Abduction-like (Explanation) thinking pattern.

Models of Discovery: And Other Topics in the Methods of Science - Springer, 1977. [All Versions]. The original book on search as scientific thinking.

Dual Space Search During Scientific Reasoning - Cognitive Science, 1988. [All Versions]. The original paper on the dual space search as scientific thinking theory.

Heuristics for Scientific Experimentation: A Developmental Study - Cognitive Psychology, 1993. [All Versions]. A piece of evidence on children have basic scientific thinking skills.

A 4-Space Model of Scientific Discovery - CogSci'95, 1995. [All Versions]. Extending the dual space search.

Confirmation, disconfirmation, and information in hypothesis testing - Psychological Review, 1987. [All Versions]. A psychological account on hypothesis testing.

Children and adults as intuitive scientists - Psychological Review, 1989. [All Versions]. A perspective against search as scientific thinking.

Abduction and styles of scientific thinking - Synthese, 2021. [All Versions]. A computational philosophy account connecting Abduction and scientific thinking.

Bayesian Modeling / Bayesian Induction

Bayesian Epistemology - Plato Stanford. A computational philosophy account on the nature of uncertainty modeling in Bayesian Epistemology.

Bayesian Modeling / Generative Model

A Tutorial on Energy-Based Learning - Predicting Structured Data, MIT Press, 2006. [All Versiosn]. Yann LeCun's tutorial on energy-based learning.

Bayesian Modeling / Nonparametric Model

Mixtures of Dirichlet Process with Applications to Bayesian Nonparametric Problems - The Annals of Statistics, 1974. [All Versions]. The original paper on Dirichlet Process modeling for non-parametric problems.

Latent Semantic Indexing: A Probabilistic Analysis - Journal of Computer and System Sciences, 2000. [All Versions]. The original paper on hierarchical topic model.

Infinite Latent Feature Models and the Indian Buffet Process - Gatsby Computational Neuroscience Unit Technical Report 2005-001, 2005. [All Versions].

Cognitive Development / Commonsense Knowledgebase

Reconstructing constructivism: Causal models, Bayesian learning mechanisms, and the theory theory - Psychological Bulletin, 2012. [All Versions]. Alison Gopnik's review on the constructivism idea of developmental research.

Machine Common Sense Concept Paper - DARPA, 2018. [All Versions]. DARPA's perspective on integrating core knowledge from development psychology into machine intelligence systems.

Cognitive Development - Wikipedia.

Towards a rational constructivist theory of cognitive development - Psychological Review, 2019. [All Versions]. Fei Xu's review extending Gopnik's view of constructivism, with the rationality as constraint.

The origins of inquiry: inductive inference and exploration in early childhood - Trends in Cognitive Sciences, 2012. [All Versions]. Laura Schulz's review on children's exploratory play.

Play, Curiosity, and Cognition - Annual Review of Developmental Psychology, 2020. [All Versions]. Laura Schulz's review on children's exploratory play, which proposes a new perspective on exploratory play to explain the emergence of irrational behaviors in play.

Communications / Non-Verbal Communication

Graphical Language Games: Interactional Constraints on Representational Form - Cognitive Science, 2007. [All Versions]. The first paper introducing the graphical language game.

Pragmatic Inference and Visual Abstraction Enable Contextual Flexibility During Visual Communication - Computational Brain & Behavior, 2020. [All Versions]. A computational account on the rational behavior in graphical language games.

Bridging cultural and cognitive perspectives on similarity reasoning - CogSci'22, 2022. [All Versions].

Communications / Pragmatics

Pragmatics - Plato Stanford. A computational philosophy account of Pragmatics, whilch studies utterances in specific contexts.

Disentangling contributions of visual information and interaction history in the formation of graphical conventions - CogSci'19, 2019. [All Versions].

Communications / Language Compositionality

Compositionality - Plato Stanford. A computational philosophy account on compositionality, one of the distinctive feature of language.

The Principle of Semantic Compositionality - Topoi, 1994. [All Versions]. The original paper on the principle of semantic compositionality.

On The Emergence Of Compositionality - Proceedings of the Evolution of Language Conference'06, 2006. [All Versions]. The original paper on the emergence of compositionality.

Multi-Agent Cooperation and the Emergence of (Natural) Language - ICLR'17, 2017. [All Versions]. The original paper on the emergence of language in multi-agent reinforcement learning.

Problem Solving / Human-Level Problem Solving

Human Problem Solving - Englewood Cliffs, NJ: Prentice-hall, 1972. [All Versions]. Herbert Simon's classic idea of human problem solving as search.

Judgment under Uncertainty: Heuristics and Biases: Biases in judgments reveal some heuristics of thinking under uncertainty - Science, 1974. [All Versions]. Daniel Kahneman's classic idea of prospective theory.

People construct simplified mental representations to plan - Nature, 2022. [All Versions]. A computational account on rational problem representation in human planning.

Learning to act by integrating mental simulations and physical experiments - CogSci'18, 2018. [All Versions]. [Code (⭐1)].

Problem Solving / Planning

Differentiable Physics and Stable Modes for Tool-Use and Manipulation Planning - Robotics: Science and Systems, 2018. [All Versions].

Discovering State and Action Abstractions for Generalized Task and Motion Planning - AAAI'22, 2022. [All Versions].

Problem Solving / Intrinsic Motivation

Adapting Behavior via Intrinsic Reward: A Survey and Empirical Study - Journal of Artificial Intelligence Research, 2020. [All Versions].

Curiosity-driven Exploration by Self-supervised Prediction - ICML'17, 2017. [All Versions]. The original paper on curiosity as intrinsic motivation.

UCB Exploration via Q-Ensembles - 2017. [All Versions].

Intrinsic Exploration as Empowerment in a Richly Structured Online Game - 2022. [All Versions].

Multi-task reinforcement learning in humans - Nature Human Behavior, 2021. [All Versions].

Problem Solving / Reinforcement Learning

Reinforcement learning: An introduction - MIT Press, 2018. [All Versions]. Richard Sutton's comprehensive book on reinforcement learning.

Reinforcement learning: A survey - Journal of Artificial Intelligence Research, 1996. [All Versions]. Leslie Kaelbling's review on reinforcement learning.

Between MDPs and semi-MDPs: A framework for temporal abstraction in reinforcement learning - Artificial Intelligence, 1999. [All Versions]. The original paper on operation reinforcement learning.

On Monte Carlo Tree Search and Reinforcement Learning - Journal of Artificial Intelligence Research, 2017. [All Versions].

Reinforcement Learning and Control as Probabilistic Inference: Tutorial and Review - 2018. [All Versions]. [Slides]. Sergey Levine's tutorial on treating reinforcement learning probabilisticly.

Constrained Policy Optimization - ICML'17, 2017. [All Versions]. The original paper on constrained reinforcement learning (safe reinforcement learning).

The Quest for a Common Model of the Intelligent Decision Maker - Multi-disciplinary Conference on Reinforcement Learning and Decision Making'22, 2022. [All Versions]. Richard Sutton's perspective on the future directions of reinforcement learning research.

Problem Solving / Inverse Reinforcement Learning

Apprenticeship Learning via Inverse Reinforcement Learning - ICML'04, 2004. [All Versions]. Pieter Abbeel and Andrew Ng's original paper on inverse reinforcement learning (IRL).

Bayesian Inverse Reinforcement Learning - IJCAI'07, 2007. [All Versions]. A Bayesian account on classic inverse reinforcement learning.

System 1 & System 2 / Dual-Coding Theory

Mental Representations: A Dual Coding Approach - Oxford University Press, 1990. [All Versions]. The original book on dual coding theory, in the neuroscience account of mental representation.

Dual coding of knowledge in the human brain - Trends in Cognitive Sciences, 2021. [All Versions]. Yanchao Bi's review on neuroscience experiments on dual coding theory.

Two Forms of Knowledge Representations in the Human Brain - Neuron, 2020. [All Versions]. Illustrating language-derived and sensory-derived knowledge.

System 1 & System 2 / Neural-Symbolic AI

Regression Analysis for Interval-Valued Data - Data Analysis, Classification, and Related Methods, 2000. [All Versions]. The original paper on symbolic regression.

Symbolic data analysis: what is it? - Proceedings in Computational Statistics, 2006. [All Versions].

Learning Explanatory Rules from Noisy Data - Journal of Artificial Intelligence Research, 2018. [All Versions]. The original paper for differential Inductive Logic Programming.

Neural Production Systems - ICML'21, 2021. [All Versions]. Yoshua Bengio's perspective on slot attention model as a general production system.

Explainability / Strong Machine Learning

Ultra-Strong Machine Learning: comprehensibility of programs learned with ILP - Machine Learning, 2018. [All Versions]. Stephen Muggleton's account of ultra-strong machine learning, which not only learns human understandable knowledge, but also improves human performance on the corresponding tasks.

Explainability / Explainable Deep Learning

Network dissection: Quantifying interpretability of deep visual representations - CVPR'17, 2017. [All Versions]. [Project]. [Dataset: Places365]. The original paper on visualizing the class activation maps to explain convolutional neural networks.

Zoom In: An Introduction to Circuits - Distill, 2020. [All Versions]. A perspective on treating neural networks as circuits.

Embodied Intelligence / Explainable Deep Learning

Embodied Cognition - Plato Stanford. A computational philosophy account on Embodied Cognition, which emphasizes the significance of an agent's physical body in cognitive abilities.

Externalism About the Mind - Plato Stanford. A computational philosophy account on mind externalism, a long-term debate about the boundary of embodied intelligence.

Cognitive engineering: Human problem solving with tools - Human Factors, 1988. [All Versions]. The original idea of investigating huamn tool use in problem solving.

Tools, language and cognition in human evolution - Cambridge University Press, 1993. [All Versions]. A classic perspective correlating human tool use with the evolution of civilization.

The Extended Mind - Analysis, 1998. [All Versions]. The original paper on the debate of mind externalism.

The neural bases of complex tool use in humans - Trends in Cognitive Sciences, 2004. [All Versions]. A neuroscience account of human tool use.

Spontaneous Metatool Use by New Caledonian Crows - Current Biology, 2007. [All Versions]. A piece of evidence that intelligent animals can take advantage of matatools to make tools for problem solving.

Tool use and affordance: Manipulation-based versus reasoning-based approaches - Psychological Review, 2016. [All Versions]. A classic review on human tool use and affordance.

Understanding Tools: Task-Oriented Object Modeling, Learning and Recognition - CVPR'15, 2015. [All Versions]. [Project]. The original paper introducing affordance and physically-grounded tool use into computer vision.

Evolutionary Intelligence / Explainable Deep Learning

Evolutionary trade-offs, Pareto optimality, and the geometry of phenotype space - Science, 2012. [All Versions]. A classic paper correlating biological trade-offs with the evolution of pareto optimality.

Pareto optimality in multiobjective problems - Applied Mathematics and Optimization, 1977. [All Versions]. The original paper on the pareto optimality in multiobjective problems.

Pareto-Based Multiobjective Machine Learning: An Overview and Case Studies - IEEE Transactions on Systems, Man, and Cybernetics, 2008. [All Versions]. A comprehensive review on the application of pareto optimality to multiobjective machine learning.

Causality / AI Assisted Research

Identification of Causal Effects Using Instrumental Variables - Journal of the American Statistical Association, 1996. [All Versions].

Causality - Wikipedia. Wikipedia on causality, which is influence by which one event, process, state, or object (a cause) contributes to the production of another event, process, state, or object (an effect) where the cause is partly responsible for the effect, and the effect is partly dependent on the cause.

Causal Models - Plato Stanford. A computational philosophy account on Causal models, which are mathematical models representing causal relationships within an individual system or population.

Causal Theories of Mental Content - Plato Stanford. A computational philosophy account on causal theories of mental content, which attempts to explain how thoughts can be about things.

The Seven Tools of Causal Inference, with Reflections on Machine Learning - Communications of the ACM, 2019. [All Versions]. Judea Pearl's review on causal inference in probabilistic graph models.

Toward Causal Representation Learning - Proceedings of the IEEE, 2021. [All Versions]. Yoshua Bengio's review on the perspective of treating causal inference as a representation learning problem.

Theory-Based Causal Induction - Psychological Review, 2009. [All Versions]. Thomas Griffiths' review on causal Bayesian theory induction.

Theory-Based Causal Transfer: Integrating Instance-Level Induction and Abstract-Level Structure Learning - AAAI'20, 2020. [All Versions]. A computatinoal account on causal transfer.

Causal Reasoning in Rats - Science, 2006. [All Versions]. A piece of evidence for the capability of causal reasoning in intelligent animals.

Do New Caledonian crows solve physical problems through causal reasoning? - Proceedings of the Royal Society B: Biological Sciences, 2009. [All Versions]. A piece of evidence for the capability of causal reasoning in intelligent animals.

Methodologies for Experiments / Quantitative Analysis

Experiments with More Than One Random Factor: Designs, Analytic Models, and Statistical Power - Annual Review of Psychology, 2017. [All Versions]. A comprehensive review of the quantitative analysis techniques for behavioral studies.

Methodologies for Experiments / Scaling Up Behavioral Studies

Using large-scale experiments and machine learning to discover theories of human decision-making - Science, 2021. [All Versions]. A piece of evidence for the merits brought by large-scale behavioral studies in social science.

Visual Search at Pinterest - KDD'15, 2015. [All Versions]. Large scale user study in the development of the recommendations system by Pinterest.

Methodologies for Experiments / Question Answering

Searching large hypothesis spaces by asking questions - CogSci'16, 2016. [All Versions]. A behavioral study for the 20 questions game.

Asking and evaluating natural language questions - CogSci'16, 2016. [All Versions]. A behavioral study for the battleship game.

Methodologies for Experiments / Human-Machine Comparison

Elimination by aspects: A theory of choice - Psychological Review, 1972. [All Versions]. Herbert Simon's early experiments on computer aided behavioral studies.

Methodologies for Experiments / Virtual Reality

Virtual reality in behavioral neuroscience and beyond - Nature Neuroscience, 2002. [All Versions]. A classic review on the early applications of Virtual Reality to behavioral studies.

The psychology of virtual reality - The psychology of technology: Social science research in the age of Big Data (pp. 155–193), American Psychological Association, 2022. [All Versions]. Jeremy Bailenson's review on the applications of Virtual Reality to behavioral studies.

Meta-Level Considerations / Meta Learning

Automated Reinforcement Learning (AutoRL): A Survey and Open Problems - 2022. [All Versions]. A comprehensive review on AutoRL.

David Marr / Commonsense Knowledgebase

Vision: A Computational Investigation into the Human Representation and Processing of Visual Information - MIT Press, 1982. [All Versions].

Meta-Level Considerations / Marr's Levels of Analysis

Bridging Levels of Analysis for Probabilistic Models of Cognition - Current Directions in Psychological Science, 2012. [All Versions]. A Marr's paradigm account on probabilistic models.

Levels of Analysis in Computational Social Science - CogSci'18, 2018. [All Versions]. A Marr's paradigm account on computational social science.

Levels of Analysis for Machine Learning - ICLR'20 Bridging AI and Cognitive Science Workshop, 2020. [All Versions]. A Marr's paradigm account on machine learning.

Meta-Level Considerations / Gestalt

Gestalt theory - A source book of Gestalt psychology, 1938. [All Versions]. The original book on Gestalt psychology.

Gestalt Psychology - Psychologische Forschung, 1967. [All Versions]. Wolfgang Köhler's review on Gestalt psychology.

Deep Learning: How the Mind Overrides Experience - Cambridge University Press, 2011. [All Versions].

Meta-Level Considerations / Rationality

Bounded Rationality - Plato Stanford. A computational philosophy account on Bounded Rationality, an elementary hypothesis of human intelligence in psychology and ecology.

Instrumental Rationality - Plato Stanford. A computational philosophy account on Instrumental Rationality, a dabate on whether an agent's decision is made intentionally or out of rational coherence.

Computational rationality: A converging paradigm for intelligence in brains, minds, and machines - Science, 2015. [All Versions]. A comprehensive review on the rationality of Bayesian computational models.

Resource-rational analysis: Understanding human cognition as the optimal use of limited computational resources - Behavioral and Brain Sciences, 2020. [All Versions]. A resource-rational account on interpreting human intelligence.

Meta-Level Considerations / Cognitive Architecture

The secret life of predictive brains: what's spontaneous activity for? - Trends in Cognitive Sciences, 2021. [All Versions]. A neuroscience account on brain as a generative model.

Is human cognition adaptive? - Behavioral and Brain Sciences, 1991. [All Versions]. The original paper introducing the adaptation perspective of human intelligence, the theoretical basis of the ACT cognitive architecture.

What is consciousness, and could machines have it? - Science, 2017. [All Versions]. A perspective on the two levels of consciousness in machine intelligence.

Theory of Mind / AI Assisted Research

Theory of Mind - Wikipedia. Wikipedia on Theory of Mind (ToM), a cognitive capability that estimating others' goal, belief, and desire.

Bayesian Brains without Probabilities - Trends in Cognitive Sciences, 2016. [All Versions]. A perspective on human probabilistic modeling without explicit probabilistic computation.

Using human brain activity to guide machine learning - Scientific Report, 2018. [All Versions].

Ten-month-old infants infer the value of goals from the costs of actions - Science, 2017. [All Versions]. A piece of evidence for children's capability on ToM.

Intentonomy: a Dataset and Study towards Human Intent Understanding - CVPR'21, 2021. [All Versions]. A large-scale database on human intentionally-posted images on social media.

Adventures in Flatland: Perceiving Social Interactions Under Physical Dynamics - CogSci'20, 2020. [All Versions].

Analogy / AI Assisted Research

Metaphor - Plato Stanford. A computational philosophy account on Metaphor, a poetically or rhetorically ambitious use of words, a figurative as opposed to literal use.

Analogy and Analogical Reasoning - Plato Stanford. A computational philosophy account on Analogy, a comparison between two objects, or systems of objects, that highlights respects in which they are thought to be similar.

A Cognitive Theory of Metaphor - MIT Press, 1985. [All Versions]. A cognitive account on Metaphor.

The structure-mapping engine: Algorithm and examples - Artificial Intelligence, 1989. [All Versions]. A computational implementation of analogy.

Structure mapping in analogy and similarity - American Psychologist, 1997. [All Versions]. A perspective unifying analogy and similarity judgement.

A theory of relation learning and cross-domain generalization - Psychological Review, 2022. [All Versions]. A comprehensive review on the perspective of treating analogy as cross-domain generalization.

Analogies Explained: Towards Understanding Word Embeddings - ICML'19, 2019. [All Versions]. Explaining the analogy capability in word embeddings.

Analogy-preserving Semantic Embedding for Visual Object Categorization - ICML'13, 2013. [All Versions]. The first application of analogy to machine learning.

Analogy between concepts - Artificial Intelligence, 2019. [All Versions]. A mathematical account on analogy.

Preschoolers and adults make inferences from novel metaphors - CogSci'22, 2022. [All Versions]. A piece of evidence that understanding metaphors is capable for different cognitive development phases.

Commonsense / Intuitive Physics

Intuitive Physics: Current Research and Controversies - Trends in Cognitive Sciences, 2018. [All Versions]. Hongjing Lu's review on intuitive physics.

Mind Games: Game Engines as an Architecture for Intuitive Physics - Trends in Cognitive Sciences, 2017. [All Versions]. Tomer Ullman's review on simulation-based intuitive physics.

Limits on Simulation Approaches in Intuitive Physics - Cognitive Psychology, 2021. [All Versions]. Ernest Davis's perspective against intuitive physics, that physcial reasoning is logical reasoning instead of intuition.

Commonsense / AI Commonsense Reasoning

Towards a theory of commonsense visual reasoning - FSTTCS, 1990. [All Versions]. The original paper on visual commonsense.

Commonsense reasoning and commonsense knowledge in artificial intelligence - Communications of the ACM, 2015. [All Versions]. Gary Marcus's review on commonsense knowledge in AI.

Abductive Commonsense Reasoning - ICLR'20, 2020. [All Versions]. Abductive commonsense reasoning on large language models.

Experience Grounds Language - EMNLP'20, 2020. [All Versions]. A perspective on the furture of computational linguistics research---commonsense-driven and embodied language.

Commonsense / Commonsense Knowledgebase

CYC: A Large-Scale Investment in Knowledge Infrastructure - Communications of the ACM, 1995. [All Versions]. The first attempt to build large-scale commonse knoweldgebase from human knowledge.

The Public Acquisition of Commonsense Knowledge - Proceedings of AAAI Spring Symposium on Acquiring (and Using) Linguistic (and World) Knowledge for Information Access, 2002. [All Versions]. The first attempt for acquring commonsense knowlege from humans' activities on the internet.

Inductive Logic & Program Synthesis / Commonsense Knowledgebase

Inductive Logic - Plato Stanford. A computational philosophy account on Inductive Logic, which is a logic of evidential support.

First-order Model Theory - Plato Stanford. A computational philosophy account on First-order Model Theory, which is a branch of mathematics that deals with the relationships between descriptions in first-order languages and the structures that satisfy these descriptions.

Paraconsistent Logic - Plato Stanford. A computational philosophy account on Paraconsistent Logic, where any logic is paraconsistent as long as it is not explosive.

Logical Consequence - Plato Stanford. A computational philosophy account on Logical Consequence, which is about the relation between premises and conclusions in valid arguments.

Logic Pluralism - Plato Stanford. A computational philosophy account on Logic Pluralism, which is the view that there is more than one correct logic.

The Emergence of First-Order Logic - Plato Stanford. A computational philosophy account on the emergence of first-order logic, mainly about first-order logic is natural retrospect.

Second-order and Higher-order Logic - Plato Stanford.

Program Synthesis - Foundations and Trends in Programming Languages, 2017. [All Versions]. Sumit Gulwani's comprehensive review on program synthesis.

The Discovery of the Equator or Concept Driven Learning - IJCAI'83, 1983. [All Versions]. The original paper on second-order metarules.

Meta-interpretive learning: application to grammatical inference - Machine Learning, 2014. [All Versions]. Stephen Muggleton's original paper on Meta-Interpretive Learning (MIL).

Inductive logic programming at 30: a new introduction - Journal of Artificial Intelligence Research, 2020. [All Versions]. A 30-year comprehensive review on Inductive Logic Programming.

Qualitative choice logic - Artificial Intelligence, 2004. [All Versions].

Knowledge Representation / Commonsense Knowledgebase

Handbook of Knowledge Representation - Elsevier, 2008. [All Versions]. A pragmatical handbook for all kinds of knowledge representation modes.

Logic and Ontology - Plato Stanford. A computational philosophy account on logic and ontology, mainly about the intersections of logic and ontology in many significant philosophy problems.

The Language of Thought Hypothesis - Plato Stanford. A computational philosophy account on the laugnage of though hypothesis, which proposes that thinking occurs in a mental language.

Scientific Representation - Plato Stanford. A computational philosophy account on scientific representation, focusing on how scientific models represent their target systems.

Self-Knowledge - Plato Stanford. A computational philosophy account on self-knowledge, which standardly refers to knowledge of one's own mental states—that is, of what one is feeling or thinking, or what one believes or desires.

Supervenience - Plato Stanford. A computational philosophy account on supervenience, where a set of properties A supervenes upon another set B just in case no two things can differ with respect to A-properties without also differing with respect to their B-properties.

Dialogical Logic - Plato Stanford. A computational philosophy account on dialogical logic, which is a dialogue-based approach to logic and argumentation rooted in a research tradition that goes back to dialectics in Greek Antiquity, when problems were approached through dialogues in which opposing parties discussed a thesis through questions and answers.

Temporal Logic - Plato Stanford.

Modal Logic - Plato Stanford. A computational philosophy account on Modal Logic, which is the study of the deductive behavior of the expressions 'it is necessary that' and 'it is possible that'.

Epistemic Logic - Plato Stanford. A computational philosophy account on Epistemic Logic, which is a subfield of epistemology concerned with logical approaches to knowledge, belief and related notions.

The Perception of Relations - Trends in Cognitive Sciences, 2021. [All Versions]. Chaz Firestone's review on the perception of relation, in constrast to the conventional reasoning view.

Theory Acquisition and the Language of Thought - CogSci'08, 2008. [All Versions].

Learning in the Open World / Commonsense Knowledgebase

Zero-Shot Learning—A Comprehensive Evaluation of the Good, the Bad and the Ugly - IEEE Transactions on Pattern Analysis and Machine Intelligence, 2018. [All Versions]. A comprehensive review on zero-shot learning.

Generalizing from a few examples: A survey on few-shot learning - ACM Computing Survey, 2020. [All Versions].

Towards Open World Recognition - CVPR'15, 2015. [All Versions]. The first paper introducing the problem of open-world recognition.

In the Wild: From ML Models to Pragmatic ML Systems - ICLR'20, 2020. [All Versions]. A comprehensive review on incremental machine learning.

12. Awesome Software Patreons

Open Source Projects

Firezone - Self-hosted VPN server using WireGuard.

13. Awesome React Components

Icons

tabler-icons-react - A set of over 450 free MIT-licensed high-quality SVG icons.

Integrations with Third Party Services / Mouse Events

react-firebase-hooks (⭐3.6k) - Hooks to integrate firebase in your application.

14. Awesome Osint

Maritime / GitHub

VesselFinder - a FREE AIS vessel tracking web site. VesselFinder displays real time ship positions and marine traffic detected by global AIS network.

15. Awesome Go

Authentication and OAuth

keto (⭐5.1k) - Open Source (Go) implementation of "Zanzibar: Google's Consistent, Global Authorization System". Ships gRPC, REST APIs, newSQL, and an easy and granular permission language. Supports ACL, RBAC, and other access models.

16. Awesome Micropython

Display / GUI

micropython-nextion (⭐13) - Control Nextion displays using MicroPython.

17. Awesome Chrome Devtools

The big two automation libraries

Puppeteer (⭐91k) - Node.js offering a high-level API to control headless Chrome over the DevTools Protocol. See also awesome-puppeteer (⭐2.5k).

Playwright (⭐75k) - Library to automate Chromium, Firefox and WebKit with a single API. Available for Node.js, Python, .Net, Java. See also awesome-playwright (⭐1.2k).

Libraries for driving the protocol (or a layer above)

JavaScript/Node.js: chrome-remote-interface (⭐4.4k)

TypeScript/Node.js: chrome-debugging-client (⭐134)

Typescript/Node.js: noice-json-rpc - A proxy-based implementation to expose the CDP as its API.

Typescript/Node.js: Taiko (⭐3.6k)

Rust: Rust Headless Chrome (⭐17)

Python: pyppeteer (⭐3.9k) - puppeteer port

Ruby: Ferrum (⭐1.9k) - high-level API to control Chrome in Ruby

Clojure: cuic (⭐37) - Providing a high-level API for UI test automation over the DevTools Protocol.

PHP: PuPHPeteer (⭐1.3k) - php bridge to node puppeteer

Browser Adapters

Inspect - Use devtools against iOS and Android, easily. Browser and Webviews. (closed source)

Using DevTools frontend with other platforms / Ruby

ruby/debug (⭐1.2k) - Debugging functionality for Ruby.

Workflow / Ruby

Web Component DevTools - Inspect, modify and observe Web Components on page.

Alumni / Ruby

Remote Debug Gateway (⭐95) - Allows you to connect a client to multiple browsers at once.
- Multiuser DevTools: DevTools Remote (⭐698) - Remotely debug someone else's browser.

DevTools Backend (⭐147) - Standalone implementation of the Chrome DevTools backend to debug arbitrary web environments.

Python CDP driver: pychrome (⭐637) - low level CDP transport handler

ios-webkit-debug-proxy (⭐6.1k) - Exposes Mobile Safari & UIWebView instances via the CDP.
- Remote Debug iOS WebKit adapter (⭐2.7k) - Builts upon ios-webkit-debug-proxy and translates WebKit's Remote Debugging Protocol API to the CDP.

IE Diagnostics Adapter (⭐571) - Protocol adaptor for Microsoft IE 11 to CDP.

go-debugger-devtools (⭐42)

18. Awesome Tdengine

ORM

APIJSON (⭐18k) - A JSON Transmission Protocol and an ORM Library for providing APIs and Docs without writing any code.

19. Awesome Docker

Volume Management / Data

Convoy (⭐1.3k) 💀 - an open-source Docker volume driver that can snapshot, backup and restore Docker volumes anywhere. By @rancher

20. Awesome Lowcode

Visual programming

Cloudscape - An open source design system for the cloud.

21. Awesome Neovim

Utility / Diagnostics

anuvyklack/fold-preview (⭐133) - Preview closed fold without opening it.

Editing Support / Diagnostics

anuvyklack/pretty-fold.nvim (⭐454) - Foldtext customization.

22. Awesome Zsh Plugins

Plugins / superconsole - Windows-only

alehouse (⭐16) - Contains short aliases for brew commands, inspired by betterbrew.

aws-cli-mfa (⭐20) - AWS CLI MFA plugin based on sweharris' aws-cli-mfa (⭐25). Supports specifying mfa_device in profile.

aws-plugin (⭐2) - Adds helper functions for aws command. Includes mfa and assume-role helpers.

boss-docker (⭐1) - Manages docker on macOS.

bumblebee (⭐2) - A plugin to toggle prepending optirun in the command line.

cdr (⭐17) - Easy setup of cdr for ZSH.

chgo (⭐0) - Clone of chruby modified to make it easy to switch between multiple Go versions.

declare-zsh (⭐10) - A parser for zinit (⭐3.8k) commands in .zshrc. It allows you to perform the following actions on .zshrc from the command-line - enable and disable plugins add or remove snippets.

evil-registers (⭐43) - Extends ZLE vi commands to remotely access named registers of the vim and nvim editors, and system selection and clipboard.

exa (zplugin) (⭐0) - replace ls with ogham/exa (⭐24k).

f-shortcuts (⭐8) - Makes a shortcuts toolbar using F1 to F12 keys.

fancy-ctrl-z (⭐22) - Broken out version of the version in oh-my-zsh so users of other frameworks don't have to import all of oh-my-zsh.

gimme (⭐2) - Manage Go installations with gimme (⭐713).

git-aliases (mdumitru) (⭐30) - Broken out version of the version in oh-my-zsh so users of other frameworks don't have to import all of oh-my-zsh.

git-is-clean (⭐2) - This function will return true or false depending on if it finds out your git repo is dirty or not.

git-smart-commends-wrapper (⭐0) - Wraps git-smart-commands (⭐12) to make it compatible with the oh-my-zsh plugins system.

history-popup (⭐0) - Captures the PageUp key and uses dialog to open a popup menu with the history, so the user can interactively navigate through it and pick the history line to bring back to the prompt.

iterm2 (⭐10) - Packs iTerm 2's ZSH integration scripts into a ZSH plugin to avoid polluting your $HOME directory, with a negligible time increase of only 2ms.

kitsunebook (⭐0) - KitsuneBook plugin for oh-my-zsh.

last-working-dir-tmux (⭐1) - Keeps track of the last used working directory globally and per tmux (⭐38k) session and automatically jumps into it for new shells.

lesaint-git (⭐0) - Replacement git plugin for oh-my-zsh-compatible frameworks.

lesaint-mvn (⭐0) - Maven plugins for oh-my-zsh.

mercurial (⭐2) - Extracted from oh-my-zsh so you can use it without the rest of oh-my-zsh.

pkenv (⭐1) - Installs and loads pkenv.

plugin (⭐12) - Creates custom oh-my-zsh plugins from a boilerplate template. Very oh-my-zsh centric, the generated plugins will need editing to work with other frameworks.

rvm (⭐2) - Initiates rvm (⭐5.2k) and adds rubygem binaries (like compass) accessible in the user's $PATH.

tgenv (⭐0) - Installs and loads tgenv. Includes a function to manually update tgenv.

virtualenv-mod (⭐1) - A modified virtualenv ZSH plugin for oh-my-zsh.

virtualenv-prompt (⭐34) - A fork of the virtualenv plugin from upstream oh-my-zsh. Adds support for customizing the virtualenv prompt in oh-my-zsh themes.

yeoman (⭐41) - Edouard Lopez's Yeoman plugin for oh-my-zsh, compatible with yeoman version ≥1.0 (includes options and command auto-completion).

zshmarks (⭐280) - A port of Bashmarks (by Todd Werth), a simple command line bookmarking plugin, for oh-my-zsh.

Themes / superconsole - Windows-only

bearings (⭐199) - A fast, clean, super-customizable shell prompt. Includes decorators for current directory, git status, exit code of last command, duration of last command, background jobs & username.

vehemence (⭐0) - Includes decorators for pwd, user@host, tty, time, last command exit code and git status.

23. Awesome List

Theory

AGI & CoCoSci (⭐336) - The reciprocation of Artificial General Intelligence (AGI) and Computational Cognitive Sciences (CoCoSci).

Security

Cyber Security University (⭐2.2k) - Free educational resources that focus on learning by doing.

Hacking Spots (⭐1.1k)

24. Awesome Cyber Security University

Introduction and Pre-Security / Level 1 - Intro

Hip Flask - An in-depth walkthrough covering pentest methodology against a vulnerable server.

25. Awesome Dotnet

Algorithms and Data structures

Akade.IndexedSet (⭐74) - A convenient data structure supporting efficient in-memory indexing and querying, including range queries and fuzzy string matching.

26. Awesome Pcaptools

Traffic Capture

Deepfence PacketStreamer (⭐1.9k): High-performance remote packet capture and collection tool, distributed tcpdump for cloud native environments.

27. Awesome Vite

Templates / React

ViteRC (⭐63) - React 18 + TypeScript + ESLint (Airbnb) + Prettier + Husky + Jest + Absolute imports + Commit linting.

Framework-agnostic Plugins / Transformers

vite-plugin-html-inject (⭐77) - Split the index.html into smaller reusable pieces.

Symfony / Community

Vite Bundle (⭐256) - Integration for Symfony.

28. Public Apis

Calendar

API: Checkiday - National Holiday API

Description: Industry-leading Holiday API. Over 5,000 holidays and thousands of descriptions. Trusted by the World’s leading companies

Auth: apiKey

HTTPS: Yes

CORS: Unknown

Documents & Productivity

API: Smart Image Enhancement API

Description: Performs image upscaling by adding detail to images through multiple super-resolution algorithms

Auth: apiKey

HTTPS: Yes

CORS: Unknown

29. Awesome Flutter

Services / Bluetooth / NFC / Beacon

App Review (⭐40) - Requesting and Writing Reviews for Android and iOS by Rody Davis

In App Review (⭐352) - Requesting and Writing Reviews for Android, iOS and MacOS by Britannio Jarrett

30. Awesome Alfred Workflows

Communication

Mouseless Messenger (⭐108)

31. Awesome Embedded Rust

no-std crates / WIP

moonboot (⭐27): OTA Bootloader Construction Framework for Rust no_std environments, especially embedded devices without an OS

32. Awesome Zig

Parser / Package managers

goto-bus-stop/ziguid (⭐8) - GUID parsing/stringifying.

sam701/zig-cli (⭐283) - Package for building command line apps.

33. Awesome Capacitor

Other plugins

Google
- Auth (⭐309) - Google auth plugin for Capacitor.
- Availability (⭐2) - Verifies that Google Play services is installed and enabled, and request enabling Google Play services on device.
- Fit (⭐23) - Retrieve data from Google Fit.
- MlKit Language (⭐3) - Identify the language of a string of text.
- MlKit Vision (⭐13) - Detect faces in an image, identify key facial features, and get the contours of detected faces.

Playlist (⭐29) - Native support for audio playlists, background support, and lock screen controls.

34. Awesome Selfhosted

Software / Communication - IRC

Quassel IRC - Distributed IRC client, meaning that one (or multiple) client(s) can attach to and detach from a central core. (Source Code (⭐746)) GPL-2.0 C++

Software / Communication - Social Networks and Forums

yarn.social - Self-Hosted, Twitter™-like Decentralised micro-logging platform. No ads, no tracking, your content, your data. (Source Code) MIT Go

Software / Content Management Systems (CMS)

Roadiz - Modern CMS based on a node system which can handle many types of services. (Source Code (⭐375)) MIT PHP

Software / Media Streaming - Multimedia Streaming

Icecast 2 - Streaming audio/video server which can be used to create an Internet radio station or a privately running jukebox and many things in between. (Source Code, Clients) GPL-2.0 C

üWave ⚠ - Self-hosted collaborative listening platform. Users take turns playing media—songs, talks, gameplay videos, or anything else—from a variety of media sources like YouTube and SoundCloud. (Demo, Source Code) MIT Nodejs

Software / Pastebins

bin (⭐538) - A paste bin that's actually minimalist. WTFPL/0BSD Rust

35. Awesome Blazor

Videos / Others

Implementing Main Page Headers in Blazor - July 18, 2022 - In this session, Josh and I are back again to continue building a decentralizaed social media platform in the open-source space. This session in particular we will be discussing, designing and implementing a main page header in Blazor using SharpStyles.

Making Blazor work with everything, plus WebAssembly on the server - May 13, 2022 - Talk by Steve Sanderson at the NDC London 2022. Real-world software projects often involve combining many technologies. So, is modern Blazor powerful and flexible enough for your team's needs? In this demo-heavy talk, Steve will show how Blazor WebAssembly/Server can seamlessly embed libraries and logic written in other languages such as Rust or C/C++, how Blazor WebAssembly/Server components can be used inside other SPA frameworks such as React or Angular (or vice-versa) and how Blazor components can be used not only for web projects, but also shared with native apps for macOS, iOS, Android, and Windows (including WPF and WinForms) These capabilities should equip your team to take on the most ambitious projects with confidence. We'll then look further into the future and consider how WebAssembly is moving beyond the browser and is pitched to become a foundational element of cloud-native server apps. You'll be among the first to see an experimental new approach to compiling .NET applications into WASI-compliant universal binaries that can run on any OS or processor, robustly sandboxed and with great performance.

Securing SPAs and Blazor Applications using the BFF Pattern - April 29, 2022 - Securing SPAs and Blazor Applications using the BFF (Backend for Frontend) Pattern at the NDC Porto, by Dominick Baier.

State management in Blazor - April 29, 2022 - State management in Blazor, at the NDC Porto 2022. When developing a Single Page Application, a very important aspect is state management. Since Blazer is a component-based UI framework, how do we manage to update the UI when the state of the application changes.

Streaming three ways with Blazor: REST, gRPC, and SignalR - April 29, 2022 - Streaming three ways with Blazor: REST, gRPC, and SignalR, by Carl Franklin at the NDC Porto 2022. Learn how to stream data from server to client to improve perceived performance and increase scalability. Carl shows how streaming works in general, and then how to implement using each of these three transports.

Articles / Others

Share Blazor components using dependency injection - July 19, 2022 - Share Blazor components using dependency injection.

Using IAsyncEnumerable in a Razor component - July 18, 2022 - Using IAsyncEnumerable in a Razor component.

Podcasts / Others

Steve Sanderson - Blazor, WASI and optimizing tomatoes - July 17, 2022 - At NDC London we sat down with Steve Sanderson and talked about the origin story of Blazor, some of the upcoming things in .NET 7, and what Steve is working on right now. Duration: 35 minutes.

WASM Everywhere with Steve Sanderson - July 7, 2022 - WebAssembly is awesome - what else can you do with it? While at NDC London, Carl and Richard talked to Steve Sanderson about his work with WebAssembly, including Blazor. Steve talks about how WebAssembly continues to evolve adding WebAssembly System Integration. This opens the door to the idea that code in the WebAssembly can be run anywhere - any operating system, any language, using whatever compute is available. That gives an option to run code on the client, the server, and anywhere in between. Duration: 55 minutes.

36. Awesome Jupyter

JupyterLab Extensions

jupyterlab-tensorboard-pro (⭐89) - TensorBoard support for JupyterLab.

37. Awesome Magento2

Tools

n98-magerun2 (⭐905) - The CLI Swiss Army Knife for Magento 2.

Localization

nl_NL (⭐8) 🇳🇱 - Dutch Language Package.

38. Awesome Cl

Websockets / Isomorphic web frameworks

Portal (⭐26) - Portable websockets for Common Lisp, using usocket. LLGPL.

39. Awesome Ai in Finance

Courses & Books & Blogs

🌟 QuantResearch (⭐2.6k) - Quantitative analysis, strategies and backtests https://letianzj.github.io/

Visualizing / Plugins

KLineChart (⭐2.9k) - Highly customizable professional lightweight financial charts

40. Awesome Digital History

Archives and primary sources / Germany

Computerarchiv Muenchen - South German Museum for History of Digital Development.

41. Awesome Yew

Official

Playground - Online playground for Yew.

Templates

Yew HTTP Starter (⭐4) - Yew template with a simple HTTP message & useful helper comments.

42. Awesome Mac

Reading and Writing Tools / Text Editors

Lapce - Lightning-fast and powerful code editor.

Reading and Writing Tools / Markdown Tools

Zettlr - A markdown editor for the 21st century.

Reading and Writing Tools / Note-taking

Standard Notes - An end-to-end encrypted notes app for digitalists and professionals.

Communication / Email Clients

ElectronMail (⭐1.6k) - An Electron-based unofficial desktop client for ProtonMail.

Mailspring - A beautiful, fast, and fully open source mail client.

Tutanota - Encrypted email focused on security and privacy.

Audio and Video Tools / File Sharing

FreeTube - Open source desktop YouTube client built with privacy in mind.

MacYTDL (⭐726) - A macOS GUI front-end for the youtube-dl video downloader.

Museeks - A simple, clean and cross-platform music player.

Nuclear - Streaming music player that finds free music for you.

MusicBrainz Picard - Cross-platform music tagger written in Python.

Utilities / General Tools

Etcher - Flash OS images to SD cards & USB drives, safely and easily.

Utilities / Productivity

ActivityWatch - Cross-platform, extensible, and privacy-focused time-tracker.

Focalboard - Open source, self-hosted alternative to Trello, Notion, and Asana.

43. Awesome Selenium

Device Farms / Desktop GUI Automation (non-browser-centric)

OpenSTF (⭐3.9k) - A framework for running your own device farm, geared toward Android, but also iOS.

Specifications / Desktop GUI Automation (non-browser-centric)

The WebDriver Wire Protocol - All implementations of WebDriver that communicate with the browser, or a RemoteWebDriver server shall use a common wire protocol.

Blogs / Desktop GUI Automation (non-browser-centric)

Official Selenium Blog - The official blog by SeleniumHQ.

44. Awesome Newsletters

General Section / Svelte

Pointer. A window into what current and future CTOs are reading and thinking about. Super high quality engineering-related content only.

Miscellaneous / Svelte

rendezvous with cassidoo. A free weekly tech newsletter with the latest web development articles, a practice technical interview question of the week, a joke, some non-technical content, and more, arriving every Sunday night/Monday morning depending on where you are in the world.

Prev: Jul 25 - Jul 31, 2022
Next: Jul 11 - Jul 17, 2022