Notes

A pilot study mapping ion-induced charge collection against bandgap and carrier mobility, and what it revealed about the cost of getting the time integration wrong

How to bring up a twenty-year-old Unix TCAD package under emulation on an ARM Mac, drive it from Jupyter, and parse its data formats in Python

Why the definition of a filtered category insists on non-emptiness: the empty colimit fails to commute with the empty limit, and that is the only failure.

A complete local ring with a finitely generated maximal ideal is Noetherian. Drop completeness and it fails: an ultraproduct construction gives a non-Noetherian local ring whose maximal ideal is principal.