A moderation/utility bot for tinygrad's discord server.
wozeparrot / tinymod Goto Github PK
View Code? Open in Web Editor NEWtinygrad's premier discord moderation bot
License: Apache License 2.0
tinygrad's premier discord moderation bot
License: Apache License 2.0
Perpetually open issue for new tags that can be added.
Just open a PR with a new tag written in markdown in assets/ro_tags
Needs to be better, current one was pretty quickly thrown together.
Need to have each benchmark be its own command, mainly because there are options that only exist for certain benchmarks.
Also need to make benchmark fetching actually automated.
Don't need easy to filter logs, just action logs, probably a simple function that is passed to all the plugins that can be called to log a json object.
If we detect a raid, we should scale up the amount of verification buttons that have to be pressed.
Or,
Maybe we can generate an image with the order of the buttons to better deter bots.
Might be helpful to have, needs to be not annoying.
Maybe something like GH#<pr/issue number>
or ##<pr/issue number>
, cuz i think just having it on #<pr/issue number>
might be too annoying for people who don't realize that it exists.
Need to detect if a gif is in a message and either delete the message or if possible remove the gif.
Can't just remove the embed or attach files permission cuz that breaks other stuff.
On a role change event, we should remove the other role.
Need to kick people that are not verified and should probably send a dm first saying that they didn't verify in the time limit.
Also need a command to scan the #verify
channel for unverified people and kick them if they have been unverified for some time.
A declarative, efficient, and flexible JavaScript library for building user interfaces.
๐ Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. ๐๐๐
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google โค๏ธ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.