User contributions for Kaustuv
A user with 2,870 edits. Account created on 31 May 2004.
23 September 2022
- 10:0710:07, 23 September 2022 diff hist −275 m User:Kaustuv xx current
14 February 2011
- 06:5306:53, 14 February 2011 diff hist +125 m User:Kaustuv xxx
31 January 2011
- 20:5020:50, 31 January 2011 diff hist +329 m Talk:De Bruijn index →Core "Formal definition" section has to be rewritten
1 January 2011
- 18:1018:10, 1 January 2011 diff hist +819 m User talk:Kaustuv/archive 4 rxiv
- 18:0918:09, 1 January 2011 diff hist −819 m User talk:Kaustuv rxiv
23 August 2010
- 16:1316:13, 23 August 2010 diff hist +714 N User talk:24.41.30.172 Welcome, but please do not edit pages of users without their permission
- 16:1116:11, 23 August 2010 diff hist −299 m User:Kaustuv Undid revision 380274915 by 24.41.30.172 (talk) -- wtf?
14 May 2010
- 03:5203:52, 14 May 2010 diff hist +123 m De Bruijn index tweaks
- 03:1503:15, 14 May 2010 diff hist −357 De Bruijn index de-dogmatizing the subsection that was added a while back
22 March 2010
- 16:0416:04, 22 March 2010 diff hist −1 Talk:Robin Milner with deep sadness
1 February 2010
- 14:4114:41, 1 February 2010 diff hist +1,627 m User talk:Kaustuv/archive 4 rxiv
- 14:4014:40, 1 February 2010 diff hist −1,626 m User talk:Kaustuv rxiv
- 14:3814:38, 1 February 2010 diff hist −729 m User:Kaustuv xx
26 June 2009
- 13:3513:35, 26 June 2009 diff hist 0 m De Bruijn index replacing png with svg
11 June 2009
- 14:5414:54, 11 June 2009 diff hist +3 m Talk:Hash consing importance is low
- 14:5214:52, 11 June 2009 diff hist +20 m User:Kaustuv xxx
- 14:4714:47, 11 June 2009 diff hist +483 m User:Kaustuv xx
9 June 2009
- 07:5307:53, 9 June 2009 diff hist −383 m User talk:Kaustuv -w
15 May 2009
- 06:1606:16, 15 May 2009 diff hist +2 m Pure type system Undo once again. That is '''''not''''' a typo. Fix your stupid bot.
6 May 2009
- 06:2506:25, 6 May 2009 diff hist +655 Talk:Peano axioms →zero in axiom 7 and 9: response to User:Jos.koot
27 April 2009
- 11:0711:07, 27 April 2009 diff hist +48 MLton Marking claims that are no longer apparently true in 2009
18 April 2009
- 22:1022:10, 18 April 2009 diff hist −2 m Pure type system Undid revision 284627537 by Cobi (talk) not a typo
14 April 2009
- 17:4717:47, 14 April 2009 diff hist +145 Talk:Peano axioms →zero in axiom 7 and 9: how?
12 April 2009
- 19:4619:46, 12 April 2009 diff hist −2 m User:Kaustuv xxurl
- 19:4319:43, 12 April 2009 diff hist +53 Python (programming language) →Influences on other languages: Per personal communication with David Teller (dev lead for OCaml Batteries Included), Python had nothing to do with its motivation. Rm'd unless verifiable.
10 March 2009
- 08:3708:37, 10 March 2009 diff hist +19 m Hash table →See also: see also hash consing
- 08:3708:37, 10 March 2009 diff hist +19 m Cons →See also: see also hash consing
- 04:0004:00, 10 March 2009 diff hist −1 m Hash consing →References: fixing typo
- 03:4603:46, 10 March 2009 diff hist +1,702 N Hash consing Seed
19 February 2009
- 22:3622:36, 19 February 2009 diff hist −3 m Peano axioms UNDO: equality is correct here.
- 22:3522:35, 19 February 2009 diff hist −30 m De Bruijn index rm pronunciation
- 22:3522:35, 19 February 2009 diff hist −30 m De Bruijn notation rm pronunciation
31 January 2009
- 21:4821:48, 31 January 2009 diff hist +292 De Bruijn index Undo: this is a misunderstanding. HOAS is higher order, and de Bruijn indexes are first order. Obviously they are very different.
20 December 2008
- 10:4810:48, 20 December 2008 diff hist +33 m De Bruijn notation Reverting because insufficient explanation given for why this template is incorrectly used. Please explain in talk or Talk:de Bruijn index
- 10:4710:47, 20 December 2008 diff hist +30 m De Bruijn index Reverting because insufficient explanation given for why this template is incorrectly used. Please explain in talk.
17 December 2008
- 19:4719:47, 17 December 2008 diff hist +709 m User talk:71.235.156.163 →December 2008: new section
- 19:4519:45, 17 December 2008 diff hist −135 m Ken Salazar Undid revision 258621213 by 71.235.156.163 (talk)
20 November 2008
- 09:5209:52, 20 November 2008 diff hist −451 Pure type system undo: this is not a well established work (0 non-self-citations). Please read WP:COI and WP:NOR.
7 November 2008
- 16:2616:26, 7 November 2008 diff hist +27 m Heart of palm Please provide a citation for this
6 November 2008
- 15:0715:07, 6 November 2008 diff hist +735 Talk:Peano axioms →Axiom of induction: no need to glorify any particular inductive property of the naturals
27 October 2008
- 17:1417:14, 27 October 2008 diff hist −26 m Talk:Shelby Steele Undid revision 243778173 by 90.194.3.24 (talk)
8 October 2008
- 22:5322:53, 8 October 2008 diff hist −200 Yuengling The realbeer.com cite for "Vitamin Y" is woefully inadequate (see WP:RS), and there are only 160 odd ghits for: "vitamin y" +yuengling. Please find a better source for this term.
27 August 2008
- 14:0714:07, 27 August 2008 diff hist 0 m The Fairy Gunmother diction
- 13:2713:27, 27 August 2008 diff hist +82 m Talk:Peano axioms →Redundancy of n*0=0: oops
- 13:2213:22, 27 August 2008 diff hist +929 Talk:Peano axioms →Redundancy of n*0=0: new section
9 July 2008
- 09:2609:26, 9 July 2008 diff hist 0 m De Bruijn notation →Advantages of the de Bruijn notation: link maintenance
- 09:1809:18, 9 July 2008 diff hist −1 m Raga →Carnatic raga: See swara for an explanation of this change
10 June 2008
- 10:0810:08, 10 June 2008 diff hist +1,339 N Pure type system initial stub
- 09:3809:38, 10 June 2008 diff hist −87 De Bruijn notation removed note about Polish notation per talk
- 09:3709:37, 10 June 2008 diff hist +484 m Talk:De Bruijn notation response -- note to be removed
