Explore >> Select a destination
|
You are here 
|
jdh.hamkins.org | ||
| | | | |
richardzach.org
|
|
| | | | | The eminent proof theorist and philosopher of mathematics William Walker ("Bill") Tait died March 15, 2024 in Chicago. He was 95. Bill was born on January 22, 1929, in Freeport, NY, and... | |
| | | | |
homotopytypetheory.org
|
|
| | | | | Video and lecture notes are now available for a series of talks that took place last month at the Logic and Higher Structures workshop at CIRM-Luminy with the following abstract: Many introductions to homotopy type theory and the univalence axiom neglect to explain what any of it means, glossing over the semantics of this new... | |
| | | | |
xorshammer.com
|
|
| | | | | The Axiom of Choice is usually introduced as a non-constructive axiom that mathematicians used to care about but don't really pay much attention to anymore. It's true that mainstream mathematicians often don't pay much attention to it, but it turns out that AC isn't inherently non-constructive: it depends on what the base system it's being... | |
| | | | |
pradyunsg.me
|
|
| | | I have a (somewhat unnecessarily) custom setup for managing my dotfiles and I made a nice improvement to it today. How it works The dotfiles are managed by a Python script. In broad strokes, the script will: read a TOML file locate the configured paths create symlinks, based on custom marker text in the filenames, for files in subdirectories under the configured paths1 If there's a conflict (i.e. two configured paths provide the same symlink target location), the TOML file contains the resolution for it (i. | ||
