harryposner

#!/usr/bin/env swipl

% https://www.math.inc/careers

% We call a date "square" if all of its components (day, month, and year) are
% perfect squares. I was born in the last millennium and my next birthday will
% be the last square date in my life. If we sum the square roots of its
% components (day, month, year), we get my current age. My mother would have
% been born on a square date if the month were a square number. However, it is
% not a square date, but both the month and day are perfect cubes. When was I

harryposner

{
  description = "Raspberry Pi Pico projects";
  inputs = {
    nixpkgs.url = "github:NixOS/nixpkgs/nixos-22.05";
    flake-utils.url = "github:numtide/flake-utils";
  };
  outputs = { self, nixpkgs, flake-utils }:
    flake-utils.lib.eachDefaultSystem (system:
      let pkgs = import nixpkgs { inherit system; };
      in

harryposner

#!/usr/bin/env python3

"""Scrape NYT crossword puzzles in AcrossLite format from xwordinfo.com
Usage: ./get_nyt_xword.py [puzzle-iso-date] filename
"""

import re
import sys
import datetime

harryposner

#!/usr/bin/env python3


"""Remove <script> tags from HTML files

Usage: `remove_script_tags [path]`
If `path` is a directory, will process all `.html` files in the
directory recursively.
"""

harryposner

#!/usr/bin/env python3

import math
import operator as op
import os
import readline
import statistics
import sys
from functools import reduce

harryposner

"""MIT License

Copyright (c) 2019-2021 Harry Posner

Permission is hereby granted, free of charge, to any person obtaining a copy
of this software and associated documentation files (the "Software"), to deal
in the Software without restriction, including without limitation the rights
to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
copies of the Software, and to permit persons to whom the Software is
furnished to do so, subject to the following conditions:

harryposner

#!/usr/bin/env python3

from functools import reduce
from itertools import repeat

import numpy as np

# https://fivethirtyeight.com/features/can-the-riddler-bros-beat-joe-dimaggios-hitting-streak/

AT_BATS_PER_GAME = 4