Jump to content

User contributions for Kaustuv

Results for Kaustuv talk block log uploads logs global block log global account filter log

A user with 2,870 edits. Account created on 31 May 2004.

Search for contributionsshowhide

⧼contribs-top⧽

Username, IP address or CIDR range:

Namespace:

Invert selection

Associated namespace

Tag filter:

Invert selection

Only show edits that are latest revisions

Only show edits that are page creations

Hide minor edits

⧼contribs-date⧽

From date:

To date:

Show only edits pending review

Hide probably good edits

10:0710:07, 23 September 2022 diff hist −275 m User:Kaustuv xx current

06:5306:53, 14 February 2011 diff hist +125 m User:Kaustuv xxx

20:5020:50, 31 January 2011 diff hist +329 m Talk:De Bruijn index →Core "Formal definition" section has to be rewritten

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

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?

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

16:0416:04, 22 March 2010 diff hist −1 Talk:Robin Milner with deep sadness

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

13:3513:35, 26 June 2009 diff hist 0 m De Bruijn index replacing png with svg

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

07:5307:53, 9 June 2009 diff hist −383 m User talk:Kaustuv -w

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.

06:2506:25, 6 May 2009 diff hist +655 Talk:Peano axioms →zero in axiom 7 and 9: response to User:Jos.koot

11:0711:07, 27 April 2009 diff hist +48 MLton Marking claims that are no longer apparently true in 2009

22:1022:10, 18 April 2009 diff hist −2 m Pure type system Undid revision 284627537 by Cobi (talk) not a typo

17:4717:47, 14 April 2009 diff hist +145 Talk:Peano axioms →zero in axiom 7 and 9: how?

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.

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

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

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.

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.

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)

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.

16:2616:26, 7 November 2008 diff hist +27 m Heart of palm Please provide a citation for this

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

17:1417:14, 27 October 2008 diff hist −26 m Talk:Shelby Steele Undid revision 243778173 by 90.194.3.24 (talk)

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.

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

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: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

Retrieved from "https://en.wikipedia.org/wiki/Special:Contributions/Kaustuv"