Skip to content

Instantly share code, notes, and snippets.

View ento's full-sized avatar

ento

50 followers · 8 following
View GitHub Profile
@ento
ento / evaluation_rubric.md
Last active January 9, 2026 08:33
Evaluation rubric from Introduction to Mathematical Thinking (maththink-004)

An argument that does not address the stated result (or answer the given question) should be given 0 marks in all categories.

  • Logical correctness: 0/2/4
  • Clarity: 0/2/4
  • Opening: 0/2/4
  • Stating the conclusion: 0/2/4
  • Reasons: 0/2/4
  • Overall evaluation: 0/2/4
@ento
ento / .gitconfig
Created May 15, 2025 02:22
git alias for calculating the number of lines changed since the 'parent' branch
[alias]
# Alias to get the nearest parent; adapetd from https://stackoverflow.com/a/17843908
parent = "!git show-branch 2>/dev/null | grep '*' | grep -v \"$(git rev-parse --abbrev-ref HEAD)\" | head -n1 | sed 's/[^\\[]*\\[\\([^\\[]*\\)\\].*/\\1/' | sed 's/[\\^~].*//' #"
# Print the number of lines changed sicne the parent branch. e.g. branch-name +10 -10
size = "!echo -n \"$(git parent) \"; git diff $(git parent)...HEAD --numstat | awk '{ additions+=$1; deletions+=$2 } END { print \"\\033[32m\" \"+\" additions \"\\033[0m\" \" \" \"\\033[31m\" \"-\" deletions }' #"
@ento
ento / include-exclude-precedence.md
Created October 1, 2017 21:56
include-exclude-precedence

Include/exclude precedence in lint-like tools

Ad hoc research for deciding how to implement file inclusion/exclusion logic in elm-doc.

Notes:

  • Listed up lint-like tools I know off the top of my head, and then supplemented by cherry-picking tools from awesome-static-analysis
  • "Included" here means explicitly included by being specified in the command line, not just in a config file.
  • I either tried out each tool to see how it actually behaves, or looked at existing issues or actual code.
  • Numbers
@ento
ento / make_hill_chart_emojis.py
Created March 19, 2025 01:57
"""
Generate a set of emoji images depicting various points on a hill.
Assumes pillow is available
https://pypi.org/project/pillow/
Image size is based on the size recommended by Notion
"""
import math
import sys
@ento
ento / slack-cli.nix
Created December 14, 2023 21:34
Slack CLI for the next-generation Slack apps. The binary is statically linked, so it seems to work without autopatchelf
{ lib, stdenv, fetchurl, ... }:
let
version = "2.11.0";
platform = stdenv.hostPlatform;
archive =
if platform.isLinux then
{
url = "https://downloads.slack-edge.com/slack-cli/slack_cli_${version}_linux_64-bit.tar.gz";
sha256 = "1sk6hb1m6j327fp8zlnw8bd8sni1wfwgc95wxqaxmr5gcg1fxqks";
}
@ento
ento / test-parse-line.nix
Last active November 29, 2023 23:01
Test cases can be run with https://github.com/nix-community/nix-unit
let
parseLine = line:
let
parts = builtins.match "([^[:space:]=#]+)[[:space:]]*=[[:space:]]*(.*)" line;
in
if (!builtins.isNull parts) && (builtins.length parts) == 2 then
{ name = builtins.elemAt parts 0; value = builtins.elemAt parts 1; }
else
null;
in
@ento
ento / chart.md
Created November 12, 2023 20:07
幻字 
flowchart TD
    袱 --> 衣 -->|-1| 示
    袱 --> 人
    袱 --> 犬
    猱 --> 犬
    猱 --> 矛 -->|-1| 予
    猱 --> 木
    猱 <--> 申
 犬 --&gt; 犬神
@ento
ento / Dockerfile
Created May 29, 2023 20:33
Repro for https://github.com/pantsbuild/pex/issues/2155
FROM python:3.9-slim AS base
RUN apt-get update && apt-get install -y curl git
RUN curl --proto '=https' --tlsv1.2 -fsSL https://static.pantsbuild.org/setup/get-pants.sh | bash
FROM base as env_a
RUN umask 022 \
&& git clone https://github.com/pantsbuild/example-python example_repo \
&& cd example_repo \
&& git checkout 3de75f5 \
&& PATH=$HOME/bin:$PATH pants package ::
@ento
ento / Dockerfile
Last active April 30, 2023 04:19
WIP: Dockerfile that might be able to build Nix dependencies first in a separate layer. Ref: https://mitchellh.com/writing/nix-with-dockerfiles#user-content-fnref-2
FROM nixos/nix:latest AS builder
RUN nix-env --install jq
COPY . /tmp/build
WORKDIR /tmp/build
RUN drvpath=$(nix --extra-experimental-features "nix-command flakes" derivation show | jq -r 'to_entries[0] | .key') \
&& echo $drvpath is the path \
&& closure=$(nix-store --query --requisites $drvpath | grep -v -F $drvpath) \
@ento
ento / drmcheck.py
Last active May 11, 2021 05:33 — forked from aallan/drmcheck.py
Python script to check encryption status of various types of ebook formats.
#!/usr/bin/python
#
# Changelog
# 1.00 - Initial version, with code from various other scripts.
# 1.01 - Moved authorship announcement to usage section.
# Written in 2011 by Paul Durrant
#
# 1.02 - Added recognition of Apple Fairplay encryption.
# Modified in 2015 by Alasdair Allan
#