The Portal Group: Difference between revisions

	The Portal Group
Information
Topic	The Portal Community; The Portal Podcast
Leader	Brooke (pyrope#5830); Brandon (Beefsandwich27#0143)
Start Date	6 February 2020
The Portal Discord Servers	List
Google Drive	Drive
Office Hours	Notes
Discord Stats	Dashboard
Links
Website	Homepage
Users	Interactive Database
Discord	Invite
	All Projects

Revision as of 04:28, 16 December 2021

The Portal Group exists to facilitate community projects in service to the ideas expressed by Eric Weinstein on The Portal Podcast and elsewhere. We use Discord to organize and communicate, and we track projects on the wiki. We have also developed a user database to keep track of the community's skills and interests, and we use Google Drive to store files.

Getting Involved

FAQ

How do I access the other Discord channels?

New members are limited to posting in the #lobby-and-introductions channel. If you demonstrate an interest in making or contributing, or show something you've previously made, you may receive access to the rest of the server.

What it looks like to not have a role.

If you don't have much to show, consider contributing to the wiki. We aim to aggregate agentic people, who take lead with their work and show instead of tell with minimal outside direction, and can also collaborate with others.

How can I contribute?

The Portal Group is not here to tell you what to do, it is here to remove obstacles and make your work easier. Veteran members of the community, who have contributed to a project or accomplished an ambitious task, are to be sought out for advice. Those who do work are quickly integrated.

The only "hard" requirement for any project is that it should be in line with the goals of the Portal, as best outlined in Episode 2 and Episode 18 or in the telos above.

There is much freedom in selecting your approach these goals, but the ones that tend to last are overall simple. An idea's simplicity does not imply it is unintelligent or incapable, but rather it has a large impact relative to its underlying assumptions and complexity in execution.

How shouldn't I contribute?

Conversation without aim distracts from productivity, so we keep open conversation limited to specific areas on the server. We aim to exclude disruptive behavior, that which distracts or is disrespectful to members.

Additionally, if your ideas cannot be given a strong form or body, then they cannot act on the world. We wish to focus on ideas that provide high leverage relative to the work put in and avoid areas that don't. Areas that are known not to pay off include arbitrary crypto schemes or the purchase of an island.

Who are Brooke, Brandon and Tim?

Tim, Brandon, and Brooke coordinate closely to manage The Portal Group and plan for its future.

Brooke

Brooke works closely with Eric. Through developing The Portal Blog, transcribing all content featuring Eric Weinstein and her frequent conversations with him, she is the best judge for how projects match up to the values of the Portal. If you have a high value project, it is worth showing her.

Brandon

Brandon is a professional web developer and consultant. He runs the Discord server, built the website and projects databases, and set up the wiki. He coordinates day to day management when he isn't deep in dev projects.

Tim

Tim is an Australian mathematics student who spends much of his time studying various topics in Differential Geometry and Algebraic Topology with guidance from Eric.

Information

Members

This is the list of core members who keep the ship running. For a full list of participants in Portal projects, see https://users.theportal.wiki/.

Brooke (pyrope#5830) - Leader, Proxy for Eric, Blog
Brandon (Beefsandwich27#0143) - IT, Development and Wiki
Tim (Tim#7940) - Mathematics
boqu (boqu#9997) - Art
Aardvark (Aardvark#5610) - Wiki, transcripts
Nick (ker(∂n)/im(∂n-1)≅πn(X), n≤dim(X)#7337) - Mathematics

Resources

Resources the community has developed are available in the places listed.

Roles and Commands

Discord Server Roles

Roles on the Discord server identify users' project interests and capabilities, and also restrict or enable permissions.

Moderation Roles

Newb - Every new user gets this role. It will be removed once you start contributing to the community.
Announcements - If you'd like to be notified of Announcements or Office Hours sessions, this is a good role to give yourself. (This is one of the few roles that users can add and remove themselves.)
Welcoming Committee
Acting Spammy
A Bit Too Much
Squeaky Wheel
Lobby

Project Roles

Climbing the Cliff
Convex Hull
GWT
Mobile App
Portal Blog
Portal Book Club Organizers
Portal Clips
Portal Merch
Portal Visualizations
Riffs to Animate
Russell Conjugation
Transcripts
Wiki Maintenance

Discord Bot Commands

We've configured a bot with several helpful commands. Also, several less-than-helpful commands.

!commands - Shows a link to this wiki page listing all the commands.
!faq - Questions that have been frequently asked, here are.
!rules - Lists our extensive set of strict and burdensome rules.
!show - Provides an animated GIF kindly asking you to share your work.
!chitchat - Gives a reminder that the projects server isn't for idle chitchat. Provides a link to The Portal Discord Servers.
!reiterate - Gives a re-reminder that the projects server isn't for idle chitchat. Provides another link to The Portal Discord Servers.
!startup - Oh. You don't want to make a project. You want to make a startup company. Let's dig into ramifications.
!gu - It's fun to consider how demanding the Theory of Geometric Unity truly is.
!graph
!wall
!tome

Other Commands

You want commands? We got all the commands.

!coffee
!tea
!calm
!zen
!numberwang
!laugh
!yada
!bla
!memes
!intro
!net
!lobby
!quest
!shedding
!read

@@ Line 1: / Line 1: @@
-The community works on projects for Eric in The Portal Projects Discord server.
+{{InfoboxProject
+|project=The Portal Group
+|image=[[File:The-portal-group-icon-flat-dark.png]]
+|topic=The Portal Community<br>[[The Portal Podcast]]
+|leader=[https://twitter.com/brookedallas Brooke (pyrope#5830)]<br>[https://twitter.com/LBStone Brandon (Beefsandwich27#0143)]
+|startdate=6 February 2020
+|customlabel1=The Portal Discord Servers
+|customdata1=[[The Portal Discord Servers|List]]
+|customlabel2=Google Drive
+|customdata2=[https://drive.google.com/drive/u/1/folders/16RkHA5OS1tYmsoQ4ldFzWGidZzDiUX26 Drive]
+|customlabel3=Office Hours
+|customdata3=[https://docs.google.com/document/d/1qSfaq8xPG8MmmwLANRvj21FF_j4llNR8Q7OQPK0SW-E/edit Notes]
+|customlabel4=Discord Stats
+|customdata4=[https://statbot.net/dashboard/674958932938195015 Dashboard]
+|link1title=Website
+|link1=[https://theportal.group/ Homepage]
+|link2title=<!-- Projects Page -->
+|link2=<!-- Projects Page Link -->
+|link3title=Users
+|link3=[https://users.theportal.wiki/ Interactive Database]
+|link4title=Discord
+|link4=[https://discord.gg/TDbpwzz Invite]
+}}
+The Portal Group exists to facilitate community projects in service to the ideas expressed by [[Eric Weinstein]] on [[The Portal Podcast]] and elsewhere. We use [https://discord.gg/TDbpwzz Discord] to organize and communicate, and we track projects on <!-- [https://www.google.com/ a custom database] and --> [[Projects|the wiki]]. We have also developed a [https://users.theportal.wiki/ user database] to keep track of the community's skills and interests, and we use [https://drive.google.com/drive/u/1/folders/16RkHA5OS1tYmsoQ4ldFzWGidZzDiUX26 Google Drive] to store files.
+<!--
-Get on in there and do some work.
+== Telos ==
-* Here's an invite: '''https://discord.gg/TDbpwzz'''
+-->
+== Getting Involved ==
+<div class="flex-container">
+    <div class="flex-item">
+{{GenericBox
+|header=
+===FAQ===
+|content={{:The Portal Group Onboarding}}
+}}
+    </div>
+    <div class="flex-item profile-container">
+{{GenericBox
+|header=
+===Who are Brooke, Brandon and Tim?===
+|content=Tim, Brandon, and Brooke coordinate closely to manage The Portal Group and plan for its future.
+====Brooke====
+[[File:Brooke Profile.jpg|100px|right]]
+Brooke works closely with Eric. Through developing [https://theportal.group/blog/ The Portal Blog], transcribing all content featuring [[Eric Weinstein]] and her frequent conversations with him, she is the best judge for how projects match up to the values of the Portal. If you have a high value project, it is worth showing her.
+====Brandon====
+[[File:Brandon Profile.jpg|100px|right]]
+Brandon is a professional web developer and consultant. He runs the Discord server, built the [https://theportal.group website] and projects databases, and set up the [[Portal Wiki|wiki]]. He coordinates day to day management when he isn't deep in dev projects.
+====Tim====
+[[File:Tim Profile.png|100px|right]]
+Tim is an Australian mathematics student who spends much of his time studying various topics in Differential Geometry and Algebraic Topology with guidance from Eric.
+<br>
+<br>
+<br>
+}}
+    </div>
+</div>
+== Information ==
+<div class="flex-container">
+    <div class="flex-item">
+{{GenericBox
+|header=
+===Members===
+|content=This is the list of core members who keep the ship running. For a full list of participants in Portal projects, see https://users.theportal.wiki/.
+* [https://twitter.com/brookedallas Brooke] (pyrope#5830) - Leader, Proxy for [[Eric Weinstein|Eric]], [https://theportal.group/blog/ Blog]
+* [https://twitter.com/LBStone Brandon] (Beefsandwich27#0143) - IT, Development and Wiki
+* [https://twitter.com/Tim_Melon Tim] (Tim#7940) - Mathematics
+* [https://twitter.com/boqu boqu] (boqu#9997) - Art
+* [https://twitter.com/AardvarkLaurant Aardvark] (Aardvark#5610) - Wiki, transcripts
+* [https://twitter.com/anisomorphism Nick] (ker(∂n)/im(∂n-1)≅πn(X), n≤dim(X)#7337) - Mathematics
+}}
+    </div>
+    <div class="flex-item">
+{{GenericBox
+|header=
+===Resources===
+|content=Resources the community has developed are available in the places listed.
+* [https://discord.gg/TDbpwzz Discord]
+* [https://users.theportal.wiki/ Users Database]
+* [https://drive.google.com/drive/u/1/folders/16RkHA5OS1tYmsoQ4ldFzWGidZzDiUX26 Google Drive]
+* [https://docs.google.com/document/d/1qSfaq8xPG8MmmwLANRvj21FF_j4llNR8Q7OQPK0SW-E/edit Office Hours Notes]
+}}
+    </div>
+</div>
+== Roles and Commands ==
+<div class="flex-container">
+    <div class="flex-item">
+{{GenericBox
+|header=
+===Discord Server Roles===
+|content=Roles on the Discord server identify users' project interests and capabilities, and also restrict or enable permissions. <!-- They are granted by those with the "Roller" or "High Roller" roles or by users reacting to certain messages. -->
+====Moderation Roles====
+* Newb - Every new user gets this role. It will be removed once you start contributing to the community.
+* Announcements - If you'd like to be notified of Announcements or Office Hours sessions, this is a good role to give yourself. (This is one of the few roles that users can add and remove themselves.)
+* Welcoming Committee
+* Acting Spammy
+* A Bit Too Much
+* Squeaky Wheel
+* Lobby
+====Project Roles====
+* Climbing the Cliff
+* Convex Hull
+* GWT
+* Mobile App
+* Portal Blog
+* Portal Book Club Organizers
+* Portal Clips
+* Portal Merch
+* Portal Visualizations
+* Riffs to Animate
+* Russell Conjugation
+* Transcripts
+* Wiki Maintenance
+}}
+    </div>
+    <div class="flex-item">
+{{GenericBox
+|header=
+===Discord Bot Commands===
+|content=We've configured a bot with several helpful commands. Also, several less-than-helpful commands.
+* '''!commands''' - Shows a link to this wiki page listing all the commands.
+* '''!faq''' - Questions that have been frequently asked, here are.
+* '''!rules''' - Lists our extensive set of strict and burdensome rules.
+* '''!show''' - Provides an animated GIF kindly asking you to share your work.
+* '''!chitchat''' - Gives a reminder that the projects server isn't for idle chitchat. Provides a link to [[The Portal Discord Servers]].
+* '''!reiterate''' - Gives a re-reminder that the projects server isn't for idle chitchat. Provides another link to [[The Portal Discord Servers]].
+* '''!startup''' - Oh. You don't want to make a project. You want to make a startup company. Let's dig into ramifications.
+* '''!gu''' - It's fun to consider how demanding the [[Theory of Geometric Unity]] truly is.
+* '''!graph'''
+* '''!wall'''
+* '''!tome'''}}
+    </div>
+    <div class="flex-item">
+{{GenericBox
+|header=
+===Other Commands===
+|content=You want commands? We got all the commands.
+* !coffee
+* !tea
+* !calm
+* !zen
+* !numberwang
+* !laugh
+* !yada
+* !bla
+* !memes
+* !intro
+* !net
+* !lobby
+* !quest
+* !shedding
+* !read
+}}
+    </div>
+</div>
+__NOTOC__
+[[Category:Community]]
+[[Category:The Portal Group]]