User contributions for Wikidsp
Results for Wikidsp talk block log uploads logs global block log global account filter log
A user with 231 edits. Account created on 14 November 2007.
22 January 2025
- 18:0218:02, 22 January 2025 diff hist +889 David Spivak →Work
8 January 2025
- 22:0622:06, 8 January 2025 diff hist +156 Eswaran Subrahmanian Submitting using AfC-submit-wizard
- 22:0622:06, 8 January 2025 diff hist +128 N Talk:Eswaran Subrahmanian Adding WikiProject tags using AfC-submit-wizard
- 21:5621:56, 8 January 2025 diff hist +1,975 N Eswaran Subrahmanian -- Draft creation using the WP:Article wizard --
30 December 2024
- 18:1218:12, 30 December 2024 diff hist +6 Hennessy–Milner logic →Formal semantics current
10 July 2023
- 00:1700:17, 10 July 2023 diff hist +90 David Spivak add citation, hopefully clarify
- 00:1200:12, 10 July 2023 diff hist +158 m David Spivak add mention of manhattan project scientist to biography, change title at Topos institute (full disclosure: I am now a "Senior Scientist and Institute Fellow", but I thought the founding role was more aligned with the purpose of this sentence)
15 February 2023
- 04:1904:19, 15 February 2023 diff hist +271 List of rail accidents (2020–present) →2023 Tag: Reverted
25 January 2023
- 02:3002:30, 25 January 2023 diff hist +28 David Spivak add more recent picture
29 May 2020
27 April 2020
- 15:4515:45, 27 April 2020 diff hist +35 m Inverse semigroup just a little explanation
25 April 2020
- 23:4123:41, 25 April 2020 diff hist +406 Zappa–Szép product →External Zappa–Szép products: the first two "axioms" actually follow from the others.
9 April 2020
- 14:0614:06, 9 April 2020 diff hist +858 N Talk:Design envelope →Contested deletion: new section
- 13:2113:21, 9 April 2020 diff hist +20 High-confinement mode →History
- 13:1713:17, 9 April 2020 diff hist +316 N Design envelope create stub for this concept.
10 January 2020
- 12:3312:33, 10 January 2020 diff hist +68 Cartesian closed category →Definition: add link
26 November 2019
- 12:3912:39, 26 November 2019 diff hist +25 Focal point (game theory) →Schelling's questions: fix obvious mistake (see examples "$49.99" for confirmation that it's a mistake)
12 November 2019
20 September 2019
- 10:1310:13, 20 September 2019 diff hist +26 Zero-knowledge proof →Two balls and the colour-blind friend
17 August 2019
- 10:4110:41, 17 August 2019 diff hist +124 David Spivak →Spivak’s contributions: add citations
16 August 2019
- 02:5702:57, 16 August 2019 diff hist +598 David Spivak Spivak's 2014 category theory book was particularly important in fostering the creation of a vibrant applied category theory community in the US, including a new group at NIST, new programs at DARPA, new industrial focus, and a new international conference. These all started within the past four years. Though one cannot provably attribute cause to his book, the timing of these events and the book's novelty in terms accessibility do strongly suggest that it had a strong role to play.
10 July 2019
- 07:5607:56, 10 July 2019 diff hist +42 Homology (mathematics) →Construction of homology groups: "implies" can be more strongly stated as "is equivalent to"
26 May 2019
- 18:1318:13, 26 May 2019 diff hist +73 Regulation →Social: add link
21 May 2019
- 23:4423:44, 21 May 2019 diff hist −33 David Spivak I think there are enough inline citations now.
16 May 2019
- 01:5301:53, 16 May 2019 diff hist +39 David Spivak No edit summary
13 May 2019
- 22:3022:30, 13 May 2019 diff hist +78 David Spivak →Database integration and knowledge representation: add citation
- 22:2722:27, 13 May 2019 diff hist +28 David Spivak →External Links
- 22:2522:25, 13 May 2019 diff hist +20 David Spivak →External Links
- 22:2522:25, 13 May 2019 diff hist −236 David Spivak →External Links
- 22:2322:23, 13 May 2019 diff hist +194 David Spivak add inline references
- 12:3612:36, 13 May 2019 diff hist +571 Monoidal monad No edit summary
- 12:2212:22, 13 May 2019 diff hist +60 Monoidal monad No edit summary
- 01:4501:45, 13 May 2019 diff hist +184 David Spivak →Early life and education
- 01:4101:41, 13 May 2019 diff hist +125 David Spivak →Database integration and knowledge representation
- 01:3601:36, 13 May 2019 diff hist +4 Colfax Avenue →West Colfax
- 01:3201:32, 13 May 2019 diff hist +6 David Spivak No edit summary
- 01:2801:28, 13 May 2019 diff hist +105 David Spivak →Early life and education
- 01:2301:23, 13 May 2019 diff hist +54 Spivak No edit summary
25 April 2019
14 March 2019
13 March 2019
1 August 2018
- 21:1821:18, 1 August 2018 diff hist +2 Topos →Giraud's axioms
- 21:1621:16, 1 August 2018 diff hist +70 Topos →Giraud's axioms: more clarification
- 21:1321:13, 1 August 2018 diff hist +2 Topos →Giraud's axioms
- 21:1321:13, 1 August 2018 diff hist +192 Topos →Giraud's axioms: clarify "coproducts commute with fiber products"
1 July 2018
- 10:3810:38, 1 July 2018 diff hist +345 Segal space filling out the stub a bit.
21 April 2018
14 January 2018
- 18:4918:49, 14 January 2018 diff hist +43 Compact closed category →Symmetric compact closed category
