The Portal Group: Difference between revisions

From The Portal Wiki
No edit summary
(85 intermediate revisions by 3 users not shown)
Line 1: Line 1:
The community works on projects for Eric in '''[https://discord.gg/TDbpwzz The Portal Projects Group]''' 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.
<!--


== Telos ==


== Discord Invite ==
-->
* Go make stuff: 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.


== User Skills and Interests ==
====Brandon====
* Add your tags: https://users.theportal.wiki/
[[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.


== Commands ==
====Tim====
We've configured a bot with several helpful commands. Also, several less-than-helpful commands.
[[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>


* '''!commands''' - Shows a link to this page listing all the commands.
== Information ==
* '''!show''' - Animated GIF kindly asking you to share your work.
<div class="flex-container">
* '''!chitchat''' - A reminder that the projects server isn't for idle chitchat. Provides a link to [The Portal Discords].
    <div class="flex-item">
* '''!reiterate''' - A re-reminder that the projects server isn't for idle chitchat. Provides another link to [The Portal Discords].
{{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.
* '''!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 complex the idea of Geometric Unity truly is.
* '''!gu''' - It's fun to consider how demanding the [[Theory of Geometric Unity]] truly is.
 
* '''!graph'''
=== Important Commands ===
* '''!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
* !laugh
* !yada
* !yada
* !bla
* !bla
* !memes
* !intro
* !net
* !lobby
* !quest
* !shedding
* !read
}}
    </div>
</div>
__NOTOC__
[[Category:Community]]
[[Category:The Portal Group]]

Revision as of 04:28, 16 December 2021

The Portal Group
The-portal-group-icon-flat-dark.png
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

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 Profile.jpg

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 Profile.jpg

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 Profile.png

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