Awesome List Updates on Jul 18 - Jul 24, 2022

50 awesome lists updated this week.

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

1. Awesome Codepoints

Other Lists of Code Points / Games

• Cross-platform terminal characters (⭐188) - a list of characters that work on most terminals.

2. Awesome Nodejs

Packages / Miscellaneous

• wild-wild-path (⭐710) - Object property paths with wildcards and regexes.

3. Awesome Django

Third-Party Packages / Files/Images

• django-pictures (⭐199) - Responsive cross-browser image library using modern codes like AVIF & WebP.

4. Awesome Php

Table of Contents / Strings

• Portable ASCII (⭐476) - A library to convert strings to ASCII.

5. GoBooks

2021 - Practical Go: Building Scalable Network and Non-Network Applications / Why does this book look so different?

• Writing command line applications

• Writing a HTTP services and clients

• Writing RPC services and clients using gRPC

• Writing middleware for network clients and servers

• Storing data in cloud object stores and SQL databases

• Testing your applications using idiomatic techniques

• Adding observability to your applications

• Managing configuration data from your applications

6. Awesome Testing

Software / Make your life easier

• test-each (⭐107) - Repeats tests using different inputs (Data-Driven Testing).

7. Awesome Svelte

UI Libraries

• ionic-svelte (⭐696) - Svelte integration with Ionic's UI for mobile app development, including many starters.

8. Awesome Vala

Apps / Productivity

• GNOME Calculator - The calculator app for the GNOME desktop.

• pdfpc (⭐1.4k) - A GTK presenter application with multi-monitor support for PDF files.

Libraries / Command-line

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

9. Awesome Browser Extensions for Github

github.expandinizr (⭐131)

Add breakpoints at 1400px, 1600px and 1800px for full GitHub experience on large screens. Also removes the truncating of file and directory names in the repository browser.

Installs: 2000 | Stars: 131 | Last update: n/a

10. Awesome Db Tools

SQL / Learning

• Advanced SQL Puzzles (⭐452) - 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.5k) - 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 (⭐83) - T-SQL scripts for the long haul: optimizing storage, on-the-fly documentation, and general administrative needs for SQL Server.

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

• pgsql-bloat-estimation (⭐474) - 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 (⭐887) - Useful PostgreSQL utilities.

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

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

• postgres_queries_and_commands.sql - Useful PostgreSQL Queries and Commands.

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

11. Awesome Open Source Supporters

Miscellaneous

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

12. Awesome Composer

Plugins / IRC

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

13. Awesome Rust

Applications / Blockchain

• Holochain (⭐884) — Scalable P2P alternative to blockchain for all those distributed apps you always wanted to build.

Applications / System tools

• pueue (⭐4.2k) — Manage your long running shell commands.

Libraries / Compression

• gzip
  • zopfli (⭐28) [zopfli] — implementation of the Zopfli compression algorithm for higher quality deflate or zlib compression

Libraries / Mobile

• Generic
  • Geal/rust_on_mobile (⭐167)
  • redbadger/crux (⭐1.3k) [crux_core] — Cross-platform app development. Crux helps you share your app's business logic and behavior across mobile (iOS/Android) and web — as a single reusable core.

14. Awesome Cpp

Websites

• C++ Tutorial for Beginners - A comprenhensive tutorial on C++ curated by trained experts.

15. Awesome Software Patreons

Open Source Projects

• Firezone - Self-hosted VPN server using WireGuard.

16. Awesome React Components

Icons

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

Communication with server / Mouse Events

• query (⭐38k) - docs Powerful asynchronous state management, server-state utilities and data fetching for TS/JS, React, Solid, Svelte and Vue.

Integrations with Third Party Services / Mouse Events

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

17. Awesome Osint

Social Media Tools / Facebook

• haveibeenzuckered - A large dataset containing 533 million Facebook accounts was made available for download. The data was obtained by exploiting a vulnerability that was, according to Facebook, corrected in August 2019. Check if a telephone number is present within the Facebook data breach.

Video Search and Other Video Tools / Telegram

• Filmot - Search within YouTube subtitles. Indexing over 573 million captions across 528 million videos and 45 million channels.

Maritime / Telegram

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

18. Awesome Go

Authentication and OAuth

• keto (⭐4.5k) - 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.

19. Awesome Micropython

Display / GUI

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

20. Awesome Privacy

Plugins for Minecraft

• No-Chat-Reports (⭐914) - A spigot plugin strips cryptographic signatures from player messages, but it breaks any chat plugin by design.

Audio

• Jetispot (⭐339) - Experimental UNOFFICIAL Spotify client for Android built on librespot-java + Jetpack Compose

21. 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 / Frameworks

• ant-design-vue (⭐19k) - An enterprise-class UI components based on Ant Design and Vue 3.2.0

Components & Libraries / UI Utilities

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

22. Awesome Chrome Devtools

The big two automation libraries

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

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

Libraries for driving the protocol (or a layer above)

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

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

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

• Typescript/Node.js: Taiko (⭐3.2k)

