Commits

Branch selector

 master

User selector

All users

All time

Commit History

Commits on Dec 31, 2025

• Added advice about formalizing group rings in Mizar

  pqnelson

  committed
  a91349d

  Copy full SHA for a91349d

Commits on Dec 29, 2025

• First stab at Rosetta stone for field theory and Galois theory

  pqnelson

  committed
  1af509e

  Copy full SHA for 1af509e

• First stab at a Rosetta stone for rings in Mizar

  pqnelson

  committed
  dd3b3f7

  Copy full SHA for dd3b3f7

• More bookmarks

  pqnelson

  committed
  3f4e071

  Copy full SHA for 3f4e071

Commits on Aug 23, 2025

• [minor] Updated style for 'missing' items

  pqnelson

  committed
  c1960ad

  Copy full SHA for c1960ad

Commits on Jul 4, 2025

• [minor] Instance of custom-id for example blocks

  pqnelson

  committed
  31c3851

  Copy full SHA for 31c3851

• [minor] Added IDs for Emacs sections

  pqnelson

  committed
  38f7e61

  Copy full SHA for 38f7e61

• Added implementation of string reader in SML

  pqnelson

  committed
  6d64b29

  Copy full SHA for 6d64b29

Commits on May 11, 2025

• [minor] Use git commit date for 'Last Updated' postamble

  pqnelson

  committed
  793826d

  Copy full SHA for 793826d

• [minor] More references

  pqnelson

  committed
  6de7c4d

  Copy full SHA for 6de7c4d

• More quotes and bookmarks

  pqnelson

  committed
  fed664e

  Copy full SHA for fed664e

Commits on Mar 14, 2025

• More bookmarks

  pqnelson

  committed
  eaf7339

  Copy full SHA for eaf7339

Commits on Feb 27, 2025

• Derive free monad from free monoid

  pqnelson

  committed
  7f622f9

  Copy full SHA for 7f622f9

• Cleaned up discussion on free monads

  pqnelson

  committed
  4a922dc

  Copy full SHA for 4a922dc

• More notes about SML monads, functors, monoids

  pqnelson

  committed
  79fa2ae

  Copy full SHA for 79fa2ae

Commits on Feb 26, 2025

• More about SML

  pqnelson

  committed
  23456fd

  Copy full SHA for 23456fd

• More random links

  pqnelson

  committed
  ba6f9c9

  Copy full SHA for ba6f9c9

• Discuss monadic effects, free monads in SML

  pqnelson

  committed
  6a269f6

  Copy full SHA for 6a269f6

Commits on Feb 20, 2025

• [minor] Random stuff about text editors

  pqnelson

  committed
  80da3f1

  Copy full SHA for 80da3f1

• More about monad transformers in SML

  pqnelson

  committed
  2ca2062

  Copy full SHA for 2ca2062

Commits on Dec 14, 2024

• More Bjorken-Drell notes

  pqnelson

  committed
  c273dcf

  Copy full SHA for c273dcf

• Added more bookmarks

  pqnelson

  committed
  b8f7a57

  Copy full SHA for b8f7a57

Commits on Dec 12, 2024

• More bookmarks

  pqnelson

  committed
  b784eb3

  Copy full SHA for b784eb3

Commits on Nov 9, 2024

• Started notes on Bjorken and Drell

  pqnelson

  committed
  f94b8cf

  Copy full SHA for f94b8cf

• Started notes about naproche

  pqnelson

  committed
  343610c

  Copy full SHA for 343610c

Commits on Nov 5, 2024

• Added notes on doc comment generators

  pqnelson

  committed
  b07a5e8

  Copy full SHA for b07a5e8

Commits on Oct 26, 2024

• More untracked stuff to backup before HD dies

  pqnelson

  committed
  d562bfe

  Copy full SHA for d562bfe

Commits on Jun 12, 2024

• [minor] Forgot spacing in chapter number for TAOCPMAC

  pqnelson

  committed
  d4b176b

  Copy full SHA for d4b176b

• Gave explicit formatting for sections in TAOCPMAC

  pqnelson

  committed
  8411772

  Copy full SHA for 8411772

Commits on Jun 10, 2024

• More about TAOCPMAC

  pqnelson

  committed
  bfcfb4b

  Copy full SHA for bfcfb4b

Commits on Jun 8, 2024

• More notes about HOL Light

  pqnelson

  committed
  6a18a73

  Copy full SHA for 6a18a73

• [bkmk] Empirical tests of boundary conditions in fluid mechanics

  pqnelson

  committed
  381bbd6

  Copy full SHA for 381bbd6

Commits on Jun 7, 2024

• Added notes about Knuth's TAOCPMAC macros

  pqnelson

  committed
  e5aa887

  Copy full SHA for e5aa887

Commits on Jun 5, 2024

• More notes on writing

  pqnelson

  committed
  0b99752

  Copy full SHA for 0b99752

Commits on Jun 4, 2024

• Added notes about writing mathematics

  pqnelson

  committed
  e73390c

  Copy full SHA for e73390c