User contributions for JLM

Results for JLM talk block log uploads logs abuse log

A user with 26 edits. Account created on 8 April 2026.

Jump to navigation Jump to search

05:0705:07, 18 April 2026 diff hist +7 m General Recursive Function →Macros: Fix typos in AckDiag2 macro def'n.
02:4602:46, 18 April 2026 diff hist +120 General Recursive Function →Cryptids: Shrinkage

02:2002:20, 13 April 2026 diff hist +9 General Recursive Function Rename RepDiag to RepDiagS.

07:3607:36, 11 April 2026 diff hist +14 General Recursive Function →Minimization: Improve wording of M's return mechanism.
07:0707:07, 11 April 2026 diff hist −16 General Recursive Function →Utilizing Minimization: Simplify LRpart2 using the AddXA macro.
06:4706:47, 11 April 2026 diff hist +175 General Recursive Function →Utilizing Minimization: Reduce size of LRCall by 2 by using ignored extra arguments
05:0305:03, 11 April 2026 diff hist +16 General Recursive Function →Utilizing Minimization: Simplify LRpart3 fcn explanation.
04:5804:58, 11 April 2026 diff hist +9 General Recursive Function →Utilizing Minimization: Simplify LRpart2 fcn explanation
04:5304:53, 11 April 2026 diff hist −9 General Recursive Function →Utilizing Minimization: Simplify LRpart1 fcn explanation.
04:4604:46, 11 April 2026 diff hist +231 General Recursive Function →Utilizing Minimization: Mention technique for creating LRCall.
04:3704:37, 11 April 2026 diff hist +961 General Recursive Function →Utilizing Minimization: Define macros for combined Left+Right function calls
01:5901:59, 11 April 2026 diff hist −60 General Recursive Function →Champions: Champs table looks nicer with the shorter "ADT[2]".
01:5301:53, 11 April 2026 diff hist +1 m General Recursive Function →Utilizing Minimization: Typo for AddS
00:4200:42, 11 April 2026 diff hist +24 General Recursive Function Fix typo in ADT definition and add upper bound to sandwich 10^^3.8388

14:5114:51, 10 April 2026 diff hist −13 General Recursive Function Rename "RepRepSucc" to "RepDiagS"
07:0107:01, 10 April 2026 diff hist −15 General Recursive Function →Champions: Write in "hyperscientific" notation
06:3106:31, 10 April 2026 diff hist +10 General Recursive Function Use a closer-to-standard notation
05:3405:34, 10 April 2026 diff hist +436 General Recursive Function New champions, starting at BBu(18) >= 21

01:1801:18, 9 April 2026 diff hist +31 General Recursive Function →Minimization: Clearer explanation of 'M' operator.

15:0615:06, 8 April 2026 diff hist +24 General Recursive Function Regularize formatting.
07:0807:08, 8 April 2026 diff hist −10 General Recursive Function →Primitive Recursive Functions: More precise section name
07:0207:02, 8 April 2026 diff hist +6 m General Recursive Function →Primitive Recursive Functions: h() receives the prior iter count.
06:5906:59, 8 April 2026 diff hist +15 General Recursive Function →Minimization: Include arguments to M(f) in its definition.
06:5606:56, 8 April 2026 diff hist +694 General Recursive Function →Primitive Recursive Functions: Define the 'R' operator.
06:3206:32, 8 April 2026 diff hist +488 General Recursive Function →Minimization: Define 'M' operator.
06:0406:04, 8 April 2026 diff hist +374 General Recursive Function →Champions: Holdouts for sizes 4-7 proven. Tag: Visual edit: Switched

Retrieved from "https://wiki.bbchallenge.org/wiki/Special:Contributions/JLM"