From e2680127d3b11ba30b9a163ac53fe37fdf52546c Mon Sep 17 00:00:00 2001 From: chenjiajia Date: Sun, 3 Nov 2024 21:10:32 +0000 Subject: [PATCH] Robot Updated at:3 Nov 2024 21:10:32 GMT --- docs/awesome/awesome-agi-cocosci.md | 2 - docs/awesome/awesome-angular.md | 1 + docs/awesome/awesome-falsehood.md | 2 +- docs/awesome/awesome-godot.md | 1 + docs/awesome/awesome-slack.md | 230 ++++++++++++------ .../awesome-theoretical-computer-science.md | 11 +- docs/awesome/awesome-zsh-plugins.md | 5 +- 7 files changed, 167 insertions(+), 85 deletions(-) diff --git a/docs/awesome/awesome-agi-cocosci.md b/docs/awesome/awesome-agi-cocosci.md index 98cabda0bb..7d2ffeb72b 100644 --- a/docs/awesome/awesome-agi-cocosci.md +++ b/docs/awesome/awesome-agi-cocosci.md @@ -172,8 +172,6 @@ Contributions are greatly welcomed! Please refer to [Contribution Guidelines](ht * [Machine Translation Using Abductive Inference](https://www.aclweb.org/anthology/H91-1024.pdf) - ***COLING***, 1990. [[All Versions](https://scholar.google.com/scholar?cluster=15275163177548183539&hl=en&as_sdt=0,5)]. An application of abduction in language translating. -* [Anomaly detection through explanations](https://dspace.mit.edu/handle/1721.1/129250) - ***Ph.D Dissertation MIT***, 2018. [[All Versions](https://scholar.google.com/scholar?hl=en&as_sdt=0%2C5&q=Anomaly+detection+through+explanations&btnG=)]. An application of abduction in anomaly detection. - * [Automated Biodesign Engineering by Abductive Meta-Interpretive Learning](https://arxiv.org/abs/2105.07758) - ***AAAI Spring Symposium Series 2021 on Artificial Intelligence for Synthetic Biology***, 2021. [[All Versions](https://scholar.google.com/scholar?cluster=543730388062329581)]. This work proposes an automated biodesign engineering framework empowered by Abductive Meta-Interpretive Learning (MetaAbd), a novel machine learning approach that combines symbolic and sub-symbolic machine learning, to further enhance the design-build-test-learn cycle by enabling the learning machine to 1) exploit domain knowledge and learn human-interpretable models that are expressed by formal languages such as first-order logic; 2) simultaneously optimise the structure and parameters of the models to make accurate numerical predictions; 3) reduce the cost of experiments and effort on data annotation by actively generating hypotheses and examples. * [Human Comprehensible Active Learning of Genome-Scale Metabolic Networks](https://arxiv.org/abs/2308.12740) - ***AAAI Spring Symposium Series 2023 on Computational Scientific Discovery***, 2023. [[All Versions](https://scholar.google.com/scholar?cluster=10875437066608527790)]. [[Extended Abstract](http://cogsys.org/symposium/discovery-2023/abstracts/Abstract_3169.pdf)]. [[Slides](http://cogsys.org/symposium/discovery-2023/talks/Ai.pdf)]. This work introduces a novel machine learning framework ILP-iML1515 based on Inductive Logic Programming (ILP) that performs abductive logical reasoning and actively learns from training examples. The ILP-iML1515 framework 1) allows high-throughput simulations and 2) actively selects experiments that reduce the experimental cost of learning gene functions in comparison to randomly selected experiments. diff --git a/docs/awesome/awesome-angular.md b/docs/awesome/awesome-angular.md index 8f3813078f..39569d4941 100644 --- a/docs/awesome/awesome-angular.md +++ b/docs/awesome/awesome-angular.md @@ -722,6 +722,7 @@ become an Angular expert. * [playwright-ng-schematics](https://github.com/playwright-community/playwright-ng-schematics) - Adds Playwright Test to your Angular project. * [docker-ng-cli-karma](https://github.com/trion-development/docker-ng-cli-karma) - Angular docker image capable of running Karma with Chrome. * [ngx-playwright](https://github.com/bgotink/ngx-playwright) - Tools to run Playwright e2e tests in an Angular workspace. +* [Meticulous AI](https://www.meticulous.ai/) - Cover the 1000s of edge cases of your application - without writing or maintaining a single test. #### Updating diff --git a/docs/awesome/awesome-falsehood.md b/docs/awesome/awesome-falsehood.md index fe0bc82d0b..0ac3f38e56 100644 --- a/docs/awesome/awesome-falsehood.md +++ b/docs/awesome/awesome-falsehood.md @@ -208,7 +208,7 @@ On character encoding, string formatting, unicode and internationalization. - [The weird world of Windows file paths](https://www.fileside.app/blog/2023-03-17_windows-file-paths/) - “On any Unix-derived system, a path is an admirably simple thing: if it starts with a `/`, it's a path. Not so on Windows.” - [Myths about CPU Caches](https://software.rajivprab.com/2018/04/29/myths-programmers-believe-about-cpu-caches/) - Misconceptions about caches often lead to false assertions, especially when it comes to concurrency and race conditions. - [Myths about `/dev/urandom`](https://www.2uo.de/myths-about-urandom) - There are a few things about `/dev/urandom` and `/dev/random` that are repeated again and again. Still they are false. -- [Facts about State Machines](https://github.com/cpressey/Facts-about-State-Machines) - State machines are often misunderstood and under-applied. +- [Facts about State Machines](https://codeberg.org/catseye/The-Dossier/src/branch/master/article/Facts-about-State-Machines/README.md) - State machines are often misunderstood and under-applied. - [Hi! My name is…](https://www.youtube.com/watch?v=NIebelIpdYk) - This talk could have been named *falsehoods about usernames (and other identifiers)*. - [Popular misconceptions about `mtime`](https://apenwarr.ca/log/20181113) - Part of a post on why file's `mtime` comparison could be considered harmful. - [Rules for Autocomplete](http://jeremymikkola.com/posts/2019_03_19_rules_for_autocomplete.html) - Not falsehoods *per se*, but still a great list of good practices to implement autocompletion. diff --git a/docs/awesome/awesome-godot.md b/docs/awesome/awesome-godot.md index d23b3ddb24..bb2e93bd17 100644 --- a/docs/awesome/awesome-godot.md +++ b/docs/awesome/awesome-godot.md @@ -201,6 +201,7 @@ See [Vivraan/godot-lang-support](https://github.com/Vivraan/godot-lang-support). - [SignalVisualizer](https://github.com/Ericdowney/SignalVisualizer) - Displays the current scene's signals and connections in a easy to read graph and tree dock. - [Simplified Flight Simulation library](https://github.com/fbcosentino/godot-simplified-flightsim) - A library that helps you create a simple airplane/helicopter/spaceship flight simulator. *(Godot 3 and 4)* - [SmartShape2D](https://github.com/SirRamEsq/SmartShape2D) - A 2D terrain tool. *(Godot 3 and 4)* +- [Talo](https://github.com/TaloDev/godot) - A self-hostable game backend for managing players, leaderboards, stats, saving/loading data and more. - [TerraBrush](https://github.com/spimort/TerraBrush) - Minimal Terrain heightmap editor that features sculpting, painting textures, LOD, and MultiZones. - [Virtual Joystick](https://github.com/MarcoFazioRandom/Virtual-Joystick-Godot) - A virtual joystick for touchscreens. Simple to use and with useful options. *(Godot 3 and 4)* diff --git a/docs/awesome/awesome-slack.md b/docs/awesome/awesome-slack.md index 9fc39434bd..a672586b46 100644 --- a/docs/awesome/awesome-slack.md +++ b/docs/awesome/awesome-slack.md @@ -1,73 +1,157 @@ -
-## Awesome Slack Communities [![Awesome](https://cdn.rawgit.com/sindresorhus/awesome/d7305f38d29fed78fa85652e3a63e154dd8e8829/media/badge.svg)](https://github.com/sindresorhus/awesome) -[![Build Status](https://api.travis-ci.org/filipelinhares/awesome-slack.svg)](https://travis-ci.org/filipelinhares/awesome-slack) - -A list of communities about web development and design that are powered by **Slack**. - -## What's Slack -> Slack is a platform for team communication: everything in one place, instantly searchable, available wherever you go. *- slack.com* - - -## Development -- [Ember](https://ember-community-slackin.herokuapp.com/) -- [Laravel](https://larachat.co/) -- [Ruby](https://rubydevelopers.typeform.com/to/l7WVWl) -- [Front end](https://frontenddevelopers.org/) -- [Android](https://androidchat.co/) -- [GO](https://docs.google.com/forms/d/e/1FAIpQLScNsNXbz2SCLH5hVNoZS0C70nPAXv730SW9F3K1g6iVvlcUTg/viewform?fbzx=4754263898376949596) -- [PHP Chat](https://phpchat.co) -- [Clojure](http://clojurians.net/) -- [iOS Developers](https://ios-developers.io/) -- [Elixir](https://elixir-slackin.herokuapp.com/) -- [slashrocket](https://slashrocket.io/) -- [Cordova](http://slack.cordova.io/) -- [Python Community](https://pythoncommunity.herokuapp.com/) -- [CFML/ColdFusion](https://cfml-slack.herokuapp.com/) - - -## Regional -- [Australia & New Zealand](http://devanz.co) -- [Les Pitonneux - Montreal QC Canada](https://pitonneux.slack.com) -- [Python Brazilian Community](http://slack-pythonbrasil.herokuapp.com/) -- [Remote workers in Romania](https://github.com/filipelinhares/awesome-slack/blob/master/weworkremotely.slack.com/) -- [Russian-speaking developers community](https://rusdevs.herokuapp.com/) -- [Kazan Developers](https://devkzn.slack.com/) -- [Polish developers](http://slackin.devstyle.pl/) -- [Spanish-speaking developer communities list](https://github.com/comunidad-tecnologica/awesome-spanish-slack-dev-groups) -- [Ruby Turkey Community](https://rubytr.herokuapp.com/) -- [Rochester NY USA Developers (RocDev)](https://rocdev.org/) -- [Vancouver Developers (yvrdev)](https://yvrdev.slack.com/) - -## Design -- [Sketch](http://teamsketch.io/) -- [Design Talks](https://docs.google.com/forms/d/e/1FAIpQLSeKT_LC8kKTzJ4JjmgVQVpfl24i1qBkjJ7TYyQcNHL7fBQkYQ/viewform?c=0&w=1) -- [Designer Hangout](https://www.designerhangout.co/) - -## Misc -- [WordPress](https://make.wordpress.org/chat/) -- [Chit Chats](http://www.chitchats.co/) -- [The Evangelist Collective](https://github.com/evangelistcollective/) -- [Psychedelic Chat](http://psychedelicchat.com/) -- [LGBTQ in Technology](https://lgbtq.technology/) -- [#Startup](http://startup.chat) -- [Safelight](http://safelight.herokuapp.com/) - Photography. -- [DFIR Community](https://rishi28.typeform.com/to/sTbTI8) - Information Security. -- [First Contributors](https://firstcontributors.slack.com/join/shared_invite/enQtNjkxNzQwNzA2MTMwLTVhMWJjNjg2ODRlNWZhNjIzYjgwNDIyZWYwZjhjYTQ4OTBjMWM0MmFhZDUxNzBiYzczMGNiYzcxNjkzZDZlMDM#/) - Help / mentorship for open source contributors. -- [IT Pro Community](https://www.electric.ai/it-pro-slack) - Connect and network with IT practitioners and decision-makers -- [SaaS Community](https://join.slack.com/t/saas-hgv7803/shared_invite/zt-qwvrywyr-8DmSpEzBiSWD2WQuB9r9pw) - Community for SaaS product builders, to discuss the challenges involved. -- [Developer Marketing](https://marketingto.dev/) - Passionate marketing folks working in API Marketing, developer tooling, or actively marketing to developers. - -## DevOps -- [Google Cloud Platform](http://bit.ly/gcp-slack) -- [Kubernetes](http://slack.kubernetes.io/) -- [DevOps](https://devopschat.co/) -- [Devop Engineers](https://www.devopsengineers.com/) -- [SweetOps](https://slack.cloudposse.com/) -## Looking for more lists like that -- [Awesome Community](https://github.com/phpearth/awesome-community) - -## Contribute -Your contributions and suggestions are :heart: welcome. Ensure to read the [guidelines](https://github.com/filipelinhares/awesome-slack/blob/master/CONTRIBUTING.md) first. - -## License -[![CC0](http://mirrors.creativecommons.org/presskit/buttons/88x31/svg/cc-zero.svg)](https://creativecommons.org/publicdomain/zero/1.0/) +
+[![Awesome](https://cdn.rawgit.com/sindresorhus/awesome/d7305f38d29fed78fa85652e3a63e154dd8e8829/media/badge.svg)](https://github.com/sindresorhus/awesome) + +

+ Logo +

+ +

+

Awesome Slack

+

+ +

+ A curated list of awesome, Slack-related things. +

+ +*** + +An avid Slack user? A developer looking for awesome tools to build out an integration? Just looking for inspiration? This is a list of all the best things Slack. + + +## :pencil:   Lists +- [Community-Built Libraries](https://api.slack.com/community) - Slack-curated list of community open-source libraries +- [Slack App Directory](https://slack.com/apps) - Official directory of publicly available Slack apps +- [Slack Emojis](https://emoji.gg) - Unofficial directory of custom emojis for Slack + +## :art:   Themes + +- [Slack Themes](http://slackthemes.net/) - A Slack sidebar theme browser +- [Sweet Themes Are Made of These](http://sweetthemesaremadeofthe.se/) - Website for sharing Slack custom palettes + +## :hammer_and_wrench:   Libraries and SDKs + +### C# + +- [margiebot](https://github.com/jammerware/margiebot) - A .NET library designed to make building bots for Slack fast, easy, and fun +- [Slack.Webhooks](https://github.com/nerdfury/Slack.Webhooks) - A library to work with Slack webhooks more easily +- [SlackAPI](https://github.com/Inumedia/SlackAPI) - A third-party implementation of Slack's API written in C# + +### Erlang + +- [slacker](https://github.com/julienXX/slacker) - Erlang Slack REST API wrapper + +### Go + +- [webhook](https://github.com/adnanh/webhook) - Easily run commands in response to HTTP webhook requests from Slack + +### Java + +- [java-slack-sdk](https://github.com/slackapi/java-slack-sdk) - Slack's official Java framework for building Slack apps +- [simple-slack-api](https://github.com/Ullink/simple-slack-api) - A Slack client library in Java + +### JavaScript/TypeScript + +- [bolt-js](https://github.com/slackapi/bolt-js) - Slack's official JavaScript framework for building Slack apps +- [jsx-slack](https://github.com/yhatt/jsx-slack) - Build JSON object for Slack Block Kit surfaces from JSX +- [node-slack-sdk](https://github.com/slackapi/node-slack-sdk) - Slack's official SDK for Node.js +- [slack-block-builder](https://github.com/raycharius/slack-block-builder) - Lightweight Node.js library for building Slack Block Kit UIs, with a declarative syntax inspired by SwiftUI + +### PHP + +- [SlackBundle](https://github.com/DZunke/SlackBundle) - SlackBundle for Symfony2 +- [slack-php-app-framework](https://github.com/slack-php/slack-php-app-framework) - Robust PHP framework for building Slack apps in PHP +- [slack-php-block-kit](https://github.com/jeremeamia/slack-block-kit) - Fluent interface for composing Slack Block Kit messages and modals in PHP +- [slack-php-socket-mode](https://github.com/slack-php/slack-php-socket-mode) - A Socket Mode implementation for [slack-php-app-framework](https://github.com/slack-php/slack-php-app-framework) +- [slack-php-slick](https://github.com/slack-php/slack-php-slick) - Dependency-free micro-framework for building Slack apps in PHP + +### PowerShell + +- [PSSlack](https://github.com/RamblingCookieMonster/PSSlack) - PowerShell module for simple Slack integration. + +### Python + +- [blockkit](https://github.com/imryche/blockkit) - A fast way to build Block Kit interfaces in Python +- [bolt-python](https://github.com/slackapi/bolt-python) - Slack's official Python framework for building Slack apps +- [django-slack](https://github.com/lamby/django-slack) - Slack integration for Django, using the templating engine to generate messages +- [django-slack-oauth](https://github.com/izdi/django-slack-oauth) - Slack OAuth module for Django +- [python-slack-events-api](https://github.com/slackapi/python-slack-events-api) - Slack Events API adapter for Python +- [python-slack-sdk](https://github.com/slackapi/python-slack-sdk) - Slack's official SDK for Python +- [slackblocks](https://github.com/nicklambourne/slackblocks) - Python API for building Slack Block Kit messages +- [slack-php-api](https://github.com/jolicode/slack-php-api) - PHP Slack client based on the official OpenAPI specification +- [slacker-cli](https://github.com/juanpabloaj/slacker-cli) - Messages to slack from the command line +- [slashbot](https://github.com/ebrassell/slashbot) - An easy way to create slash commands using AWS Lambda functions +- [boltworks](https://github.com/YSaxon/boltworks) - Extensions to Slack's bolt framework: expandable GUIs, easier callbacks, richer CLIs + +### R + +- [slackr](https://github.com/hrbrmstr/slackr) - A package to send webhook API messages to Slack channels/users from R + +### Ruby + +- [slack-notifier](https://github.com/stevenosloan/slack-notifier) - A simple wrapper for posting to Slack +- [slack-notify](https://github.com/sosedoff/slack-notify) - Send notifications to Slack +- [slack-poster](https://github.com/rikas/slack-poster) - Simple gem to post messages on Slack using webhooks +- [slack-ruby-block-kit](https://github.com/CGA1123/slack-ruby-block-kit) - A ruby wrapper for Slack's Block Kit +- [slack-ruby-bot](https://github.com/dblock/slack-ruby-bot) - The easiest way to write a Slack bot in Ruby +- [slack-ruby-bot-server](https://github.com/slack-ruby/slack-ruby-bot-server) - Ruby library for building Slack applications +- [slack-ruby-client](https://github.com/dblock/slack-ruby-client) - A Ruby client for the Slack Web and RealTime Messaging APIs + +### Rust + +- [slack-morphism-rust](https://github.com/abdolence/slack-morphism-rust) - A modern async Slack API client for Rust + +### Scala + +- [slack-scala-client](https://github.com/gilbertw1/slack-scala-client) - A Scala Slack client for the Web and RTM API + +### Swift + +- [SwiftBlocksUI](https://github.com/SwiftBlocksUI/SwiftBlocksUI/) - Interactive Slack messages and modals using a SwiftUI-like declarative style + +## :gear:   Open-Source Slack Apps and Integrations + +### CoffeeScript + +- [jinora](https://github.com/sdslabs/jinora) - Slack webhook app to create anonymous public channels + +### Java + +- [simple-slack-api](https://github.com/Ullink/simple-slack-api) - A Slack client library in Java +- [tasks-app](https://github.com/slackapi/tasks-app) - Simple task management app produced by Slack + +### JavaScript/Typescript + +- [definition-app](https://github.com/slackapi/definition-app) - App for storing and accessing company-specific phrases +- [slack-github-action](https://github.com/slackapi/slack-github-action) - Send data into Slack using this GitHub Action +- [slack-reporting-tool](https://github.com/slackapi/slack-reporting-tool) - App that allows team members to report offensive messages +- [tesla-slack](https://github.com/heikkipora/tesla-slack) - Track your Tesla from Slack +- [tasks-app](https://github.com/slackapi/tasks-app) - Simple task management app produced by Slack + +### PHP + +- [MantisBT-Slack](https://github.com/infojunkie/MantisBT-Slack) - MantisBT plugin to send bug updates to Slack +- [monolog](https://github.com/Seldaek/monolog) - Sends your logs to Slack + +### Python + +- [slackbot](https://github.com/lins05/slackbot) - A chat bot for Slack +- [slacker-cli](https://github.com/juanpabloaj/slacker-cli) - Messages to slack from the command line +- [tasks-app](https://github.com/slackapi/tasks-app) - Simple task management app produced by Slack +- [wee-slack](https://github.com/rawdigits/wee-slack) - A WeeChat plugin for Slack + +### Ruby + +- [slack-gamebot](https://github.com/dblock/slack-gamebot) - A game bot for Slack +- [snarkov](https://github.com/gesteves/snarkov) - Sinatra-based Markov bot for Slack +- [tickbot](https://github.com/barryf/tickbot) - Simple team time tracking reminder +- [trebekbot](https://github.com/gesteves/trebekbot) - A Jeopardy! bot for Slack + +## :busts_in_silhouette:   Contributions + +Contributions are always welcome! Please read the [contribution guidelines](https://github.com/matiassingers/awesome-slack/blob/master/contributing.md) first. + +## :classical_building:   License + +[![CC0](https://licensebuttons.net/p/zero/1.0/88x31.png)](http://creativecommons.org/publicdomain/zero/1.0/) + +To the extent possible under law, [Matias Singers](http://mts.io) has waived all copyright and related or neighboring rights to this work. diff --git a/docs/awesome/awesome-theoretical-computer-science.md b/docs/awesome/awesome-theoretical-computer-science.md index c53d7c9d62..d4ebfc1cde 100644 --- a/docs/awesome/awesome-theoretical-computer-science.md +++ b/docs/awesome/awesome-theoretical-computer-science.md @@ -275,7 +275,6 @@ The interdisciplinary of Mathematics and Computer Science; It is distinguished b - [Oxford-Warwick Complexity Meetings](https://www.dcs.warwick.ac.uk/~igorcarb/complexity-meetings.html) - Online informal talks dedicated to topics of interest in computational complexity theory and related areas. The goal is to serve as a forum for discussion and quick dissemination of results. - [Simons' Public Lectures](https://simons.berkeley.edu/programs) - Programs, Events, and workshops, that aim toward maximizing impact and engagement across the theoretical computer science community. - [CMU Theory](https://www.youtube.com/channel/UCWFp4UWNiOv71j0sPbdNiqw) - Aims for a mathematical understanding of fundamental issues in Computer Science, and to use this understanding to produce better algorithms, protocols, and systems, as well as identify the inherent limitations of efficient computation. -- [CCC 22](https://www.youtube.com/playlist?list=PLIgnAi1_K6YGqJQVtx2EowWXwVAnU24x3) | [ICALP](https://eatcs.org/index.php/conferences) | [ITCS 2022](https://www.youtube.com/playlist?list=PLgKuh-lKre13VY4AJCOK5Nx8ghscvpGrE) | [ITCS 2022 Pre-recorded](https://www.youtube.com/playlist?list=PLgKuh-lKre11M2GCKkTySipbMIxXqKzkE) | [STOC 2021](https://www.youtube.com/playlist?list=PLXjzCrdVznQKezRe9V4feOaTF95wdLyNN) | [FOCS 2021](https://www.youtube.com/channel/UClrteoQ-ULzlZZaWi6c6iKw) | [ITCS 2021](https://www.youtube.com/playlist?list=PLgKuh-lKre12JHHIMp3EHQSO8Z_62TnNQ) | [STOC 2020](https://www.youtube.com/playlist?list=PLn0nrSd4xjjadfcMd5xvmJ_GNSLDi1ATn) | [FOCS 2020](https://www.youtube.com/channel/UCSpAMJ70rngnq9_jkxXJvoQ/playlists). - [Turing Lectures. ACM](https://amturing.acm.org/lectures.cfm) - ACM A.M. Turing Laureate Interview. Berkeley - Interviews with Berkeley's Turing award winners. - [Shafi Goldwasser and Silvio Micali](https://www.youtube.com/watch?v=yBRbSzPgG4A) - Berkeley in the 80s - Interviews with eminent figures in Berkeley's theoretical computer science. - [Shafi Goldwasser](https://www.youtube.com/watch?v=7D4hIe7M4qU&t=1s) @@ -288,11 +287,9 @@ The interdisciplinary of Mathematics and Computer Science; It is distinguished b - [Foundations and Trends in Theoretical Computer Science](https://www.nowpublishers.com/TCS) - It provides monographs written by leaders that give tutorial coverage of subjects, research retrospectives as well as survey papers that offer state-of-the-art reviews fall within the scope of the journal. - [Quanta Magazine](https://www.quantamagazine.org/tag/computational-complexity) - Features breakthroughs in the field, written in an accessible style for non-experts. - [Theory of Computing Blog Aggregator](https://theory.report/) - A blog Aggregator for all blogs related to TCS. -- [CS Theory Jobs](https://cstheory-jobs.org) - TCS Jobs announcements. -- [TCS Job Market](https://sites.google.com/view/tcsjobmarket/home) - Theoretical Computer Science (TCS) job candidates, including PhD students expecting to graduate by Sep 1, 2023, current postdocs, and current faculty. -- [Yaroslavtsev. Hires spreadsheet 2022](http://grigory.us/blog/theory-jobs-2022/) - A crowdsourced spreadsheet created to collect information about theory hires in year 2022. - [Rubinstein & Weinberg. Research Masters in TCS](https://www.cs.princeton.edu/~smattw/masters/masters.html) - A list of master programs in TCS. -- [Barak. Research Masters in TCS](https://docs.google.com/spreadsheets/d/1znVmERIVm2Fz2cbYjXE97VH9eIx7UdaLh5n3FBYb8o8/edit?usp=sharing) - A list of master programs in TCS. +- [CS Theory Jobs](https://cstheory-jobs.org) - TCS Jobs announcements. +- [Yaroslavtsev. Hires spreadsheet 2022](http://grigory.us/blog/posts/) - A crowdsourced spreadsheet created to collect information about theory hires in year 2022. - [TCS Stack Exchange](https://cstheory.stackexchange.com/) - Stack Exchange (QnA) of theoretical computer science. - [TCS Subreddit](https://www.reddit.com/r/theoreticalcs)- Theoretical computer science's subreddit. ## Other Resources @@ -312,10 +309,8 @@ The interdisciplinary of Mathematics and Computer Science; It is distinguished b - [Princeton's Companion. Advice to a Young Mathematician](http://assets.press.princeton.edu/chapters/gowers/gowers_VIII_6.pdf) - Five contributors draw on their experiences of mathematical life and research, and to offer advice that they might have liked to receive when they were just setting-out on their careers. - [Terry. Career Advice](https://terrytao.wordpress.com/career-advice/) - A collection of various pieces of advice on academic career issues in mathematics, roughly arranged by the stage of career at which the advice is most pertinent. - [Igor Pak. How to Start a Paper](https://igorpak.wordpress.com/2022/10/26/how-to-start-a-paper/) - Why should you introduce a conceptual preliminary motivating the story of your paper. -## Special Magazines and Workshops +## Popular Science - [The Legacy of Alan Turing: Pushing the Boundaries of Computation (Volume 18, Issue 3, Spring 2012). ACM, XRDS](https://dl.acm.org/toc/xrds/2012/18/3) - ACM's students magazine special issue for theory of computation. -- [TCS Visioning Workshop 2020 Report](https://cra.org/ccc/wp-content/uploads/sites/2/2021/07/TCS-Visioning-Workshop-Report-2020.pdf) - Recent accomplishments and new challenges in the field of TCS. -## Popular Science Books - [Fortnow. The Golden Ticket: P, NP, and the Search for the Impossible](https://goldenticket.fortnow.com) - A nontechnical introduction to P-NP, its rich history, and its algorithmic implications for everything we do with computers and beyond. - [Ausiello. The Making of a New Science: A Personal Journey Through the Early Years of Theoretical Computer Science](https://link.springer.com/book/10.1007/978-3-319-62680-2) - A story about people, pioneers with diverse backgrounds and characters who established a new field. - [Aaronson. Quantum Computing Since Democritus](https://assets.cambridge.org/97805211/99568/frontmatter/9780521199568_frontmatter.pdf) - It covers an amazing array of topics. Beginning in antiquity with Democritus, it progresses through logic and set theory,computability and complexity theory, quantum computing, cryptography, the information content of quantum states, and the interpretation of quantum mechanics. diff --git a/docs/awesome/awesome-zsh-plugins.md b/docs/awesome/awesome-zsh-plugins.md index 1e9b4cb20b..b4bfc60fd5 100644 --- a/docs/awesome/awesome-zsh-plugins.md +++ b/docs/awesome/awesome-zsh-plugins.md @@ -1382,6 +1382,7 @@ Here are a few good sources for Nerd Fonts and Powerline-compatible fonts: - [tm](https://github.com/kjhaber/tm.zsh) - Simplifies creating new [tmux](https://tmux.github.io) sessions, attaching to existing sessions, switching between sessions, and listing active sessions. - [tmux-auto-title](https://github.com/mbenford/zsh-tmux-auto-title) - Automatically sets the title of windows/panes as the current foreground command. - [tmux-rename](https://github.com/sei40kr/zsh-tmux-rename) - Rename [tmux](https://tmux.github.io) windows automatically. +- [tmux-sessionizer](https://github.com/nikevsoft/tmux-sessionizer) - [tmux](https://tmux.github.io) sessionizer as seen on ThePrimeagen. - [tmux-simple](https://github.com/TBSliver/zsh-plugin-tmux-simple) - Simple plugin for using [tmux](https://tmux.github.io) with ZSH. - [tmux-vim-integration](https://github.com/jsahlen/tmux-vim-integration.plugin.zsh) - Open files in a running `vim` (or NeoVim) session, from an adjacent [tmux](https://tmux.github.io) pane. - [tmux-zsh-vim-titles](https://github.com/MikeDacre/tmux-zsh-vim-titles) - Create unified terminal titles for `tmux`, ZSH, and Vim/NVIM, modular. @@ -1466,7 +1467,7 @@ Here are a few good sources for Nerd Fonts and Powerline-compatible fonts: - [wsl](https://github.com/florentinl/omz-wsl) - Adds helper functions to make it easier to work in ZSH when running inside WSL. - [wsl2-ssh-pageant](https://github.com/antoinemartin/wsl2-ssh-pageant-oh-my-zsh-plugin) - Use your Yubikey stored GPG keys from WSL. This packages the instructions from [wsl2-ssh-pageant repo](https://github.com/BlackReloaded/wsl2-ssh-pageant) as a ZSH plugin. - [xxh-plugin-zsh-zshrc](https://github.com/roman-geraskin/xxh-plugin-zsh-zshrc) - plugin for [xxh-shell-zsh](https://github.com/xxh/xxh-shell-zsh) that copies your `~/.zshrc` to a remote host and sources it with [xxh-shell-zsh](https://github.com/xxh/xxh-shell-zsh). -- [yadm](https://github.com/juanrgon/yadm-zsh) - Displays a warning if there are local [yadm](https://thelocehiliosan.github.io/yadm/) configuration changes. +- [yadm](https://github.com/juanrgon/yadm-zsh) - Displays a warning if there are local `yadm` configuration changes. - [yapipenv](https://github.com/AnonGuy/yapipenv.zsh) - Automatically activate a directory's `pip` environment if `pipenv` detects the presence of one. - [yazi-zoxide](https://github.com/fdw/yazi-zoxide-zsh) - This plugin for [zsh](https://www.zsh.org) adds just one shortcut, but unfolds the magic of both [Zoxide](https://github.com/ajeetdsouza/zoxide) and [yazi](https://github.com/sxyazi/yazi/). Without arguments, `y` just opens yazi. If you supply an argument that is a directory, `yazi` is opened in that directory. But if you supply anything else as an argument, `zoxide` is called with the argument and `yazi` is opened there. - [yeoman](https://github.com/edouard-lopez/yeoman-zsh-plugin) - Edouard Lopez's [Yeoman](http://yeoman.io/) plugin for [oh-my-zsh](https://ohmyz.sh/), compatible with yeoman version ≥1.0 (includes options and command auto-completion). @@ -1993,6 +1994,7 @@ If you're using [Antigen](https://github.com/zsh-users/antigen), you can test th - [dragon (jeop10)](https://github.com/jeop10/dragon) - Inspired by kali linux. Includes `git` status and working directory decorations. - [dragon (sabertaximi)](https://github.com/sabertazimi/dragon-zsh-theme) - Minimalistic, includes `git` status information. - [drkat](https://github.com/katrinaalaimo/drkat-zsh-theme) - Reminiscent of [Powerline](https://github.com/powerline/powerline). Includes directory, `git` status, and hostname decorations. +- [droolmaw](https://github.com/isuke/droolmaw) - Configurable prompt that resembles [Powerline](https://github.com/powerline/powerline). Requires a Nerd font. Includes decorators for username, current directory, current directory path, datetime, `git` author, `git` status, `mise` language version and a configurable message based on the exit status of the last command run. - [droolscar](https://github.com/isuke/droolscar) - [Powerline](https://github.com/powerline/powerline) variant. - [dtheme](https://github.com/OlukaDenis/DTheme) - Optimized for people using a solarized terminal color scheme and `git`. Works best with a unicode font. - [duckster](https://github.com/ducky/duckster) - A fork of the [gitster](https://github.com/shashankmehta/dotfiles/blob/master/thesetup/zsh/.oh-my-zsh/custom/themes/gitster.zsh-theme) ZSH theme that's more ducky fresh. @@ -2094,6 +2096,7 @@ If you're using [Antigen](https://github.com/zsh-users/antigen), you can test th - [gops](https://github.com/noxer/gops) - Fast powerline-like prompt. Includes `git` status, current directory, root status decorations. - [gorchak](https://github.com/evgenygorchakov/oh-my-zsh-gorchak-theme/) - Inspired by [robbyrussell(https://github.com/ohmyzsh/ohmyzsh/wiki/Themes#robbyrussell)] and [af-magic](https://github.com/ohmyzsh/ohmyzsh/wiki/Themes#af-magic). Includes decorators for `git` information and Node.js version. - [grayt](https://github.com/evanthegrayt/grayt-zsh-theme) - Simple yet informative theme that includes `git` decorations and the return status of the last command. +- [green-lambda](https://github.com/Ishidawg/minimal-green-lambda) - Minimalist Lambda theme. Includes `git` decorations. - [greencastle](https://github.com/GustavGroenborg/greencastle-zsh-theme/) - Minimalistic theme, that supports really, **really**, long branch names, without severely truncating the prompt. The theme is inspired by the [jonathan theme](https://github.com/thlorenz/oh-my-zsh/blob/master/themes/jonathan.zsh-theme) and the [robby russel theme](https://github.com/thlorenz/oh-my-zsh/blob/master/themes/robbyrussell.zsh-theme). Includes decorators for current directory, `git` information and the exit status of the last command run. - [greenclean](https://github.com/dmicha16/greenclean) - Fork of [akz92/clean](https://github.com/akz92/clean) with a bit more green and permanent clock on the right. - [griffin](https://github.com/GriffinLedingham/griffin.zsh-theme) - Minimalist, includes `git` status decorations.