Skip to content

Instantly share code, notes, and snippets.

View derickr's full-sized avatar

Derick Rethans derickr

1.8k followers · 0 following
View GitHub Profile
@derickr
derickr / leaflet-side-by-side.html
Created September 5, 2011 11:26 — forked from andrewharvey/leaflet-side-by-side.html
Demo web app displaying two web maps side by side in sync with each other based on Leaflet
<html xmlns="http://www.w3.org/1999/xhtml">
<!--
This file is licenced CC0 http://creativecommons.org/publicdomain/zero/1.0/
-->
<head>
<title>Leaflet Maps Side by Side</title>
<link rel="stylesheet" href="/javascript/leaflet/leaflet.css" type="text/css" />
<!--[if lte IE 8]><link rel="stylesheet" href="/javascript/leaflet/leaflet.ie.css" /><![endif]-->
<style type="text/css">
body {
@derickr
derickr / save-code-coverage.php
Last active September 16, 2024 16:46
save-code-coverage.php
<?php
require 'vendor/autoload.php';
use SebastianBergmann\CodeCoverage\Filter;
use SebastianBergmann\CodeCoverage\Driver\Selector;
use SebastianBergmann\CodeCoverage\CodeCoverage;
use SebastianBergmann\CodeCoverage\Report\PHP as PhpReport;
use SebastianBergmann\FileIterator\Facade as FileIteratorFacade;
$filter = new Filter;
@derickr
derickr / equinox.php
Last active September 16, 2024 16:15
PHP script to calculate the times of solstices and equinoxes
<?php
/* Algorithms taken from Meeus Astronomical Algorithms, 2nd edition */
/* Run the php script on the command line:
* php equinox.php <year> <what>
* with <what> being MAR, JUN, SEP, or DEC
*
* For the the Summer Solstice of 2020:
* php equinox.php 2020 JUN
*/
@derickr
derickr / whisper-net-to-srt.php
Last active May 3, 2024 12:36
A script to create SRT subtitle files out of WhisperNet's JSON files
<?php
/**
1
00:00:03,600 --> 00:00:09,740
Hello, today we're going to have a look at how to make a flame graph, a new feature
2
00:00:09,740 --> 00:00:11,920
in Xdebug 3.3.
@derickr
derickr / gist:d54b33949d69ae12553ace8af4758934
Created April 16, 2024 16:01
PHP 8.4 Release Manager Election — STV
$ php elect.php 'php_8.4_rm_*' 2 "Y Hamada" "C Buckley" "S Takamachi" "M Beccati"
Reading from:
- php_8.4_rm_1st_preference.doodle
- php_8.4_rm_2nd_preference.doodle
- php_8.4_rm_3rd_preference.doodle
- php_8.4_rm_4th_preference.doodle
Candidates (in order of ballot):
Y Hamada — C Buckley — S Takamachi — M Beccati
@derickr
derickr / zic-changes-tzdata.zi.txt
Created January 6, 2024 10:02
zic-changes-tzdata.zi.txt
America/Ensenada
--- /dev/fd/63 2024-01-06 09:58:51.284801834 +0000
+++ /dev/fd/62 2024-01-06 09:58:51.284801834 +0000
@@ -106,7 +106,7 @@
2008-10-26 09:00:00 UT ( 1225011600) = 2 [-28800 0 8 'PST' (0,0)]
2009-04-05 10:00:00 UT ( 1238925600) = 3 [-25200 1 12 'PDT' (0,0)]
2009-10-25 09:00:00 UT ( 1256461200) = 2 [-28800 0 8 'PST' (0,0)]
-2010-03-14 10:00:00 UT ( 1268560800) = 3 [-25200 1 12 'PDT' (0,0)]
+2010-01-01 08:00:00 UT ( 1262332800) = 2 [-28800 0 8 'PST' (0,0)]
@derickr
derickr / zic-changes.txt
Created January 6, 2024 09:53
zic-changes.txt
America/Goose_Bay
--- /dev/fd/63 2024-01-06 09:49:39.517737906 +0000
+++ /dev/fd/62 2024-01-06 09:49:39.517737906 +0000
@@ -164,7 +164,7 @@
2010-03-14 04:01:00 UT ( 1268539260) = 7 [-10800 1 20 'ADT' (0,0)]
2010-11-07 03:01:00 UT ( 1289098860) = 8 [-14400 0 24 'AST' (0,0)]
2011-03-13 04:01:00 UT ( 1299988860) = 7 [-10800 1 20 'ADT' (0,0)]
-2011-11-06 05:00:00 UT ( 1320555600) = 8 [-14400 0 24 'AST' (0,0)]
+2011-11-01 03:00:00 UT ( 1320116400) = 7 [-10800 1 20 'ADT' (0,0)]
@derickr
derickr / stv.php
Created September 6, 2022 17:00
stv.php
<?php
/* Find files */
$files = glob( $argv[1] );
sort( $files );
echo "Reading from: \n- ", implode( "\n- ", $files ), "\n\n";
/* Read Amount of Seats from Command Line */
array_shift( $argv );
array_shift( $argv );
$seats = (int) $argv[0];
@derickr
derickr / PHP 8.3 Release Manager
Created April 17, 2023 13:25
PHP 8.3 Release Manager
Reading from:
- php_8.3_rm_1st_preference.doodle
- php_8.3_rm_2nd_preference.doodle
- php_8.3_rm_3rd_preference.doodle
Candidates (in order of ballot):
E Mann — C Buckley — J Zelenka
Votes:
@derickr
derickr / workers.php
Created November 23, 2022 00:33
workers.php
<?php
class Calculator
{
private int $lastResult;
static private function fib(int $n) : int
{
if ($n <= 1) {
return 1;
}