User contributions for David415

Results for David415 talk block log uploads logs

A user with 105 edits. Account created on 11 March 2009.

Jump to navigation Jump to search

20:3820:38, 27 August 2024 diff hist +79 Leanprover added another book recommendation to the lean theorem prover page Tag: Visual edit
20:1920:19, 27 August 2024 diff hist −139 Leanprover minor update to lean theorem prover page Tag: Visual edit
20:1620:16, 27 August 2024 diff hist +1,578 Leanprover update lean theorem prover study page Tag: Visual edit
20:0520:05, 27 August 2024 diff hist −66 Category:Events fix thursday Tag: Visual edit
20:0320:03, 27 August 2024 diff hist +31 Category:Events a minor fix to thursday lean event Tag: Visual edit
20:0020:00, 27 August 2024 diff hist −42 Category:Events another minor edit to lean on thursday Tag: Visual edit
19:5919:59, 27 August 2024 diff hist +57 Category:Events Add link to Lean meet on thursday Tag: Visual edit
19:5919:59, 27 August 2024 diff hist +900 N Leanprover add a humble little page for the Lean theorem prover study meet Tag: Visual edit
19:3619:36, 27 August 2024 diff hist +435 Category:Events Added Lean theorem prover study meet to Thursdays at 2pm. Tag: Visual edit
19:3219:32, 27 August 2024 diff hist −17 User:David415 update my noisebridge profile page current Tag: Visual edit

18:3818:38, 12 January 2017 diff hist +30 Five Minutes of Fame 2017 01 19 No edit summary

13:5713:57, 6 January 2017 diff hist +77 User:David415 No edit summary
13:4313:43, 6 January 2017 diff hist +256 User:David415 No edit summary

12:4912:49, 16 December 2014 diff hist +131 Tahoe-LAFS cryptoparty No edit summary current
12:3612:36, 16 December 2014 diff hist −66 Tahoe-LAFS cryptoparty →Tahoe-LAFS cryptoparty
12:3512:35, 16 December 2014 diff hist +6 Tahoe-LAFS cryptoparty →Tahoe-LAFS cryptoparty
12:3412:34, 16 December 2014 diff hist +34 Tahoe-LAFS cryptoparty →Tahoe-LAFS cryptoparty
12:3412:34, 16 December 2014 diff hist +4 Tahoe-LAFS cryptoparty →Tahoe-LAFS cryptoparty
12:3312:33, 16 December 2014 diff hist +215 Tahoe-LAFS cryptoparty No edit summary
12:1112:11, 16 December 2014 diff hist +46 Category:Events →Upcoming Events edit

11:0311:03, 20 September 2014 diff hist +2 Tahoe-LAFS cryptoparty →Tahoe-LAFS cryptoparty
11:0211:02, 20 September 2014 diff hist +273 Tahoe-LAFS cryptoparty →Tahoe-LAFS cryptoparty

13:2713:27, 10 September 2014 diff hist +1,119 N Tahoe-LAFS cryptoparty Created page with " === Tahoe-LAFS cryptoparty === * [https://w2.eff.org/Privacy/Crypto/Crypto_misc/cypherpunk.manifesto Cypherpunks Manifesto] * [https://www.eff.org/deeplinks/2013/08/tahoe-a..."
10:1710:17, 10 September 2014 diff hist 0 Category:Events →Upcoming Events edit
10:0710:07, 10 September 2014 diff hist +37 Category:Events →Upcoming Events edit
10:0210:02, 10 September 2014 diff hist −3 Category:Events →Upcoming Events edit
09:5909:59, 10 September 2014 diff hist +21 Category:Events →Upcoming Events edit
09:5709:57, 10 September 2014 diff hist +567 Category:Events →Upcoming Events edit

05:4705:47, 13 December 2013 diff hist +16 User:David415 No edit summary
05:4705:47, 13 December 2013 diff hist −1,362 User:David415 Replaced content with " [https://www.lumiere.net/~mrdavid/contact.txt]"
05:4005:40, 13 December 2013 diff hist +34 User:David415 No edit summary
05:3405:34, 13 December 2013 diff hist +6 User:David415 No edit summary
05:3305:33, 13 December 2013 diff hist +1,369 User:David415 No edit summary

23:5123:51, 6 November 2013 diff hist −3,243 User:David415 Blanked the page

17:5517:55, 19 October 2013 diff hist +41 User:David415 No edit summary
17:5317:53, 19 October 2013 diff hist −16 User:David415 No edit summary
17:5217:52, 19 October 2013 diff hist +7 User:David415 No edit summary
17:5117:51, 19 October 2013 diff hist −40 User:David415 No edit summary
17:4817:48, 19 October 2013 diff hist +26 User:David415 No edit summary
17:4817:48, 19 October 2013 diff hist +4 User:David415 No edit summary
17:4617:46, 19 October 2013 diff hist +11 User:David415 No edit summary
17:4417:44, 19 October 2013 diff hist −24 User:David415 No edit summary
17:4317:43, 19 October 2013 diff hist −12 User:David415 No edit summary
17:4117:41, 19 October 2013 diff hist +20 User:David415 No edit summary
17:3717:37, 19 October 2013 diff hist +18 User:David415 No edit summary
17:3617:36, 19 October 2013 diff hist +3,289 User:David415 No edit summary
17:3017:30, 19 October 2013 diff hist −87 User:David415 Blanked the page

18:2218:22, 29 December 2012 diff hist −397 User:David415 No edit summary

15:2815:28, 16 June 2012 diff hist +397 User:David415 No edit summary

23:3623:36, 23 March 2012 diff hist +4 Beer Brewing →Log

Retrieved from "https://main-wiki.extremist.software/wiki/Special:Contributions/David415"