Skip to content

Instantly share code, notes, and snippets.

View Potherca's full-sized avatar
🤔
I wonder what this button does…

Ben Peachey Potherca

🤔
I wonder what this button does…
View GitHub Profile
@Potherca
Potherca / README.md
Last active December 11, 2021 12:41
RoyalUr.net dice randomness distribution

RoyalUr.net dice randomness distribution

Code for a CodePen that throws the dice from RoyalUr.net a given number of times and shows how the result matches the expected distribution of randomness.

@Potherca
Potherca / README.md
Last active December 3, 2021 16:05
Nextcloud and PHP version compatibility

Nextcloud, PHP, and PHPUnit version compatibility

This document shows which version of Nextcloud supported which version(s) of PHP, with which version of PHPUnit.

Given that Nextcloud supports the following PHP versions:

Nextcloud EOL 7.1 7.2 7.3 7.4 8.0 8.1
23 2022-12
22 2022-07
<meta charset="UTF-8">
<meta property="og:image" content="https://user-images.githubusercontent.com/195757/143425843-2cd178e6-7190-4555-90a3-33977aeb86d1.png"/>
<meta property="og:title" content="Hoor wie klikt daar kinderen?"/>
<meta property="og:description" content="Een fijne Sinterklaas gewenst, iedereen!"/>
<title>Hoor wie klikt daar kinderen?</title>
<body>
<div class="door">
<div class="door-front">
@Potherca
Potherca / README.md
Last active April 4, 2023 12:51
PHPUnit and PHP version compatibility

PHPUnit and PHP version compatibility

This document shows which version of PHPUnit supported which version(s) of PHP.

As stated on the Supported Versions page on the PHPUnit website:

Support means that bugs will be fixed for a version of PHPUnit.

Support for major version X ends two years after its initial release (when major version (X+2) is released).

@Potherca
Potherca / docker-publish.yml
Created May 20, 2021 10:45
Example of GitHub Action to build and push Docker images to GitHub Registry
name: Build and publish development Docker image
on:
push:
tags:
- 'v*.*.*'
jobs:
docker-build:
runs-on: ubuntu-latest

Voor de mensen die te lui zijn om te blijven klikken:

  • Adem diep in en dan weer uit
  • Als je moe bent, ga naar bed toe
  • Bak niet in boter maar in olie
  • Begin je ochtend met bewegen
  • Bel een keer een oude vriend op
  • Bel een vriend tijdens het wandelen
  • Doe een visje door de pasta
  • Doe je werk een keertje staand
@Potherca
Potherca / README.md
Last active January 2, 2025 13:51
All MaterialDesign sprites/icons available in PlantUML
@Potherca
Potherca / dabblet.css
Last active June 3, 2022 11:32
Pure HTML/CSS BASH logo (WIP)
/**
* Pure HTML/CSS BASH logo (WIP)
*/
@import url('-https://fonts.googleapis.com/css2?family=Roboto+Mono:wght@400;500&display=swap');
html {
transform: scale(0.5)
}
body {
@Potherca
Potherca / README.md
Last active June 14, 2024 10:37
Bookmarklet for Pinguin Radio

This gist contains JS code that can be used as a bookmarklet to change the new (awesome!) Pinguin Radio website to only display the audio player.

Before

Screenshot at 2023-03-15

After

Screenshot at 2023-03-15