Awesome List Updates on Jul 22, 2022

8 awesome lists updated today.

🏠 Home · 🔍 Search · 🔥 Feed · 📮 Subscribe · ❤️ Sponsor

1. 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.

2. Awesome Open Source Supporters

Miscellaneous

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

3. 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.

4. Awesome Mac

Utilities / General Tools

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

5. 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.

6. 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].

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.

Problem Solving / Planning

• Differentiable Physics and Stable Modes for Tool-Use and Manipulation Planning - Robotics: Science and Systems, 2018. [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].

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).

7. Awesome Software Patreons

Open Source Projects

• Firezone - Self-hosted VPN server using WireGuard.

8. 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.

• 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.

• Prev: Jul 23, 2022
• Next: Jul 21, 2022