mndrix

type t = Lexing.lexbuf -> Parser.token

val of_file : string -> t * Lexing.lexbuf
(** [of_file path] returns a new lexer for extracting tokens from
a file at [path]. *)

mndrix

package main

import (
	"encoding/base32"
	"fmt"
	"strings"
)

func main() {
	data := "2246b2egzcc3ktvvoklo5cvzh4"

mndrix

package main

import (
	"crypto/tls"
	"fmt"
	"net/http"
	"time"
)

// Make a GET request for a large (24 MB) file.  We only care about a single header field ("ETag")

mndrix

#/bin/sh
#
# Build gnatcoll-bindings from source.
#
# Make sure that the first element of PATH is /usr/local and the
# second element is the GNAT toolchain you want to use.
set -e

usage() {
    echo "usage: build-gnatcoll-bindings gnatcoll-bindings-src"

mndrix

?- fibs(F), take(F, 20, _).
F = [0, 1, 1, 2, 3, 5, 8, 13, 21|...],
freeze(_G2395, zip_with(plus, [2584, 4181|_G2395], [4181|_G2395], _G2395)).

mndrix

// My small, family IRC server
//
// This file won't compile by itself because it's only one file from
// my larger family server (movie hosting, Asterisk dialplan, Git
// hosting, personal assistant, etc).
//
// Users authenticate via NICK and PASS.  The USER is interpreted as a
// "device" name.  That allows each user to connect from multiple
// devices simultaneously while still appearing as only one nick in
// channels.  Each nick-device combo has a queue of messages which

mndrix

// A proxy for sending/receiving SMS via IRC
//
// This code is part of our family IRC server whose code is available at
// https://gist.github.com/mndrix/7947009178e4a18c247b4bd25821661f
//
// This file won't compile by itself because it's only one file from
// my larger family server (movie hosting, Asterisk dialplan, Git
// hosting, personal assistant, etc).
//
// Copyright 2018 Michael Hendricks

mndrix

% at_least//2 is like at_least//3 but ignores the specific matches found.
:- meta_predicate at_least(+,3,*,*).
at_least(N,Goal) -->
    at_least(N,Goal,_).


% at_least(N,Goal,Matches) consumes at least N matches of Goal.
% after that, it consumes as much as possible.
:- meta_predicate at_least(+,3,?,*,*).
at_least(N0,Goal,[X|Xs]) -->

mndrix

Tips for writing macros in SWI Prolog. This should eventually be expanded into a full blog post:

Only expand macros when requested

For each module that defines a macro, define a predicate like:

wants_my_fancy_macro :-
    prolog_load_context(module, Module),
 Module \== my_module, % don't expand macros in our own code

mndrix

#!/usr/bin/perl
use strict;
use warnings;
use Graph;
use List::MoreUtils qw( any );

my $g = Graph->new;
open my $git, '-|', q{git log --all --format='%H;%P'} or die;
print "Building commit graph ...\n";
while ( my $line = <$git> ) {