Portal:The Portal Group

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
{{GenericBox
 * header=

FAQ
}} {{GenericBox
 * content=
 * 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
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
{{GenericBox
 * header=

Members
}} {{GenericBox
 * 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/.
 * 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
 * header=

Resources

 * content=Resources the community has developed are available in the places listed.
 * Discord
 * Users Database
 * Google Drive
 * Office Hours Notes

}}

Roles and Commands
{{GenericBox
 * header=

Discord Server Roles

 * content=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
}} {{GenericBox
 * 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
 * header=

Discord Bot Commands

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

{{GenericBox
 * !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}}
 * 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