(Part of the Great Tab Cleanup)
A BBC report on how bodily radioactivity documents the anthropocene.
Monday, January 8, 2024
Tudor Fertility and Expenses
(Part of the Great Tab Cleanup)
- How Blood problems affected Henry VIII's plans
- Privy Purse accounts of Elizabeth of York, which show Elizabeth Denton on p.99 as recipient of money (arguably the woman who taught the bedroom arts to Henry VIII). [Formally, Nicholas H. Nicholas (eds) (1830), Privy Purse Expenses of Elizabeth of York: Wardrobe Accounts of Edward IV, London (William Pickering)]
The suggestion comes from Philippa Jones (2016), The Other Tudors, p.28; p.52 (Kindle Edition), citing , p.99 in Nicholas' 1830 edition.
Videos on Formal Methods
(Part of the great tab cleanup)
- Bryan Cook on making mathematical proofs a business at Amazon
- Informal Systems on Formal Verification of Tendermint using Apalache and TLA+
- example English specification
- example code in TLA+
Subscribe to:
Posts (Atom)