Skip to content

Instantly share code, notes, and snippets.

View stijnvdkolk's full-sized avatar

Stijn van der Kolk stijnvdkolk

View GitHub Profile
@marco79cgn
marco79cgn / spotify-now-playing.js
Last active September 23, 2024 07:49
A Scriptable iOS widget that shows what‘s playing on Spotify
let spotifyCredentials
let widget = await createWidget()
Script.setWidget(widget)
Script.complete()
async function createWidget() {
let widget = new ListWidget()
let spotifyIcon = await getImage("spotify-icon.png")
widget.backgroundColor = new Color("1e2040")
@nihaals
nihaals / CONTRIBUTING.md
Last active January 11, 2024 19:10
Discord Nitro Boosting

If you have some information to add, please leave a comment or DM me on Discord (Orangutan#9393).

Currently untested:

  • Duration of subscription giving more boosts or building up boosts possibly allowing you to spend multiple boosts on one guild
@DasWolke
DasWolke / microservice bots.md
Last active September 17, 2024 05:01
Microservice bots

Microservice Bots

What they are and why you should use them

Introduction

Recently more and more chatbots appear, the overall chatbot market grows and the platform for it grows as well. Today we are taking a close look at what benefits creating a microservice chatbot on Discord - (a communication platform mainly targeted at gamers) would provide.

The concepts and ideas explained in this whitepaper are geared towards bots with a bigger userbase where the limits of a usual bot style appear with a greater effect

Information about Discord itself

(If you are already proficient with the Discord API and the way a normal bot works, you may skip ahead to The Concept)

@jagrosh
jagrosh / Growing A Discord Server.md
Last active August 4, 2024 11:52
Tips for creating and growing a new Discord server

This guide is kept up-to-date as Discord and available resources change!
A basic server template is available here

Creating and Growing a Discord Server

logo

Introduction

Hello! I'm jagrosh#4824! I'm writing this guide to try to help new server owners set up and grow their servers, which is a commonly-requested topic. It's very easy to go about this the wrong way, so it's best to be prepared and make smart decisions so that your community can flourish!

Background

@jagrosh
jagrosh / GiveawayBot.java
Last active May 17, 2023 21:13
Simple GiveawayBot using JDA
/*
* To change this license header, choose License Headers in Project Properties.
* To change this template file, choose Tools | Templates
* and open the template in the editor.
*/
package giveawaybot;
import java.io.File;
import java.util.LinkedList;
import java.util.List;
@0xjac
0xjac / private_fork.md
Last active September 24, 2024 20:22
Create a private fork of a public repository

The repository for the assignment is public and Github does not allow the creation of private forks for public repositories.

The correct way of creating a private frok by duplicating the repo is documented here.

For this assignment the commands are:

  1. Create a bare clone of the repository. (This is temporary and will be removed so just do it wherever.)

git clone --bare git@github.com:usi-systems/easytrace.git