Skip to content

Instantly share code, notes, and snippets.

@xpe
xpe / cox-summary.md
Last active November 6, 2025 19:28
Cox’s Theorem

Cox’s theorem proves that probability theory is the unique consistent framework for reasoning under uncertainty.[1][2] Any system satisfying basic consistency requirements must be isomorphic to probability theory.

This framework is compositional over viewpoints: you assign probabilities over models/hypotheses and update via Bayes’ rule. Aumann’s Agreement Theorem shows that rational agents with common priors who update on shared evidence converge in their beliefs.

[1] Cox, R. T. (1946). “Probability, Frequency and Reasonable Expectation”. American Journal of Physics. 14 (1): 1–13.

[2] Cox, R. T. (1961). The Algebra of Probable Inference. Johns Hopkins University Press.​​​​​​​​​​​​​​​​

@xpe
xpe / PPM-Problem-Threaded-History.md
Created October 27, 2025 18:19
Python Package Management: A Problem-Threaded History

Python Package Management: A Problem-Threaded History

Author: Claude (Anthropic)
Date: 2025-10-27
Methodology: Content generated through web research and synthesis in response to user prompts requesting (1) three parallel histories (generous, negative, neutral) of Python package management tools from 1998-2025, then (2) a rethreading of this history by problem domain rather than chronologically. User provided the conceptual framework (spreadsheet metaphor: problems as rows, tools as columns) and iterative feedback that shaped the structure and tone.


Problem Thread: Dependency Declaration

@xpe
xpe / PPM-3H.md
Created October 27, 2025 18:12
Python Package Management: Three Histories

Three Histories of Python Package Management

Author: Claude (Anthropic)
Date: 2025-10-27

Context

Three parallel histories of Python package management from 1998 to 2025, presented from different perspectives: a generous account focusing on people and progress, a subtly negative account emphasizing accumulated difficulties, and a neutral technical timeline.


@sts10
sts10 / rust-command-line-utilities.markdown
Last active May 12, 2026 18:08
A curated list of command-line utilities written in Rust

A curated list of command-line utilities written in Rust

Note: I have moved this list to a proper repository. I'll leave this gist up, but it won't be updated. To submit an idea, open a PR on the repo.

Note that I have not tried all of these personally, and cannot and do not vouch for all of the tools listed here. In most cases, the descriptions here are copied directly from their code repos. Some may have been abandoned. Investigate before installing/using.

The ones I use regularly include: bat, dust, fd, fend, hyperfine, miniserve, ripgrep, just, cargo-audit and cargo-wipe.

  • atuin: "Magical shell history"
  • bandwhich: Terminal bandwidth utilization tool
@angerman
angerman / Installation.md
Last active February 1, 2024 11:38
Installing nix on macOS BigSur

The nixos.org website suggests to use:

sh <(curl -L https://nixos.org/nix/install)

For macOS on Intel (x86_64) or Apple Silicon (arm64) based macs, we need to use

sh <(curl -L https://nixos.org/nix/install) --darwin-use-unencrypted-nix-store-volume
@phooky
phooky / no_masters.sh
Last active December 16, 2020 16:54
A quick bash script for changing the "master" branch of your github repo(s) to an alternative of your choosing.
#!/bin/bash
# There's a better way to do this! Use:
# https://github.com/dfm/rename-github-default-branch
# instead.
#
# Also: don't change the default branch name on your gists! Github appears to have them
# locked to master; it will break your gist.
set -e
@a1exlism
a1exlism / Atom Editor Cheat Sheet (Sweetmeat).md
Last active November 21, 2018 02:15 — forked from chrissimpkins/gist:5bf5686bae86b8129bee
Atom Editor Cheat Sheet (Sweetmeat)

Use these rapid keyboard shortcuts to control the GitHub Atom text editor on Mac OSX.

Key to the Keys

  • ⌘ : Command key
  • ⌃ : Control key
  • ⌫ : Delete key
  • ← : Left arrow key
  • → : Right arrow key
anonymous
anonymous / playground.rs
Created December 27, 2016 21:02
Shared via Rust Playground
use std::fmt::Debug;
const DEFINITIONS: &'static [&'static str] = &[
"a flaky coating of iron oxide",
"fungal plant disease",
"a reddish-brown color",
];
fn main() {
print_all(DEFINITIONS);
@fphilipe
fphilipe / exclude.sql
Last active December 3, 2025 14:10
PostgreSQL EXCLUDE constraint
CREATE EXTENSION btree_gist;
CREATE TABLE room_reservations (
room_id integer,
reserved_at timestamptz,
reserved_until timestamptz,
canceled boolean DEFAULT false,
EXCLUDE USING gist (
room_id WITH =, tstzrange(reserved_at, reserved_until) WITH &&
) WHERE (not canceled)