Kyle Ridolfo kyleridolfo

These links no longer work. Springer have pulled the free plug.

Graduate texts in mathematics

duplicates = multiple editions

A Classical Introduction to Modern Number Theory, Kenneth Ireland Michael Rosen

ffmpeg

Converting Audio into Different Formats / Sample Rates

Minimal example: transcode from MP3 to WMA:
ffmpeg -i input.mp3 output.wma

You can get the list of supported formats with:
ffmpeg -formats

You can get the list of installed codecs with:

Hello, visitors! If you want an updated version of this styleguide in repo form with tons of real-life examples… check out Trellisheets! https://github.com/trello/trellisheets

Trello CSS Guide

“I perfectly understand our CSS. I never have any issues with cascading rules. I never have to use !important or inline styles. Even though somebody else wrote this bit of CSS, I know exactly how it works and how to extend it. Fixes are easy! I have a hard time breaking our CSS. I know exactly where to put new CSS. We use all of our CSS and it’s pretty small overall. When I delete a template, I know the exact corresponding CSS file and I can delete it all at once. Nothing gets left behind.”

You often hear updog saying stuff like this. Who’s updog? Not much, who is up with you?

	<?php
	/**
	* This service provider handles a few custom validation rules.
	*
	* PHP version 5.5.9
	* @package Snipe-IT
	* @version v3.0
	*/

	namespace App\Providers;

	# Defaults / Configuration options for homebridge
	# The following settings tells homebridge where to find the config.json file and where to persist the data (i.e. pairing and others)
	HOMEBRIDGE_OPTS=-U /var/lib/homebridge

	# If you uncomment the following line, homebridge will log more
	# You can display this via systemd's journalctl: journalctl -f -u homebridge
	# DEBUG=*

	<?php

	namespace App\Traits;

	use Rhumsaa\Uuid\Uuid;
	use Illuminate\Database\Eloquent\ModelNotFoundException;

	/**
	* Trait UuidModel
	* @package App\Traits

	// these are breakpoints made with Neat grids.
	$medium-screen: new-breakpoint(min-width 640px 12);
	$bigger-screen: new-breakpoint(min-width 910px 12);
	$hugest-screen: new-breakpoint(min-width 1200px 12);

	// to use: put this div at the top of your page
	// <div id="sizer"></div>

	#sizer {
	font-size: 0.5em;

	// Step 1. Create this class in the middleware folder.

	<?php namespace App\Http\Middleware;

	use Closure;

	class BeforeAutoTrimmer {

	/**
	* Handle an incoming request.

	var myScript = document.createElement('script');
	myScript.src = 'http://code.jquery.com/jquery-2.1.4.min.js';
	myScript.onload = function() {
	console.log('jQuery loaded.');
	};

	document.body.appendChild(myScript);

	Start by adding the following alias to your gitconfig.

	[alias]
	prevision = "!f() { git checkout `git log --oneline $2 \| awk -v commit="$1" 'FNR == -commit+1 {print $1}'` $2;} ;f"

	Usage:
	$ git prevision <N> <filename>
	will checkout the <N>th revision (counting backwards from HEAD) into the history of the file <filename>.

	For example to checkout the immediate previous version of a file x/y/z.c use