Roy Hall HairAndBeardGuy

MFIC — Mechanically-Falsifiable Independent Control

A discipline for checks that can't be fooled by the same mistake that produced the work.

Abstract. When the author of a piece of work — an LLM, or a human moving fast — can be confidently and silently wrong, the usual defenses fail quietly: a test written from the same mistaken assumption as the code passes while the code is broken. MFIC is the class of check that escapes this trap, defined by four properties that must all hold at once. It is Mechanical (cases swept by machine, not hand-picked, so nothing is silently omitted), Falsifiable (each case genuinely bites when the work is wrong, on inputs you couldn't pre-arrange to pass), Independent (its verdict comes from the contract or the data — a source the producer doesn't control — which is segregation of duties restated for software), and a real Control (it holds the authority to block the bad outcome, not merely log it). This is the COSO / Sarbanes-Oxley model of internal co

Falsehoods programmers believe about time

This is a compiled list of falsehoods programmers tend to believe about working with time.

Don't re-invent a date time library yourself. If you think you understand everything about time, you're probably doing it wrong.

Falsehoods

There are always 24 hours in a day.
February is always 28 days long.
Any 24-hour period will always begin and end in the same day (or week, or month).

Prerequisites

Ubuntu 18.04 (16.04 works the same)
Apache 2.4.18 or higher
OpenSSL 1.0.2g-1ubuntu4.10 or higher
e.g. LetsEncrypt certificate

OS: Ubuntu 18.04 Apache/2.4.18 1.0.2g-1ubuntu4.10

In August 2007 a hacker found a way to expose the PHP source code on facebook.com. He retrieved two files and then emailed them to me, and I wrote about the issue:

http://techcrunch.com/2007/08/11/facebook-source-code-leaked/

It became a big deal:

http://www.techmeme.com/070812/p1#a070812p1

The two files are index.php (the homepage) and search.php (the search page)

Libraries

960 Grid System - An effort to streamline web development workflow by providing commonly used dimensions, based on a width of 960 pixels. There are two variants: 12 and 16 columns, which can be used separately or in tandem.
Compass - Open source CSS Authoring Framework.
Bootstrap - Sleek, intuitive, and powerful mobile first front-end framework for faster and easier web development.
Font Awesome - The iconic font designed for Bootstrap.
Zurb Foundation - Framework for writing responsive web sites.
SASS - CSS extension language which allows variables, mixins and rules nesting.
Skeleton - Boilerplate for responsive, mobile-friendly development.

Guides

Libraries

jQuery - The de-facto library for the modern age. It makes things like HTML document traversal and manipulation, event handling, animation, and Ajax much simpler with an easy-to-use API that works across a multitude of browsers.
Backbone - Backbone.js gives structure to web applications by providing models with key-value binding and custom events, collections with a rich API of enumerable functions, views with declarative event handling, and connects it all to your existing API over a RESTful JSON interface.
AngularJS - Conventions based MVC framework for HTML5 apps.
Underscore - Underscore is a utility-belt library for JavaScript that provides a lot of the functional programming support that you would expect in Prototype.js (or Ruby), but without extending any of the built-in JavaScript objects.
lawnchair - Key/value store adapter for indexdb, localStorage

	<?php
	// PHP memory limit for this site
	define( 'WP_MEMORY_LIMIT', '128M' );
	define( 'WP_MAX_MEMORY_LIMIT', '256M' ); // Increase admin-side memory limit.

	// Database
	define( 'WP_ALLOW_REPAIR', true ); // Allow WordPress to automatically repair your database.
	define( 'DO_NOT_UPGRADE_GLOBAL_TABLES', true ); // Don't make database upgrades on global tables (like users)

	// Explicitely setting url

	const Discord = require("discord.js");
	const fs = require('fs');

	const client = new Discord.Client();

	const config = require('./auth.json');

	// make a new stream for each time someone starts to talk
	function generateOutputFile(channel, member) {
	// use IDs instead of username cause some people have stupid emojis in their name

	apt install curl
	curl https://getcaddy.com \| bash -s cors,expires,filemanager,git,hugo,ipfilter,jsonp,jwt,locale,mailout,minify,multipass,prometheus,ratelimit,realip,search,upload
	chown root:root /usr/local/bin/caddy
	chmod 755 /usr/local/bin/caddy
	setcap 'cap_net_bind_service=+ep' /usr/local/bin/caddy
	mkdir /etc/caddy
	chown -R root:www-data /etc/caddy
	mkdir /etc/ssl/caddy
	chown -R www-data:root /etc/ssl/caddy
	chmod 0770 /etc/ssl/caddy

	@echo off
	SET st3Path=C:\Program Files (x86)\Sublime Text 3\sublime_text.exe

	rem add it for all file types
	@reg add "HKEY_CLASSES_ROOT\*\shell\Open with Sublime Text 3" /t REG_SZ /v "" /d "Open with Sublime Text 3" /f
	@reg add "HKEY_CLASSES_ROOT\*\shell\Open with Sublime Text 3" /t REG_EXPAND_SZ /v "Icon" /d "%st3Path%,0" /f
	@reg add "HKEY_CLASSES_ROOT\*\shell\Open with Sublime Text 3\command" /t REG_SZ /v "" /d "%st3Path% \"%%1\"" /f

	rem add it for folders
	@reg add "HKEY_CLASSES_ROOT\Folder\shell\Open with Sublime Text 3" /t REG_SZ /v "" /d "Open with Sublime Text 3" /f