• Rust: Rust Headless Chrome (⭐1.2k)

• Python: pyppeteer (⭐2.7k) - puppeteer port

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

• Clojure: cuic (⭐29) - 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 (⭐774) - Debugging functionality for Ruby.

Workflow / Ruby

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

Alumni / Ruby

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

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

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

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

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

• go-debugger-devtools (⭐40)

23. Awesome Tdengine

ORM

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

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

25. Awesome Lowcode

Visual programming

• Cloudscape - An open source design system for the cloud.

26. Awesome Zsh Plugins

Plugins / superconsole - Windows-only

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

• auto-fortune-cowsay (⭐9) - Prints out an ASCII picture of a cow saying a random epigram on every ZSH start.

• aws-cli-mfa (⭐19) - AWS CLI MFA plugin based on sweharris' aws-cli-mfa (⭐23). 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 (⭐15) - Easy setup of cdr for ZSH.

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

• declare-zsh (⭐7) - A parser for zinit (⭐2.2k) 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 (⭐36) - 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 (⭐23k).

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

• fancy-ctrl-z (⭐17) - 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.

• get-jquery (⭐1) - Plugin for fast downloading the jQuery library from code.jquery.com.

• gimme (⭐2) - Manage Go installations with gimme (⭐697).

• git-aliases (mdumitru) (⭐26) - 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 (⭐1) - 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 (⭐9) - 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.

• jenv-lazy (⭐6) - A ZSH plugin for lazy loading of jEnv.

• 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 (⭐32k) 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.

• lux (⭐32) - ZSH plugin to toggle the light & dark modes of macOS, iTerm 2, Visual Studio Code and other items and applications via the lux command. Highly customizable: included items can be configured by defining variables. Highly extensible: items can be added by defining functions. Includes a macos_is_dark helper function to determine if the macOS dark mode is active for use in theming.

• 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 (⭐5k) 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 (⭐36) - A fork of the virtualenv plugin from upstream oh-my-zsh. Adds support for customizing the virtualenv prompt in oh-my-zsh themes.

• yadm (⭐9) - Displays a warning if there are local yadm configuration changes.

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

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

Themes / superconsole - Windows-only

• bearings (⭐193) - 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.

• shinkansen (⭐0) - A fast, customizable and easily extended theme. Includes decorators for rhw python version in the active virtualenv, current ruby version if you're using chruby, current Node.js version, current java version, current go version, current perl version if using chperl, current elixir version, git status, time, current directory, exit code and execution time of the last command, and an optional custom message. Requires a powerline-compatible font.

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

27. Awesome List

Theory

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

Security

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

• Hacking Spots (⭐1k)

28. Awesome Cyber Security University

Introduction and Pre-Security / Level 1 - Intro

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

29. Awesome Neovim

Tree-sitter Supported Colorscheme / Diagnostics

• lewpoly/sherbet.nvim (⭐66) - A soothing colorscheme with support for popular plugins and tree-sitter.

Utility / Diagnostics

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

Fennel / Diagnostics

• Olical/conjure (⭐1.6k) - Interactive evaluation (Clojure, Fennel, Janet, Racket, Hy, MIT Scheme, Guile).

Editing Support / Diagnostics

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

Resource / Diagnostics

• Neovimcraft - A site dedicated to searching specific plugins and guides for building plugins in Lua.

30. Awesome Dotnet

Algorithms and Data structures

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

31. Awesome Video

Learning / Talks Presentations Podcasts

• Video Coding Basics - How is this so efficient? - An introduction to the basics of video coding

32. Awesome Pcaptools

Traffic Capture

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

33. Awesome Vite

Templates / React

• stravital (⭐26) - TypeScript, Git Hooks, Commitizen, Lint Staged, TailwindCSS.

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

Framework-agnostic Plugins / Bundling

• vite-plugin-importus (⭐23) - Modularly import plugin, compatible with antd, lodash, material-ui and so on.

Framework-agnostic Plugins / Transformers

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

Symfony / Community

• Vite Bundle (⭐181) - Integration for Symfony.

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

Finance

• API: Bank Data API

  Description: Instant IBAN and SWIFT number validation across the globe

  Auth: apiKey

  HTTPS: Yes

  CORS: Unknown

• API: Tax Data API

  Description: Instant VAT number and tax validation across the globe

  Auth: apiKey

  HTTPS: Yes

  CORS: Unkown

35. Awesome Alfred Workflows

Communication

• Mouseless Messenger (⭐81)

36. Awesome Embedded Rust

no-std crates / WIP

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

37. Awesome Zig

Parser / Package managers

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

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

38. Awesome Capacitor

Other plugins

• Google
  • Auth (⭐240) - 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 (⭐21) - Retrieve data from Google Fit.
  • MlKit Language (⭐3) - Identify the language of a string of text.
  • MlKit Vision (⭐11) - Detect faces in an image, identify key facial features, and get the contours of detected faces.

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

39. Awesome Selfhosted

Software / Automation

• Exadel CompreFace - Face recognition system that provides REST API for face recognition, face detection, and other face services, and is easily deployed with docker. There are SDKs for Python and JavaScript languages. Can be used without prior machine learning skills. (Source Code (⭐3.7k)) Apache-2.0 Docker/Java/Nodejs

• µTask (⭐1.1k) - Automation engine that models and executes business processes declared in yaml. BSD-3-Clause Go/Docker

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 (⭐711)) GPL-2.0 C++

Software / Communication - SIP

• ASTPP - VoIP Billing Solution for Freeswitch. It supports prepaid and postpaid billing with call rating and credit control. It also provides many other features. (Source Code (⭐150)) AGPL-3.0 PHP

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 / Conference Management

• frab - Web-based conference planning and management system. It helps to collect submissions, to manage talks and speakers and to create a schedule. (Source Code (⭐688)) MIT Ruby/Docker

Software / Content Management Systems (CMS)

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

Software / Document Management

• paper{s}pace - Small web application to manage all your offline documents. Provides a searchable storage for your documents and reminds you of upcoming tasks. (Source Code) MIT Java

Software / Feed Readers

• RSS-Bridge (⭐6.7k) - Generate RSS/ATOM feeds for websites which don't have one. Unlicense PHP/Docker

Software / Internet of Things (IoT)

• OpenRemote - Open-Source IoT Platform - IoT Asset management, Flow Rules and WHEN-THEN rules, Data visualization, Edge Gateway. (Demo, Source Code (⭐1k)) AGPL-3.0 Java

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 / Media Streaming - Video Streaming

• Tube - Youtube-like (without censorship and features you don't need!) Video Sharing App written in Go which also supports automatic transcoding to MP4 H.265 AAC, multiple collections and RSS feed. (Demo) MIT Go

Software / Miscellaneous

• OpenZiti - Fully-featured, self-hostable, zero trust, full mesh overlay network. Includes a 2FA support out of the box, clients for all major desktop/mobile OS'es. (Source Code (⭐1.8k)) Apache-2.0 Go

Software / Pastebins

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

• dpaste - Simple pastebin with multiple text and code option, with short url result easy to remember. (Source Code (⭐503)) MIT Docker/Django

• Wastebin (⭐175) - Lightweight, minimal and fast pastebin with an SQLite backend. (Demo) MIT Rust/Docker

Software / Software Development - FaaS & Serverless

• fx (⭐2.1k) - A tool to help you do Function as a Service with painless on your own servers. MIT Go

Software / Status / Uptime pages

• Uptime Kuma (⭐47k) - Self-hosted website monitoring tool like "Uptime Robot". (Demo) MIT Docker/Nodejs

Software / URL Shorteners

• Lstu (⭐201) - Lightweight URL shortener. WTFPL Perl/Docker

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

• Building apps for Teams in .NET & Blazor - May 11, 2022 - John Miller joins James on this week's On .NET to chat about how .NET developers can build Microsoft Teams apps and bots completely with C#, .NET, and Blazor! John walks us through everything we need to know to get started and how to even publish apps for Teams.

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

41. Awesome Jupyter

JupyterLab Extensions

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

42. Awesome Kotlin

Libraries/Frameworks / Misc

• vendelieu/telegram-bot (⭐116) - A lightweight, feature-rich wrapper for the Telegram Bot API

43. Free for Dev

Major Cloud Providers

• Google Cloud Platform
  • App Engine - 28 frontend instance hours per day, nine backend instance hours per day
  • Cloud Firestore - 1GB storage, 50,000 reads, 20,000 writes, 20,000 deletes per day
  • Compute Engine - 1 non-preemptible e2-micro, 30GB HDD, 5GB snapshot storage (restricted to certain regions), 1 GB network egress from North America to all region destinations (excluding China and Australia) per month
  • Cloud Storage - 5GB, 1GB network egress
  • Cloud Shell - Web-based Linux shell/primary IDE with 5GB of persistent storage. 60 hours limit per week
  • Cloud Pub/Sub - 10GB of messages per month
  • Cloud Functions - 2 million invocations per month (includes both background and HTTP invocations)
  • Cloud Run - 2 million requests per month, 360,000 GB-seconds memory, 180,000 vCPU-seconds of compute time, 1 GB network egress from North America per month
  • Google Kubernetes Engine - No cluster management fee for one zonal cluster. Each user node is charged at standard Compute Engine pricing
  • BigQuery - 1 TB of querying per month, 10 GB of storage each month
  • Cloud Build - 120 build-minutes per day
  • Cloud Source Repositories - Up to 5 Users, 50 GB Storage, 50 GB Egress
  • Google Colab - Free Jupyter Notebooks development environment.
  • Full, detailed list - https://cloud.google.com/free

Messaging and Streaming

• knock.app – Notifications infrastructure for developers. Send to multiple channels like in-app, email, SMS, Slack, and push with a single API call. The free plan includes 10,000 messages/mo.

• webpushr - Web Push Notifications - Free for upto 10k subscribers, unlimited push notifications, in-browser messaging

IaaS

• Idrive e2 - S3 compatibility object storage. 10 GB free storage and 10 GB download bandwidth per month.

44. Awesome Magento2

Tools

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

Localization

• nl_NL (⭐7) 🇳🇱 - Dutch Language Package.

45. Awesome Cl

Changing the syntax

• clamp (⭐71) - Arc language's brevity and conciseness to Common Lisp. Artistic License 2.0.
  • also arc-compat (⭐11) - Arc compatible package. Perl Foundation's Artistic Licence 2.0.

Websockets / Isomorphic web frameworks

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

46. Awesome Ai in Finance

Courses & Books & Blogs

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

Visualizing / Plugins

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

47. Awesome Digital History

Archives and primary sources / Germany

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

48. Awesome Agi Cocosci

Paper Reading

• How to Read a Paper - ACM SIGCOMM Computer Communication Review, 2007. [All Versions]. A comprehensive tutorial on reading scientific papers.

• It's not just you: science papers are getting harder to read - Nature, 2017. [All Versions]. Nature perspective on reading scientific papers.

Literature Management

• Construction of the Literature Graph in Semantic Scholar - NAACL'18, 2018. [All Versions]. Semantic Scholar with extracting feature and metadata from raw paper data.

• S2ORC: The Semantic Scholar Open Research Corpus - ACL'20, 2020. [All Versions]. An open corpus of academic papers released by Semantic Scholar.

• Litmaps - Litmap Ltd. For interactive literature map construction and linked document management.

• StateOfTheArt.AI - StateOfTheArtAI. For tracking, collecting and visualizing the development of AI research.

Knowledge Management

• Knowledge organization - Wikipedia. Wikipedia on knowledge organization methods.

• The Zettelkasten Method - Bielefeld University. Relating ideas in graphs and multi-labels.

• Zettelkasten - Wikipedia. Wikipedia on the Zettelkasten method.

• Roam Research - Roam Research. For linked document management, visualization, and sharing.

• Foam - Foambubble. For linked document management, visualization, and sharing, opensourced softward built on VSCode.

• Building a Second Brain - Forte Labs, LLC. Connecting ideas in graphs.

• Niklas Luhmann's Card Index: Thinking Tool, Communication Partner, Publication Machine - Forgetting Machines: Knowledge Management Evolution in Early Modern Europe, Brill, 2016. [All Versions].

• Where Does Niklas Luhmann's Card Index Come From? - Erudition and the Republic of Letters, 2018. [All Versions]. A simplified introduction on Luhmann's Zettelkasten.

• Niklas Luhmann's Card Index: The Fabrication of Serendipity - Sociologica, 2018. [All Versions].

• Communicating with Slip Boxes - 2019. [All Versions].

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.

• Philosophical Writings of Peirce - Courier Corporation, 1955. [All Versions]. Original writings by C. S. Peirce, the establisher of Abduction.

• The Inference to the Best Explanation - Philosophical Review, 1965. [All Versions]. Lipton's original paper on Inference to the Best Explanation as a special case of Abduction.

• Inference to the Best Explanation - Routledge, 1991. [All Versions]. Lipton's book on Inference to the Best Explanation as a special case of Abduction.

• A Study of Thinking - Routledge, 1956. [All Versions]. A classic book on thinking patterns.

• Abductive Reasoning and Learning - Springer, 2000. [All Versions]. An introductory account on abductive reasoning.

• Abductive Reasoning: Logical Investigations into Discovery and Explanation - Springer, 2006. [All Versions]. An introductory account on abductive reasoning.

• Explanation and Abductive Inference - The Oxford Handbook of Thinking and Reasoning, 2012. [All Versions]. A handbook on the formulations of Abduction.

• Probabilistic models of cognition: Conceptual foundations - Trends in Cognitive Sciences, 2006. [All Versions]. A Bayesian account of Abduction.

• The structure and function of explanations - Trends in Cognitive Sciences, 2006. [All Versions]. Basic computation modes of Abduction.

• Explanatory Preferences Shape Learning and Inference - Trends in Cognitive Sciences, 2016. [All Versions]. An account showing that inductive bias is critical for explanation.

• Explanation, updating, and accuracy - Journal of Cognitive Psychology, 2016. [All Versions].

• Best, second-best, and good-enough explanations: How they matter to reasoning - Journal of Experimental Psychology, 2018. [All Versions]. A subjective probability account of Abduction.

• How explanation guides belief change - Trends in Cognitive Sciences, 2021. [All Versions]. A review on the subjective probability account of Abduction.

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

• Scientific discovery: Computational explorations of the creative processes - MIT Press, 1987. [All Versions]. A computational account unifying Scientific Discovery with the creativity feature of Abduction.

• Induction: Processes of Inference, Learning, and Discovery - MIT Press, 1989. [All Versions]. An Induction account of Scientific Discovery.

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

• Complexity Management in a Discovery Task - CogSci'92, 1992. [All Versions]. Advanced experiments on dual space search.

• A dual-space model of iteratively deepening exploratory learning - International Journal of Human-Computer Studies, 1996. [All Versions]. Iterative version (in depth and in width) of dual space search.

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

• When to trust the data: Further investigations of system error in a scientific reasoning task - Memory & Cognition, 1996. [All Versions]. A behavioral account on the shift between bottom-up observation and top-down reasoning.

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

Abduction / Rationalization

• Imagination and the generation of new ideas - Cognitive Development, 2015. [All Versions]. A piece of evidence for rationalization in childhood.

• Coalescing the Vapors of Human Experience into a Viable and Meaningful Comprehension - CogSci'16, 2016. [All Versions]. Constrainted thinking as rationalization.

• How We Know What Not To Think - Trends in Cognitive Sciences, 2019. [All Versions]. A comprehensive review on rationalization.

• Rationalization is rational - Behavioral and Brain Sciences, 2020. [All Versions]. A rationality account on rationalization.

• Why Imaginary Worlds? The psychological foundations and cultural evolution of fictions with imaginary worlds - Behavioral and Brain Sciences, 2021. [All Versions]. A review of rationalization as imaginary worlds in fictions.

Abduction / Applications in AI

• Functional genomic hypothesis generation and experimentation by a robot scientist - Nature, 2004. [All Versions]. A canonical application of logical abduction on biodesign.

• Highly accurate protein structure prediction with AlphaFold - Nature, 2021. [All Versions]. A canonical application of observation- and explanation- based method for protein structure prediction instead of first-principle-based methods.

• Interpretation as abduction - Artificial Intelligence, 1993. [All Versions]. A computational account on interpretation as Abduction.

• Probabilistic Horn abduction and Bayesian networks - Artificial Intelligence, 1993. [All Versions]. Casual abduction in Bayesian networks.

• Abductive Logic Programming - Journal of Logic Computation, 1992. [All Versions]. The original paper in ALP.

• ACLP: Abductive Constraint Logic Programming - The Journal of Logic Programming, 1999. [All Versions]. The original paper in ACLP.

• Abduction in Logic Programming - Computational Logic, 2002. [All Versions]. The revised version of the ALP paper.

• Machine Translation Using Abductive Inference - COLING, 1990. [All Versions]. An application of abduction in language translating.

• Anomaly detection through explanations - Ph.D Dissertation MIT, 2018. [All Versions]. An application of abduction in anomaly detection.

Bayesian Modeling / Bayesian Induction

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

• Probabilistic machine learning and artificial intelligence - Nature, 2015. [All Versions]. Zoubin Ghahramani's review on Bayesian machine learning.

• Generalization, similarity, and Bayesian inference - Behavioral and Brain Sciences, 2001. [All Versions]. Josh Tenenbaum's review on Bayesian generalization.

• Bayesian modeling of human concept learning - NeurIPS'98, 1998. [All Versions]. Original paper on Bayesian generalization.

• Word learning as Bayesian inference - Psychological Review, 2007. [All Versions]. [APA]. Fei Xu's review on Bayesian word learning.

• Human-level concept learning through probabilistic program induction. - Science, 2015. [All Versions]. [Supplementary Material]. Bayesian program induction for few-shot learning.

Bayesian Modeling / Generative Model

• Filters, random fields and maximum entropy (FRAME): Towards a unified theory for texture modeling - International Journal of Computer Vision, 1998. [All Versions]. Song-Chun Zhu's original paper on energy-based generative texture modeling.

• Object Perception as Bayesian Inference - Annual Review of Psychology, 2004. [All Versions]. Alan Yuille's review on Bayesian object perception.

• A tale of three probabilistic families: Discriminative, descriptive, and generative models - Quarterly of Applied Mathematics, 2018. [All Versions]. Ying Nian Wu's review on three families of statistical modeling.

• From information scaling of natural images to regimes of statistical models - Quarterly of Applied Mathematics, 2008. [All Versions]. A statistical account for the shift from textons to texture.

• A Theory of Generative ConvNet - ICML'16, 2016. [All Versions].

• Learning Latent Space Energy-Based Prior Model - NeurIPS'20, 2020. [All Versions]. [Project]. [Code (⭐29)]. A milestone paper on Latent Energy-Based Model.

• Image segmentation by data-driven markov chain monte carlo - IEEE Transactions on Pattern Analysis and Machine Intelligence, 2002. [All Versions]. Classic method for image segmentation via generative modeling.

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

• Analysis of Langevin Monte Carlo via Convex Optimization - Journal of Machine Learning Research, 2019. [All Versions].

• Where do hypotheses come from? - Cognitive Psychology, 2017. [All Versions]. A Bayesian account for modeling basic rules as the hypothesis space.

Bayesian Modeling / Nonparametric Model

• A Bayesian Analysis of Some Non-parametric Problems - The Annals of Statistics, 1973. [All Versions]. A classic review on non-parametric problems.

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

• Finding scientific topics - Proceedings of the National Academy of Sciences, 2004. [All Versions]. Application on scientific paper ananlysis for hierarchical topic model.

• Hierarchical topic models and the nested Chinese restaurant process - NeurIPS'03, 2003. [All Versions]. The original paper for nested Chinese restaurant process.

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

• The Indian Buffet Process: An Introduction and Review - Journal of Machine Learning Research, 2011. [All Versions]. Tom Griffiths and Zoubin Ghahramani's review on infinite models, including the Chinese Restaurant Process (CRP) and the Indian Buffet Process (IBP).

• Nonparametric Bayesian Logic - UAI'05, 2005. [All Versions]. The first paper integrating logic into non-parametric model.

• Statistical Predicate Invention - ICML'07, 2007. [All Versions]. Treating predicate invention as a non-parametric problem, in the account of statistics.

Bayesian Modeling / Bayesian Optimization

• Practical Bayesian Optimization of Machine Learning Algorithms - NeurIPS'12, 2012. [All Versions]. The original paper for applying Bayesian optimization to machine learning hyperparameter selection.

• A Tutorial on Bayesian Optimization - 2018. [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.

Complexity & Information Theory / Theory

• An introduction to Kolmogorov complexity and its applications - Springer, 2008. [All Versions]. The introductory book for Algorithmic Information Theory, especially the Kolmogorov complexity theory.

• Complexity and the representation of patterned sequences of symbols - Psychological Review, 1972. [All Versions]. Herbert Simon's review on subjective complexity.

• Algorithmic Information Theory - IBM Journal of Research and Development, 1977. [All Versions]. Chaitin's original paper on Algorithmic Information Theory.

Complexity & Information Theory / Dimensionality Reduction

• A global geometric framework for nonlinear dimensionality reduction - Science, 2000. [All Versions]. The original paper on spectrum clustering.

• Reducing the dimensionality of data with neural networks - Science, 2006. [All Versions]. The original paper on Variational Autoencoder.

• Representation Learning: A Review and New Perspectives - IEEE Transactions on Pattern Analysis and Machine Intelligence, 2013. [All Versions]. Yoshua Bengio's review on representation learning.

• Representation Learning: A Statistical Perspective - Annual Review of Statistics and Its Application, 2020. [All Versions]. Song-Chun Zhu and Ying Nian Wu's review on representation learning, in an account of statistics.

• Deep Learning and the Information Bottleneck Principle - IEEE Information Theory Workshop'15, 2015. [All Versions]. The first paper identifying the problem of information bottleneck in representation learning.

• On the information bottleneck theory of deep learning - Journal of Statistical Mechanics: Theory and Experiment, 2019. [All Versions].

Complexity & Information Theory / Visual Complexity

• Visual complexity: a review - Psychological Bulletin, 2006. [All Versions]. [APA]. A psychological account on visual complexity.

• Seeing and speaking: How verbal “description length” encodes visual complexity - Journal of Experimental Psychology, 2022. [All Versions]. [APA]. Empirical evidencs showing the relation between visual complexity and description length.

• How variability shapes learning and generalization - Trends in Cognitive Sciences, 2022. [All Versions]. A comprehensive review on the trade-off between variability and generalization ability.

Communications / Non-Verbal Communication

• The Interactive Evolution of Human Communication Systems - Cognitive Science, 2010. [All Versions]. Nicolas Fay's original paper on iconicity.

• Iconicity: From sign to system in human communication and language - Pragmatics & Cognition, 2014. [All Versions]. Nicolas Fay's account on the emergence of iconic language.

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

• Pixelor: A Competitive Sketching AI Agent. So you think you can beat me? - ACM SIGGRAPH'20, 2020. [All Versions]. [Project]. Rationality in feature sketching.

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

• Emergent Graphical Conventions in a Visual Communication Game - 2021. [All Versions]. A computational account on the emergence of iconic language.

• Communicating artificial neural networks develop efficient color-naming systems - Proceedings of the National Academy of Sciences, 2021. [All Versions]. Simulating the emergence of code as the communication bottleneck in color learning task.

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

• Twelve-month-olds communicate helpfully and appropriately for knowledgeable and ignorant partners - Cognition, 2008. [All Versions]. The original paper on child pointing.

Communications / Pragmatics

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

• Predicting Pragmatic Reasoning in Language Games - Science, 2012. [All Versions]. The original paper on Rational Speech Act (RSA).

• Pragmatic Language Interpretation as Probabilistic Inference - Trends in Cognitive Sciences, 2016. [All Versions]. Noah Goodman and Micheal Frank's review on Rational Speech Act.

• Processing gradable adjectives in context: A visual world study - Semantics and Linguistic Theory, 2016. [All Versions]. Adjective understanding as a rational inference in the context.

• Social Pragmatics: Preschoolers Rely on Commonsense Psychology to Resolve Referential Underspecification - Child Development, 2019. [All Versions]. A piece of evidence for children's capability on social pragmatics.

• Pragmatic Issue-Sensitive Image Captioning - ACL Findings: EMNLP'20, 2020. [All Versions]. Application of Rational Speech Act to Image Captioning.

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

Domain Specific Language / Domain Specified Applications

• Biocoder: A programming language for standardizing and automating biology protocols - Journal of Biological Engineering, 2010. [All Versions]. [Project (⭐1)]. [Microsoft Page] Microsoft's programming language for representing biology protocols.

Problem Solving / Human-Level Problem Solving

• Elements of a theory of human problem solving - Psychological Review, 1958. [All Versions]. Herbert Simon's original idea on human 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.

• Computational evidence for hierarchically structured reinforcement learning in humans - Proceedings of the National Academy of Sciences, 2020. [All Versions]. A piece of evidence on hierarchical human planning.

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

• Rapid trail-and-error learning with simulation supports flexible tool use and physical reasoning. - Proceedings of the National Academy of Sciences, 2020. [All Versions]. [Project]. [Appendix]. A computational account on rapid trail-and-error problem solving with a noisy prior model.

• Insightful problem solving and creative tool modification by captive nontool-using rooks - Proceedings of the National Academy of Sciences, 2009. [All Versions]. [Supplementary Material]. A piece of evidence on creative tool use in intelligent animals.

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

Problem Solving / Planning

• From Skills to Symbols: Learning Symbolic Representations for Abstract High-Level Planning - Journal of Artificial Intelligence Research, 2018. [All Versions]. Leslie Kaelbling's review on hierarchical Task-and-Motion-Planning (hierarchical TAMP).

• Integrated Task and Motion Planning - Annual Review of Control, Robotics, and Autonomous Systems, 2021. [All Versions]. Leslie Kaelbling's review on Task-and-Motion-Planning (TAMP).

• 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

• Intrinsically Motivated Reinforcement Learning - NeurIPS'04, 2004. [All Versions]. A comprehensive review on intrinsic reward functions in classic reinforcement learning.

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

• Variational Information Maximisation for Intrinsically Motivated Reinforcement Learning - NeurIPS'15, 2015. [All Versions]. The original paper on empowerment as intrinsic motivation.

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

• Why Generalization in RL is Difficult: Epistemic POMDPs and Implicit Partial Observability - NeurIPS'21, 2021. [All Versions]. A formal treatment on the generalization problem in reinforcement learning.

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

• DeepProbLog: Neural Probabilistic Logic Programming - NeurIPS'18, 2018. [All Versions]. The original paper on neuro-symbolic probabilistic programming.

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

• Learning by Abstraction: The Neural State Machine - NeurIPS'19, 2019. [All Versions].

• AI Feynman: A physics-inspired method for symbolic regression - Science Advances, 2019. [All Versions]. A general approach for neuro-symbolic formula synthesis.

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

Explainability / Trustworthy AI

• A tale of two explanations: Enhancing human trust by explaining robot behavior - Science Robotics, 2019. [All Versions]. The original paper on human believable robot, a result of the DAPAR-XAI.

• X-ToM: Explaining with Theory-of-Mind for Gaining Justified Human Trust - 2019. [All Versions]. Introducing the idea of AI estimating human users' knowledge in to explainable AI.

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.

• NBDT: Neural-Backed Decision Trees - NeurIPS'20, 2020. [All Versions]. [Code (⭐597)]. Expliciting the decision process of a decision tree through neural networks.

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.

• Understanding the role of Individual Units in a Deep Neural Network - Proceedings of the National Academy of Sciences, 2020. [All Versions]. David Bau's review on network dissection for discriminative and generative models.

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

• Compositional Explanations of Neurons - NeurIPS'20, 2020. [All Versions]. [Project (⭐24)]. A concept-composition version of network dissection.

• Noise or Signal: The Role of Backgrounds in Image Classification - ICLR'21, 2021. [All Versions]. [Code & Data (⭐130)]. [Project]. A perspective on image background provides strong clue for foreground classification.

• Towards Understanding Learning Representations: To What Extent Do Different Neural Networks Learn the Same Representation - NeurIPS'18, 2018. [All Versions]. Maching the learned pattern of neurons in different neural networks.

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 / Democratization of Science

• 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

• Scaling up psychology via Scientific Regret Minimization - Proceedings of the National Academy of Sciences, 2020. [All Versions]. The statistical and ecological basis for 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.

• Model-Agnostic Meta-Learning for Fast Adaptation of Deep Networks - ICML'17, 2017. [All Versions]. [Post]. Chelsea Finn's original paper on Model-Agnostic Meta-Learning (MAML).

• Bayesian Model-Agnostic Meta-Learning - NeurIPS'18, 2018. [All Versions]. A Bayesian account on MAML.

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 / Democratization of Science

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

• Action Understanding as Inverse Planning - Cognition, 2009. [All Versions]. [Appendix]. The original paper on Inverse Planning, a computational implementation of ToM.

• Bayesian Theory of Mind: Modeling Joint Belief-Desire Attribution - CogSci'11, 2011. [All Versions].

• Bayesian Theory of Mind : modeling human reasoning about beliefs, desires, goals, and social relations - Ph.D. Dissertation MIT, 2012. [All Versions]. Chris Baker's Ph.D. dissertation, a comprehensive review on Bayesian modeling of Theory of Mind.

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

• AGENT: A Benchmark for Core Psychological Reasoning - ICML'21, 2021. [All Versions]. A benchmark for AI that modeling the core knowledge of ToM.

• Experimental Games and Social Decision Making - Annual Review of Psychology, 2021. [All Versions]. A comprehensive review on social ToM experiment pafadigms.

• Theory of Minds: Understanding Behavior in Groups through Inverse Planning - AAAI'19, 2019. [All Versions]. Inverse Planning in multi-agent setting.

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

• Learning Triadic Belief Dynamics in Nonverbal Communication from Videos - CVPR'21, 2021. [All Versions]. Theory of Mind in the perception level, introduced as a computer vision task.

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

• Baby Intuitions Benchmark (BIB): Discerning the goals, preferences, and actions of others - NeurIPS'21, 2021. [All Versions].

• 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 / Democratization of Science

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

• Emergence of analogy from relation learning - Proceedings of the National Academy of Sciences, 2019. [All Versions]. Analogy feature in language models.

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

• Simulation as an engine of physical scene understanding - Proceedings of the National Academy of Sciences, 2013. [All Versions]. [Appendix]. The first attempt to computationally simulate intuitive physics.

• Functional neuroanatomy of intuitive physical inference - Proceedings of the National Academy of Sciences, 2016. [All Versions]. A piece of evidence for the functional part of intuitive physics in human brain.

• 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

• Representations of Commonsense Knowledge - Morgan Kaufmann, 1990. [All Versions]. A classic book on commonsense knowledge.

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

• DreamCoder: Growing generalizable, interpretable knowledge with wake-sleep Bayesian program learning - 2020. [All Versions]. A incremental learning version of Bayesian program learning.

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.

• Situation Calculus - Wikipedia. Wikipedia on Situation Calculus, which is a logic formalism designed for representing and reasoning about dynamical domains.

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

• Qualitative Simulation - Artificial Intelligence, 1986. [All Versions]. Benjamin Kuipers' original paper on qualitative reasoning.

• Qualitative Reasoning: Modeling and Simulation with Incomplete Knowledge - MIT Press, 1994. [All Versions]. Benjamin Kuipers' comprehensive book on qualitative reasoning.

• Answer Set Programming - ICLPNR'99, 1999. [All Versions]. The original paper on Answer Set Programming (ASP).

• Action Languages, Answer Sets, and Planning - The Logic Programming Paradigms, 1999. [All Versions].

• The discovery of structural form - Proceedings of the National Academy of Sciences, 2008. [All Versions]. Chales Kemp's review on theory induction.

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

Learning with Cognitive Plausibility / Commonsense Knowledgebase

• Accuracy and Precision - Wikipedia. Wikipedia on the distinctions and the trade-off between accuracy and precision.

• Recognition-by-Components: A Theory of Human Image Understanding - Psychological Review, 1987. [All Versions]. The original paper on the recognition-by-components theory.

• Dark, Beyond Deep: A Paradigm Shift to Cognitive AI with Humanlike Common Sense - Engineering, 2020. [All Versions]. Yixin Zhu and Song-Chun Zhu's review on visual commonsense.

• Self-supervised Learning Through the eyes of a Child - NeurIPS'20, 2020. [All Versions]. Concept learning through near-natural co-occurrence frequency estimation.

• BONGARD-LOGO: A New Benchmark for Human-Level Concept Learning and Reasoning - NeurIPS'20, 2020. [All Versions].

• Learning and development in networks: The importance of starting small. - Cognition, 1993. [All Versions]. The original paper on the idea of curriculum learning.

• Curriculum Learning - ICML'09, 2009. [All Versions]. The original paper applying the idea of curriculum learning to machine learning.

• Inferring "Dark Matter" and "Dark Energy" from Videos - ICCV'13, 2013. [All Versions]. The original paper on latent state discovery from videos.

49. Awesome Yew

Official

• Playground - Online playground for Yew.

Templates

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

50. Awesome Mac

Reading and Writing Tools / Text Editors

• Lapce - Lightning-fast and powerful code editor.

Reading and Writing Tools / Office

• OnlyOffice - An office suite that combines text, spreadsheet and presentation editors allowing to create, view and edit local documents.

Reading and Writing Tools / Markdown Tools

• Zettlr - A markdown editor for the 21st century.

Reading and Writing Tools / Note-taking

• Logseq - Privacy-first, open-source knowledge base that works on top of local plain-text Markdown and Org-mode files.

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

Developer Tools / API Development and Analysis

• Katalon Studio - Simplify API, Web, Mobile Automation Tests Free. Robust. Cross-platform. Automation testers from 160 countries with channels, GitHub repositories.

Communication / Email Clients

• ElectronMail (⭐1.4k) - 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 (⭐377) - 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.

Browsers / Audio Record and Process

• Min - Fast, minimal browser that protects your privacy.

Utilities / General Tools

• Cloudflare WARP - Replaces the connection between your device and the Internet with a modern, optimized, protocol.

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

Utilities / Productivity

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

• Cerebro - Open-source productivity booster with a brain.

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

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